package archetype

You can search for identifiers within the package.

in-package search v0.2.0

Archetype language compiler

Install

Dune Dependency

github.com Readme Changelog Edit opam file Versions (47)

Authors

Maintainers

T

The Archetype development team <archetype-dev@edukera.com>

Sources

1.1.2.tar.gz

md5=cc3e66ac130df626f0210be8ce68b1b0

sha512=913e561827e5559b8f7f68dc286e257ee484ccacb2fba8e7a4996576107969f7c4bb42f8a759ea082c1a6f0c2874297d52369f0840041177f23c85a2c99053e6

doc/archetype/Archetype/index.html

Module `Archetype`Source

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_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 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_scaml : sig ... end

Sourcemodule Printer_model_smartpy : 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