package archetype

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

Module ArchetypeSource

Sourcemodule Ast : sig ... end
Sourcemodule Core : sig ... end
Sourcemodule Error : sig ... end
Sourcemodule Gen_api_storage : 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 Gen_why3 : sig ... end
Sourcemodule Ident : sig ... end
Sourcemodule Io : sig ... end
Sourcemodule Lexer : sig ... end
Sourcemodule Location : sig ... end
Sourcemodule Michelson : sig ... end
Sourcemodule Michelson_lexer : sig ... end
Sourcemodule Michelson_parser : sig ... end
Sourcemodule Mlwtree : sig ... end
Sourcemodule Model : sig ... end
Sourcemodule Mtools : 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_mlwtree : sig ... end
Sourcemodule Printer_model : sig ... end
Sourcemodule Printer_model_tools : 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
OCaml

Innovation. Community. Security.