From c727f7c85cf2be690514aff953a0512c40c6d491 Mon Sep 17 00:00:00 2001 From: aarne Date: Fri, 31 Jan 2014 21:16:07 +0000 Subject: [PATCH] typo in Concrete type checker: when type checking , return annotated e and not e itself. Fixed in RConcrete, which should soon replace Concrete; and hopefully will be replaced by some cleaner code soon, such as ConcreteNew which has been under construction for quite some time. --- src/compiler/GF/Compile/TypeCheck/RConcrete.hs | 1 - 1 file changed, 1 deletion(-) diff --git a/src/compiler/GF/Compile/TypeCheck/RConcrete.hs b/src/compiler/GF/Compile/TypeCheck/RConcrete.hs index 350ed3abd..c773e76dd 100644 --- a/src/compiler/GF/Compile/TypeCheck/RConcrete.hs +++ b/src/compiler/GF/Compile/TypeCheck/RConcrete.hs @@ -100,7 +100,6 @@ inferLType gr g trm = case trm of Typed e t -> do t' <- computeLType gr g t checkLType gr g e t' - return (e,t') App f a -> do over <- getOverload gr g Nothing trm