Comment on page


The process of transforming high-level source code to its equivalent intermediate representation is called lowering.
Lowering is takes place over multiple translation phases, each of which resulting in IR code at a different stage:
  1. 1.
    High-level source code is translated to raw IR.
  2. 2.
    Raw IR is translated to legal IR.
  3. 3.
    Legal IR is translated to canonical IR.
A program in raw IR may contain incomplete deinitialization and flow-sensitive type errors. A program in legal or canonical IR shall not violate any of the static semantic rules of the Hylo programming language.