From a643cc522dede8c71c565d26deb22adc5a73a282 Mon Sep 17 00:00:00 2001 From: aarne Date: Fri, 10 Oct 2008 16:01:07 +0000 Subject: [PATCH] added a note on refreshing variables in AbsCompute --- src/PGF/AbsCompute.hs | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/PGF/AbsCompute.hs b/src/PGF/AbsCompute.hs index f38b8d952..0997ca952 100644 --- a/src/PGF/AbsCompute.hs +++ b/src/PGF/AbsCompute.hs @@ -56,7 +56,7 @@ beta vv c = case c of subst :: [CId] -> Subst -> Expr -> Expr subst xs g e = case e of - EAbs x b -> EAbs x (subst (x:xs) g e) + EAbs x b -> EAbs x (subst (x:xs) g e) ---- TODO: refresh variables EApp f a -> EApp (substg f) (substg a) EVar x -> maybe e id $ lookup x g _ -> e