The compiler directory is divided into sub-directory, as shown.

• •

  Directories

  • –

    compilePhases/ : compilation phases

    bitmapcompilation/	explicit layout-bitmap generation
    cconvcompile/	type-directed calling-convention generation
    closureconversion/	closure conversion
    datatypecompilation/	datalayout computation
    elaborate/	syntactic elaboration
    fficompilation/	C interface generation for higher-order functions
    llvmemit/	llvm code emission
    llvmgen/
    loadfile/
    machinecodegen/	law-level code generation
    main/
    matchcompilation/	pattern matching compilation
    nameevaluation/	name evaluation and module compilation
    parser/	parser
    recordcalcoptimization/	typed record calculus optimization
    recordcompilation/	type-directed record compilation
    stackallocation/	stack frame allocation
    toplevel/
    typedcalcoptimization/	typed intermediate language optimization
    typedelaboration/
    typeinference/	type definition，uncurry optimization
    valrecoptimization/	mutual recursive function optimization

  • –

    compilerIRs/ : compiler intermediate representations

    absyn/	Abstract syntax tree
    anormal/	A-normal forms
    bitmapcalc/	the language with explicit layout bitmap
    closurecalc/	the language with explicit closure allocation
    idcalc/	the language without static scoping
    llvmir/	LLVM IR
    machinecode/	the register transfer language
    patterncalc/	the untyped intermediate language
    recordcalc/	the polymorphic record calculus
    runtimecalc/	the language with runtime types
    typedcalc/	the typed intermediate language
    typedlambda/	the typed lambda calculus

  • –

    data/ : types, constants and other data

    builtin/	compiler built-in data
    constantterm/	constants
    control/	parameters controlling compiler function
    name/	runtime code labels
    runtimetypes/	runtime types
    symbols/	representation of variables, labels etc
    types/	type representations

  • –

    extensions/ : various compile functions

    concurrencysupport/	concurrent thread support
    debug/	debugging support
    foreach/	massively parallel _foreach statement support
    format-utils/	formater library for smlformat
    json/	JSON manipulation support
    reflection/	compile-time reflection support
    usererror/	compiler error handling
    userlevelprimitive/	compiler extension via user code

  • –

    libs/ : libraries used by the compiler

    digest/& SHA hashing library
    env/	dictionary utilities
    heapdump/	heap image dump function
    ids/	counter utilities
    interactivePrinter/	interactive printers
    list-utils/	list utilities
    toolchain/	UNIX toolchain commands
    util/	miscellaneous utility functions

• •

  Files

  minismlsharp.smi	the interface file of minismlshap
  minismlsharp.sml	the top-level of the compiler to compile smlsharp
  smlsharp.smi	the interface file of smlsharp
  smlsharp.sml	smlsharp top-level

Each of directories, including compiler sub-directories, contains the main sub-directory, where the source files are located. For example, the source files for abstract syntax trees are placed in compilerIRs/absyn/main/. Source files include program files with .sml suffix and the corresponding interface files of the same names with .smi suffix.

Files with following suffix are input files of source file generation tools.

An interface file having of one of those names with .smi suffix describes the interface of the generated source program.