| Parsetree |
Modified OCaml parsetree for Moca
|
| Asttypes |
Auxiliary AST types used by parsetree and typedtree
|
| Misc |
Miscellaneous useful types and functions
|
| Tbl |
Association tables from any ordered type to any type
|
| Config |
System configuration
|
| Clflags |
Various compilation flags
|
| Terminfo |
Basic interface to the terminfo database
|
| Ccomp |
Compiling C files and building C libraries
|
| Warnings |
Various warnings emitted by the OCaml compiler
|
| Consistbl |
Consistency tables: for checking consistency of module CRCs
|
| Linenum |
An auxiliary lexer for determining the line number corresponding to
a file position, honoring the directives # linenum "filename"
|
| Location |
An arbitrary value of type
t; describes an empty ghost range.
|
| Longident |
Long identifiers, used in parsetree
|
| Syntaxerr |
Auxiliary type for reporting syntax errors
|
| Parser | |
| Lexer | |
| Parse |
Entry points in the parser
|
| Printast |
Access to various AST pretty-printers
|
| Configuration |
Configuration elements for Moca
|
| File |
File related utilities and configuration elements
|
| Useful |
Useful functions, modules and types
|
| Debug |
Access to debugging elements and resources
|
| Mylist |
List functionalities, extending the standard OCaml library
|
| Myset |
Useful functions on sets, extending the OCaml library Set functor
|
| Relation |
Operations on relations of relational types.
|
| Otype |
Functions on OCaml types.
|
| Pr_ocaml |
Printing Objective Caml types and expressions.
|
| Code |
Definitions and library for the emitted AST
|
| Pr_code |
Printing the code we generate.
|
| Check |
Builds various hash tables for generators and types
|
| Var |
Variable definition and utilities for completion purposes
|
| Symb |
Symbols in completion
|
| Term |
Term data structure
|
| Term_utils |
Common functions for building terms
|
| Subterm |
Basic functions on terms
|
| Order |
Term ordering utilities
|
| Prec |
Precedence definitions
|
| Subs |
Substitutions
|
| Match |
Matching for completion
|
| Rename |
Variable renaming
|
| Unif |
Unification
|
| Rule |
Rewrite rules definitions
|
| Equation |
Equations for completion
|
| Cparser | |
| Clexer |
Completion lexer
|
| Cp |
Critical pairs
|
| Norm |
Normalization of completion terms
|
| Norm_ml |
Generate ML normalization
|
| Comp |
Knuth-Bendix completion
|
| Axiom |
Representations of Moca equations
|
| Genr_pattern |
Pattern generation for Caml code clauses.
|
| Genr_base |
Basic definitions for generation functions.
|
| Genr_memo |
Maximum sharing handling.
|
| Genr_sharing |
Generation of functions to get maximal sharing for the values of a given
type
|
| Genr_expression |
Generation of expressions for construction functions.
|
| Eqnrel |
Convert a set of Moca relations into a set of equations.
|
| Complete |
Completion of algebraic properties.
|
| Genr_nary |
Construction functions for n-ary generators.
|
| Genr_listary |
Construction functions for listary generators
|
| Genr_binary |
Construction functions for binary generators.
|
| Genr_unary |
Generation of construction function for unary generators.
|
| Genr_nullary |
Construction function generation for nullary generators
|
| Genr |
Generation of construction functions for a type definition.
|
| Genr_mli |
Generate the interface file of the Moca algebraic datatype
|
| Listutils |
Miscelaneous list functions
|
| Randomutils | |
| Tgenr_base | |
| Genr_values |
For our semantically meaningful abbrevs for int type.
|
| Typed_vars | |
| Genr_listary_equations | |
| Genr_substitutions | |
| Genr_equalities | |
| Genr_testing | |
| Main |
Driving the mocac compiler and its options.
|