@@ -17,10 +17,11 @@ data LVar = Loc Int | Glob Name
1717 deriving (Show, Eq)
1818
1919-- ASSUMPTION: All variable bindings have unique names here
20+-- Constructors commented as lifted are not present in the LIR provided to the different backends.
2021data LExp = LV LVar
2122 | LApp Bool LExp [LExp] -- True = tail call
2223 | LLazyApp Name [LExp] -- True = tail call
23− | LLazyExp LExp
24+ | LLazyExp LExp -- lifted out before compiling
2425 | LForce LExp -- make sure Exp is evaluted
2526 | LLet Name LExp LExp -- name just for pretty printing
2627 | LLam [Name] LExp -- lambda, lifted out before compiling