git.iko.soy/Idris-dev
on master help sign in
Comments to Lang.hs to disambiguate the LIR.

Currently it wasn't clear as to which LIR the backends were getting because internally we use the same data type before and after the lifting process.

commitde35d66cc76e091763fe7643859bf8951138b247 authorApostolis Xekoukoulotakis <apostolis.xekoukoulotakis@gmail.com> dateFri 18 Mar 2016, 15:11 (11 years ago) parentec97cac
1 file changed+2−1
compare with master
unifiedsplit
src/IRTS/Lang.hs+2−1
src/IRTS/Lang.hs+2−1
@@ -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