module Ast : sig ... endmodule Core : sig ... endmodule Error : sig ... endmodule Gen_api_storage : sig ... endmodule Gen_model : sig ... endmodule Gen_reduce : sig ... endmodule Gen_shallow_asset : sig ... endmodule Gen_split_key_values : sig ... endmodule Gen_transform : sig ... endmodule Gen_why3 : sig ... endmodule Ident : sig ... endmodule Io : sig ... endmodule Lexer : sig ... endmodule Location : sig ... endmodule Mlwtree : sig ... endmodule 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_mlwtree : sig ... endmodule Printer_model : sig ... endmodule Printer_model_ligo : sig ... endmodule Printer_model_liq : sig ... endmodule Printer_model_ocaml : sig ... endmodule Printer_model_smartpy : sig ... endmodule Printer_pt : sig ... endmodule Printer_pt_markdown : sig ... endmodule Printer_tools : sig ... endmodule Printer_whyml : sig ... endgrammar : http://why3.lri.fr/doc-1.2.0/syntaxref.html#sec85
module PureLexer : sig ... endmodule Symbol : sig ... endmodule Tools : sig ... endmodule Typing : sig ... end