From dbc7297d80c383d3e43148ac526a792ccfb6bbf5 Mon Sep 17 00:00:00 2001 From: Inari Listenmaa Date: Thu, 4 Jun 2020 20:19:06 +0200 Subject: Don't output "\n **" if helpfulMsg is empty. --- src/compiler/GF/Compile/TypeCheck/RConcrete.hs | 5 +++-- 1 file changed, 3 insertions(+), 2 deletions(-) (limited to 'src/compiler/GF/Compile') diff --git a/src/compiler/GF/Compile/TypeCheck/RConcrete.hs b/src/compiler/GF/Compile/TypeCheck/RConcrete.hs index dc05788b0..4d194e38b 100644 --- a/src/compiler/GF/Compile/TypeCheck/RConcrete.hs +++ b/src/compiler/GF/Compile/TypeCheck/RConcrete.hs @@ -652,13 +652,14 @@ checkEqLType gr g t u trm = do helpfulMsg = case (arrows inferredType, arrows expectedType) of (0,0) -> pp "" -- None of the types is a function - _ -> if expectedType `isLessApplied` inferredType + _ -> "\n **" <+> + if expectedType `isLessApplied` inferredType then "Maybe you gave too few arguments to" <+> funName else pp "Double-check that type signature and number of arguments match." in checkError $ s <+> "type of" <+> term $$ "expected:" <+> expectedType $$ -- ppqType t u $$ "inferred:" <+> inferredType $$ -- ppqType u t - "\n **" <+> helpfulMsg <+> "\n" + helpfulMsg where -- count the number of arrows in the prettyprinted term arrows :: Doc -> Int -- cgit v1.2.3