Archetype (p.archetype.0.1.5.doc.archetype.Archetype)

Sourcemodule Ast : sig ... end

Sourcemodule Core : sig ... end

Sourcemodule Error : sig ... end

Sourcemodule Gen_api_storage : sig ... end

Sourcemodule Gen_model : sig ... end

Sourcemodule Gen_reduce : sig ... end

Sourcemodule Gen_shallow_asset : sig ... end

Sourcemodule Gen_split_key_values : 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 Mlwtree : sig ... end

Sourcemodule 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_mlwtree : sig ... end

Sourcemodule Printer_model : sig ... end

Sourcemodule Printer_model_ligo : sig ... end

Sourcemodule Printer_model_ocaml : sig ... end

Sourcemodule Printer_model_smartpy : sig ... end

Sourcemodule Printer_pt : sig ... end

Sourcemodule Printer_pt_markdown : sig ... end

Sourcemodule Printer_tools : sig ... end

Sourcemodule PureLexer : sig ... end

Sourcemodule Symbol : sig ... end

Sourcemodule Tools : sig ... end

Sourcemodule Typing : sig ... end