SUMMARY.md

Summary

• About this guide
• How to build the compiler and run what you built
• Coding conventions
• The compiler testing framework
  • Running tests
  • Adding new tests
  • Using compiletest + commands to control test execution
• Walkthrough: a typical contribution
• High-level overview of the compiler source
• Queries: demand-driven compilation
  • Incremental compilation
• The parser
• Macro expansion
• Name resolution
• The HIR (High-level IR)
• The ty module: representing types
• Type inference
• Trait resolution
  • Higher-ranked trait bounds
  • Caching subtleties
  • Speciailization
• Type checking
• The MIR (Mid-level IR)
  • MIR construction
  • MIR visitor and traversal
  • MIR passes: getting the MIR for a function
  • MIR borrowck
    • MIR-based region checking (NLL)
  • MIR optimizations
• Constant evaluation
  • miri const evaluator
• Parameter Environments
• Generating LLVM IR
• Background material
• Glossary
• Code Index