diff options
| author | Aarne Ranta <aarne@chalmers.se> | 2019-05-20 15:58:47 +0200 |
|---|---|---|
| committer | Aarne Ranta <aarne@chalmers.se> | 2019-05-20 15:58:47 +0200 |
| commit | b7249adf63acf717210af2fa2e552bd50473b960 (patch) | |
| tree | 80b32e8db5b1ef7ca9e9d59744abe00fb4764cc9 /src/compiler/GF/Compile | |
| parent | 7a3efdfeb9171a38e594f177d0541124837d32ba (diff) | |
reordered error message for 'no overload'; might be even better to show complete types
Diffstat (limited to 'src/compiler/GF/Compile')
| -rw-r--r-- | src/compiler/GF/Compile/TypeCheck/RConcrete.hs | 11 |
1 files changed, 6 insertions, 5 deletions
diff --git a/src/compiler/GF/Compile/TypeCheck/RConcrete.hs b/src/compiler/GF/Compile/TypeCheck/RConcrete.hs index 88e324ff3..134e71559 100644 --- a/src/compiler/GF/Compile/TypeCheck/RConcrete.hs +++ b/src/compiler/GF/Compile/TypeCheck/RConcrete.hs @@ -360,12 +360,13 @@ getOverload gr g mt ot = case appForm ot of nest 2 (showTypes pre) return (mkApp fun tts, val) ([],[]) -> do - checkError $ "no overload instance of" <+> ppTerm Unqualified 0 f $$ - "for" $$ + checkError $ "no overload instance of" <+> ppTerm Qualified 0 f $$ + maybe empty (\x -> "with value type" <+> ppType x) mt $$ + "for argument list" $$ nest 2 stysError $$ - "among" $$ - nest 2 (vcat stypsError) $$ - maybe empty (\x -> "with value type" <+> ppType x) mt + "among alternatives" $$ + nest 2 (vcat stypsError) + (vfs1,vfs2) -> case (noProds vfs1,noProds vfs2) of ([(val,fun)],_) -> do |