From 5ec43f2f75e8b62bcb650f75099b83f282878901 Mon Sep 17 00:00:00 2001 From: krasimir Date: Tue, 7 Mar 2017 08:24:00 +0000 Subject: 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 | 4 ++-- src/compiler/GF/Compile/TypeCheck/RConcrete.hs | 2 +- 2 files changed, 3 insertions(+), 3 deletions(-) (limited to 'src/compiler/GF/Compile') diff --git a/src/compiler/GF/Compile/TypeCheck/ConcreteNew.hs b/src/compiler/GF/Compile/TypeCheck/ConcreteNew.hs index f1c6aab80..badf8bd30 100644 --- a/src/compiler/GF/Compile/TypeCheck/ConcreteNew.hs +++ b/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 = diff --git a/src/compiler/GF/Compile/TypeCheck/RConcrete.hs b/src/compiler/GF/Compile/TypeCheck/RConcrete.hs index 8913f7c5d..2fe08b256 100644 --- a/src/compiler/GF/Compile/TypeCheck/RConcrete.hs +++ b/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 -- cgit v1.2.3