diff options
| author | krasimir <krasimir@chalmers.se> | 2010-08-30 07:37:12 +0000 |
|---|---|---|
| committer | krasimir <krasimir@chalmers.se> | 2010-08-30 07:37:12 +0000 |
| commit | ab9d27f995412a8c35c6f000453aa76ae6db4798 (patch) | |
| tree | c9b779a46b964ea33b1b0815d007bbe28ff315bc /src/runtime/haskell | |
| parent | 509ccb0db0adfcbf2d795616a53dfdb4b9c76a58 (diff) | |
PGF.Expr.normalForm does variable renaming
Diffstat (limited to 'src/runtime/haskell')
| -rw-r--r-- | src/runtime/haskell/PGF/Expr.hs | 2 |
1 files changed, 1 insertions, 1 deletions
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
|