Word description Attempts to construct tree SSA IR from a word or quotation. When compiling an inline word with a row-polymorphic declaration, checks the inferred effect against its row variables. Non-inline words are checked against their fixed input and output counts. Calls to their monomorphic quotation parameters are compiled as checked static calls using the declared quotation effects.
Notes This is the first stage of the compiler.
Errors Throws an inference-error if stack effect inference fails.