GF.Grammar.Printer now has a Terse mode which prints record types with lock fields with their corresponding abstract categories

src/compiler/GF/Compile/TypeCheck/ConcreteNew.hs

@@ -288,8 +288,8 @@ tcApp ge scope t =
 
 tcOverloadFailed t ttys =
   tcError ("Overload resolution failed" $$
-           "term " <+> pp t $$
-           "types" <+> vcat [pp ty | (_,ty) <- ttys])
+           "of term   " <+> pp t $$
+           "with types" <+> vcat [ppTerm Terse 0 ty | (_,ty) <- ttys])
 
 
 tcPatt ge scope PW        ty0 =

src/compiler/GF/Compile/TypeCheck/RConcrete.hs

@@ -425,7 +425,7 @@ checkLType gr g trm typ0 = do
                        then checkLType gr ((bt,x,a):g) c b
                        else do b' <- checkIn (pp "abs") $ substituteLType [(bt',z,Vr x)] b
                                checkLType gr ((bt,x,a):g) c b'
-          return $ (Abs bt x c', Prod bt' x a b')
+          return $ (Abs bt x c', Prod bt' z a b')
         _ -> checkError $ "function type expected instead of" <+> ppType typ
 
     App f a -> do