From b0e78f33bce36abf1808cb2bfc51bf45979e922e Mon Sep 17 00:00:00 2001 From: krasimir Date: Mon, 30 Aug 2010 07:37:12 +0000 Subject: [PATCH] PGF.Expr.normalForm does variable renaming --- src/runtime/haskell/PGF/Expr.hs | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/runtime/haskell/PGF/Expr.hs b/src/runtime/haskell/PGF/Expr.hs index 554726815..9ab25bbcb 100644 --- a/src/runtime/haskell/PGF/Expr.hs +++ b/src/runtime/haskell/PGF/Expr.hs @@ -305,7 +305,7 @@ value2expr sig i (VMeta j env vs) = case snd sig j of value2expr sig i (VSusp j env vs k) = value2expr sig i (k (VGen j vs)) value2expr sig i (VConst f vs) = foldl EApp (EFun f) (List.map (value2expr sig i) vs) value2expr sig i (VLit l) = ELit l -value2expr sig i (VClosure env (EAbs b x e)) = EAbs b x (value2expr sig (i+1) (eval sig ((VGen i []):env) e)) +value2expr sig i (VClosure env (EAbs b x e)) = EAbs b (mkCId ('v':show i)) (value2expr sig (i+1) (eval sig ((VGen i []):env) e)) value2expr sig i (VImplArg v) = EImplArg (value2expr sig i v) data Value