diff options
| author | bringert <bringert@cs.chalmers.se> | 2005-12-09 11:45:57 +0000 |
|---|---|---|
| committer | bringert <bringert@cs.chalmers.se> | 2005-12-09 11:45:57 +0000 |
| commit | ccfe7fb119aa4aed9b971bd52f72ab0f54df1bf4 (patch) | |
| tree | d96ad696726ae6574c77f85d0908f9f63ef284cf /src/Transfer/Interpreter.hs | |
| parent | ce8376885c8edb58ae09b60aa49376b74b070626 (diff) | |
Transfer: changed syntax to remove the mandatory type annotation in let.
Diffstat (limited to 'src/Transfer/Interpreter.hs')
| -rw-r--r-- | src/Transfer/Interpreter.hs | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/src/Transfer/Interpreter.hs b/src/Transfer/Interpreter.hs index 4323e2130..428c8018b 100644 --- a/src/Transfer/Interpreter.hs +++ b/src/Transfer/Interpreter.hs @@ -131,8 +131,8 @@ addModuleEnv env (Module ds) = eval :: Env -> Exp -> Value eval env x = case x of ELet defs exp2 -> - let env' = [ (id, v) | LetDef id _ e <- defs, - let v = eval env' e] + let env' = [ (id, v) | LetDef id e <- defs, + let v = eval env' e] `addToEnv` env in eval (seqEnv env') exp2 ECase exp cases -> |