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.

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