Index of modules

util over untyped AST (for comprehensions)

generate code for various backends

Functions used by multiple backends

Infrastructure form definition macros

Some useful extra functions for sets

finite map library

source-file long identifiers

The initial environment.

The various backends that generate text from typed asts

module dependency resolution

source-file and internal short identifiers

Sets of Names

Name keyed finite maps

Intermediate output format before going to strings

internal canonical long identifiers

general functions about patterns

pattern compilation

a prefix operation

The full environment built after all typechecking, and transforming

renaming and module flattening for some targets

reporting errors and warnings

Basic error reporting

general thing of lists with optional separators

Sets of Integers

Datatype and Function for Targets

resolve_module_path l env sk m tries to find the module-path m in environment env.

get_transformation targ returns the (pre-backend) transformation function for target targ

target keyed finite maps

target sets

macros for target_trans

check_defs backend_targets mod_name filename mod_in_output env ast typescheck the parsed module ast from file filename in environment env.

The distinction between cur_env, new_defs and export_env is interesting.

Sets of Names

syntax functions for typed_ast

Structural comparison of types, without expanding type abbreviations.

type of internal(?) type variables

Mixed useful things