git.iko.soy/Idris-dev
on master help sign in
Decorate lambda lifted names
402080dEdwin Brady
src/IRTS/Lang.hs+1−1
compare with master
unifiedsplit
@@ -132,7 +132,7 @@ data LiftState = LS Name Int [(Name, LDecl)]
132
132
133lname (NS n x) i = NS (lname n i) x
133lname (NS n x) i = NS (lname n i) x
134lname (UN n) i = MN i n
134lname (UN n) i = MN i n
135−lname x i = sMN i (show x)
135+lname x i = sMN i (show x ++ "_lam")
136
136
137liftAll :: [(Name, LDecl)] -> [(Name, LDecl)]
137liftAll :: [(Name, LDecl)] -> [(Name, LDecl)]
138liftAll xs = concatMap (\ (x, d) -> lambdaLift x d) xs
138liftAll xs = concatMap (\ (x, d) -> lambdaLift x d) xs