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.
|