package archetype

  1. Overview
  2. Docs
Legend:
Page
Library
Module
Module type
Parameter
Class
Class type
Source

Module ArchetypeSource

Sourcemodule Ast : sig ... end
Sourcemodule Binding : sig ... end
Sourcemodule Compile : sig ... end
Sourcemodule Core : sig ... end
Sourcemodule Error : sig ... end
Sourcemodule Gen_api_storage : sig ... end
Sourcemodule Gen_contract_interface : 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 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 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_model : sig ... end
Sourcemodule Printer_model_tools : sig ... end
Sourcemodule Printer_pt : sig ... end
Sourcemodule Printer_tools : sig ... end
Sourcemodule Pt_helper : sig ... end
Sourcemodule PureLexer : sig ... end
Sourcemodule Symbol : sig ... end
Sourcemodule Tools : sig ... end
Sourcemodule Typing : sig ... end
Sourcemodule UF : sig ... end
OCaml

Innovation. Community. Security.