Ast_util |
util over untyped AST (for comprehensions)
|
Backend |
generate code for various backends
|
Backend_common |
Functions used by multiple backends
|
Coq_decidable_equality | |
Def_trans |
Infrastructure form definition macros
|
Finite_map |
finite map library
|
Ident |
source-file long identifiers
|
Initial_env |
The initial environment.
|
Macro_expander | |
Main | |
Module_dependencies |
module dependency resolution
|
Name |
source-file and internal short identifiers
|
Nvar | |
Output |
Intermediate output format before going to strings
|
Path |
internal canonical long identifiers
|
Pattern_syntax |
general functions about patterns
|
Patterns |
pattern compilation
|
Pcombinators | |
Pp | |
Precedence |
a prefix operation
|
Process_file |
The full environment built after all typechecking, and transforming
|
Rename_top_level |
renaming and module flattening for some targets
|
Reporting |
reporting errors and warnings
|
Reporting_basic |
Basic error reporting
|
Seplist |
general thing of lists with optional separators
|
Syntactic_tests | |
Target |
Datatype and Function for Targets
|
Target_binding | resolve_module_path l env sk m tries to find the module-path m in environment env .
|
Target_syntax | |
Target_trans | get_transformation targ returns the (pre-backend) transformation function for target targ
|
Trans |
macros for target_trans
|
Typecheck | check_defs backend_targets mod_name filename mod_in_output env ast typescheck the parsed module
ast from file filename in environment env .
|
Typecheck_ctxt |
The distinction between
cur_env , new_defs and export_env is interesting.
|
Typed_ast |
Sets of Names
|
Typed_ast_syntax |
syntax functions for typed_ast
|
Types |
Structural comparison of types, without expanding type abbreviations.
|
Tyvar |
type of internal(?) type variables
|
Util |
Mixed useful things
|