Module `Archetype`Source

Sourcemodule Ast : sig ... end

Sourcemodule Binding : sig ... end

Sourcemodule Compile : sig ... end

Sourcemodule Core : sig ... end

Sourcemodule Error : sig ... end

Sourcemodule Extract_w : sig ... end

Sourcemodule Gen_api_storage : sig ... end

Sourcemodule Gen_decompile : sig ... end

Sourcemodule Gen_extra : sig ... end

Sourcemodule Gen_michelson : sig ... end

Sourcemodule Gen_model : sig ... end

Sourcemodule Gen_storage : sig ... end

Sourcemodule Gen_transform : sig ... end

Sourcemodule Gen_why3 : sig ... end

Sourcemodule Ident : sig ... end

Sourcemodule Io : sig ... end

Sourcemodule Lexer : sig ... end

Sourcemodule Location : sig ... end

Sourcemodule Lsp : sig ... end

Sourcemodule Micheline : sig ... end

Sourcemodule Micheline_printer : sig ... end

Sourcemodule Michelson : sig ... end

Sourcemodule Michelson_lexer : sig ... end

Sourcemodule Michelson_parser : sig ... end

Sourcemodule Mlwtree : sig ... end

Sourcemodule Model : sig ... end

Sourcemodule Mtools : sig ... end

Sourcemodule Mtyping : sig ... end

Sourcemodule Opt_model : sig ... end

Sourcemodule Options : sig ... end

Sourcemodule ParseError : sig ... end

This module demonstrates that we can easily generate contextual error message thanks to the introspection API. Indeed, when a parsing error occurs, there exist items in the stack whose analysis is not completed. Therefore, the non terminals of their productions are probably the syntactically classes that are being recognized when the error occurred.

Sourcemodule ParseTree : sig ... end

Sourcemodule Parser : sig ... end

Sourcemodule Position : sig ... end

Extension of standard library's positions.

Sourcemodule Printer_ast : sig ... end

Sourcemodule Printer_michelson : sig ... end

Sourcemodule Printer_mlwtree : sig ... end

Sourcemodule Printer_model : sig ... end

Sourcemodule Printer_model_tools : sig ... end

Sourcemodule Printer_pt : sig ... end

Sourcemodule Printer_pt_markdown : sig ... end

Sourcemodule Printer_tools : sig ... end

Sourcemodule Pt_helper : sig ... end

Sourcemodule PureLexer : sig ... end

Sourcemodule Services : sig ... end

Sourcemodule Symbol : sig ... end

Sourcemodule Tools : sig ... end

Sourcemodule Typing : sig ... end

Sourcemodule UF : sig ... end

Install

Dune Dependency

Authors

Maintainers

Sources

doc/archetype/Archetype/index.html

Module `Archetype`Source

package archetype

Install

Dune Dependency

Authors

Maintainers

Sources

doc/archetype/Archetype/index.html

Module ArchetypeSource

Module `Archetype`Source