internals

Internals

Documentation about design and implementation of the compiler.

• Development Environment -> dev_env.md
• ARCHITECTURE
• #Passes
• Also
  • Design Policy
  • Glossary
  • Idea
  • nursery: Experimental projects written in milone-lang

Passes

Pass is a routine to validate and/or transform a program.

Validation:

• Per-file:
  • tokenize
  • parse
  • nir_gen
• ast_bundle
• name_resolution
• type_check
• arity_check
• ownership_check

Transformation:

• record_resolution
• derive
• closure_conversion
• eta_expansion
• auto_box
• monomorphization
• mir_gen
• cir_gen
• cir_dump

See also header comments in implementation files.

---

• Misc (not interesting)