git.iko.soy/Idris-dev
on master help sign in
Decorate lambda lifted names

Can't just generate a number since the same name might be generated elsewhere. Fixes #2107

commit402080dd590e2a054a40e8b36040941195652e3d authorEdwin Brady <ecb10@st-andrews.ac.uk> dateSun 5 Apr 2015, 22:17 (12 years ago) parente9e74a6
1 file changed+1−1
compare with master
unifiedsplit
src/IRTS/Lang.hs+1−1
src/IRTS/Lang.hs+1−1
@@ -132,7 +132,7 @@ data LiftState = LS Name Int [(Name, LDecl)]
132132
133133lname (NS n x) i = NS (lname n i) x
134134lname (UN n) i = MN i n
135−lname x i = sMN i (show x)
135+lname x i = sMN i (show x ++ "_lam")
136136
137137liftAll :: [(Name, LDecl)] -> [(Name, LDecl)]
138138liftAll xs = concatMap (\ (x, d) -> lambdaLift x d) xs