package archetype

  1. Overview
  2. Docs
module Ast : sig ... end
module Core : sig ... end
module Error : sig ... end
module Gen_api_storage : sig ... end
module Gen_model : sig ... end
module Gen_reduce : 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 Mlwtree : sig ... end
module 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_mlwtree : sig ... end
module Printer_model : sig ... end
module Printer_model_ligo : sig ... end
module Printer_model_scaml : sig ... end
module Printer_model_smartpy : 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 PureLexer : sig ... end
module Symbol : sig ... end
module Tools : sig ... end
module Typing : sig ... end
OCaml

Innovation. Community. Security.