diff options
Diffstat (limited to 'src')
| -rw-r--r-- | src/compiler/GF/Compile/TypeCheck/RConcrete.hs | 5 |
1 files changed, 3 insertions, 2 deletions
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 |