From 07d95b2b3fe150714cc60df850ea85ba751d5724 Mon Sep 17 00:00:00 2001 From: aarne Date: Tue, 14 Dec 2010 14:35:41 +0000 Subject: [PATCH] type checking of oper types with let expressions --- src/compiler/GF/Compile/TypeCheck/Concrete.hs | 2 ++ 1 file changed, 2 insertions(+) diff --git a/src/compiler/GF/Compile/TypeCheck/Concrete.hs b/src/compiler/GF/Compile/TypeCheck/Concrete.hs index 0f7f9b340..59d045a4c 100644 --- a/src/compiler/GF/Compile/TypeCheck/Concrete.hs +++ b/src/compiler/GF/Compile/TypeCheck/Concrete.hs @@ -45,6 +45,8 @@ computeLType gr g0 t = comp (reverse [(b,x, Vr x) | (b,x,_) <- g0] ++ g0) t b' <- comp ((bt,x,Vr x):g) b return $ Abs bt x b' + Let (x,(_,a)) b -> comp ((Explicit,x,a):g) b + ExtR r s -> do r' <- comp g r s' <- comp g s