diff options
| author | aarne <aarne@chalmers.se> | 2014-01-31 21:16:07 +0000 |
|---|---|---|
| committer | aarne <aarne@chalmers.se> | 2014-01-31 21:16:07 +0000 |
| commit | d90eededaf46dbcc4316c2b4a3cfefe9b2614058 (patch) | |
| tree | f32dfcc44e6905ef926fc5f5770240bcec0f97b0 | |
| parent | 6f03e517c8ead15229215917a7c67805ba3c3f5c (diff) | |
typo in Concrete type checker: when type checking <e : t>, 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.
| -rw-r--r-- | src/compiler/GF/Compile/TypeCheck/RConcrete.hs | 1 |
1 files changed, 0 insertions, 1 deletions
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 |