package archetype

  1. Overview
  2. Docs

Module ArchetypeSource

Sourcemodule Ast : sig ... end
Sourcemodule Core : sig ... end
Sourcemodule Error : sig ... end
Sourcemodule Gen_api_storage : sig ... end
Sourcemodule Gen_model : sig ... end
Sourcemodule Gen_reduce : sig ... end
Sourcemodule Gen_shallow_asset : sig ... end
Sourcemodule Gen_split_key_values : 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 Mlwtree : sig ... end
Sourcemodule 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_mlwtree : sig ... end
Sourcemodule Printer_model : sig ... end
Sourcemodule Printer_model_ligo : sig ... end
Sourcemodule Printer_model_ocaml : sig ... end
Sourcemodule Printer_model_smartpy : 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.