module Ast : sig ... endmodule Core : sig ... endmodule Error : sig ... endmodule Extract_w : sig ... endmodule Gen_api_storage : sig ... endmodule Gen_decompile : sig ... endmodule Gen_extra : sig ... endmodule Gen_michelson : sig ... endmodule Gen_model : sig ... endmodule Gen_storage : sig ... endmodule Gen_transform : sig ... endmodule Gen_why3 : sig ... endmodule Ident : sig ... endmodule Io : sig ... endmodule Lexer : sig ... endmodule Location : sig ... endmodule Michelson : sig ... endmodule Michelson_lexer : sig ... endmodule Michelson_parser : sig ... endmodule Mlwtree : sig ... endmodule Model : sig ... endmodule Mtools : sig ... endmodule Opt_model : sig ... endmodule Options : sig ... endmodule ParseError : sig ... endThis 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.
module ParseTree : sig ... endmodule Parser : sig ... endmodule Position : sig ... endExtension of standard library's positions.
module Printer_ast : sig ... endmodule Printer_michelson : sig ... endmodule Printer_mlwtree : sig ... endmodule Printer_model : sig ... endmodule Printer_model_tools : sig ... endmodule Printer_pt : sig ... endmodule Printer_pt_markdown : sig ... endmodule Printer_tools : sig ... endmodule Pt_helper : sig ... endmodule PureLexer : sig ... endmodule Symbol : sig ... endmodule Tools : sig ... endmodule Typing : sig ... end