Codegen: LLVM IR, Monomorphization, Codegen Units, Partitioning, Symbol Linkage and Visibility

[michaelwoerister]

Quite a few complicated things are going on during trans. Would be great to have it documented.

• Generating LLVM IR
  • Monomorphization
• Codegen Units
• Partitioning
• Symbol Linkage and Visibiliy

[michaelwoerister]

To clarify: the four topics in the title are relatively tightly coupled so it makes sense to treat them together.

[mark-i-m]

Definitely agree. Trans is one of the bigger missing chapters (along with type-checking, MIR construction, etc).

cc #6

[mark-i-m]

We added some skeleton chapters and have some other things in progress.