From ccfe7fb119aa4aed9b971bd52f72ab0f54df1bf4 Mon Sep 17 00:00:00 2001 From: bringert Date: Fri, 9 Dec 2005 11:45:57 +0000 Subject: Transfer: changed syntax to remove the mandatory type annotation in let. --- src/Transfer/Interpreter.hs | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) (limited to 'src/Transfer/Interpreter.hs') 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 -> -- cgit v1.2.3