package archetype

  1. Overview
  2. Docs
module Ast : sig ... end
module Core : sig ... end
module Error : sig ... end
module Extract_w : sig ... end
module Gen_api_storage : sig ... end
module Gen_decompile : sig ... end
module Gen_extra : sig ... end
module Gen_michelson : sig ... end
module Gen_model : sig ... end
module Gen_storage : sig ... end
module Gen_transform : sig ... end
module Gen_why3 : sig ... end
module Ident : sig ... end
module Io : sig ... end
module Lexer : sig ... end
module Location : sig ... end
module Michelson : sig ... end
module Michelson_lexer : sig ... end
module Michelson_parser : sig ... end
module Mlwtree : sig ... end
module Model : sig ... end
module Mtools : sig ... end
module Opt_model : sig ... end
module Options : sig ... end
module 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.

module ParseTree : sig ... end
module Parser : sig ... end
module Position : sig ... end

Extension of standard library's positions.

module Printer_ast : sig ... end
module Printer_michelson : sig ... end
module Printer_mlwtree : sig ... end
module Printer_model : sig ... end
module Printer_model_tools : sig ... end
module Printer_pt : sig ... end
module Printer_pt_markdown : sig ... end
module Printer_tools : sig ... end
module Pt_helper : sig ... end
module PureLexer : sig ... end
module Symbol : sig ... end
module Tools : sig ... end
module Typing : sig ... end
OCaml

Innovation. Community. Security.