Closed dougalm closed 1 year ago
Previously we just used h:Type (leftover from ST monad inspiration) and UnitTy as its "runtime" value. But that meant SimpIR had to contain vars of type Type, which we want to rule out statically.
h:Type
UnitTy
Previously we just used
h:Type
(leftover from ST monad inspiration) andUnitTy
as its "runtime" value. But that meant SimpIR had to contain vars of type Type, which we want to rule out statically.