scalus.compiler.sir.linking

Links SIR definitions and data declarations into a single SIR module.

This class is responsible for linking SIR definitions and data declarations to create a single SIR module.

It traverses the SIR tree and links external definitions and data declarations to the global definitions and data declarations.

What is around an expression, outermost first: data declarations and lets.

Linking gives a program this shape: the data declarations it uses, inside them the definitions it uses, each in a let, and inside those its expression. What reads a linked program takes the expression out, and puts what it makes of it back inside the same wrappers.