3 ms·
Move the invariants on the IR into the type system representing the IR. Then no validation pass involved. Requires an adequate type system.
by JonChesterfield 4y ago
Move the invariants on the IR into the type system representing the IR. Then no validation pass involved. Requires an adequate type system.