diff options
| author | aarne <aarne@cs.chalmers.se> | 2008-08-20 06:44:58 +0000 |
|---|---|---|
| committer | aarne <aarne@cs.chalmers.se> | 2008-08-20 06:44:58 +0000 |
| commit | 74373394a6cba4fb2189a531f36f7686a2dcd3a0 (patch) | |
| tree | 1e5248b84b1c19e819c17a4b7f9f38e0b12af735 /src/GF/Compile | |
| parent | 7d83d90e51573d92071e4f84c33f0cd2a1ab2c36 (diff) | |
alternative prtType to help debugging overload resolution errors
Diffstat (limited to 'src/GF/Compile')
| -rw-r--r-- | src/GF/Compile/CheckGrammar.hs | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/src/GF/Compile/CheckGrammar.hs b/src/GF/Compile/CheckGrammar.hs index 51dcab70b..d752ab1c9 100644 --- a/src/GF/Compile/CheckGrammar.hs +++ b/src/GF/Compile/CheckGrammar.hs @@ -689,6 +689,7 @@ getOverload env@gr mt ot = case appForm ot of checkWarn ("ignoring lock fields in resolving" +++ prt ot) return (mkApp fun tts, val) ([],[]) -> do + ---- let prtType _ = prt -- to debug grammars raise $ "no overload instance of" +++ prt f +++ "for" +++ unwords (map (prtType env) tys) +++ "among" ++++ unlines [" " ++ unwords (map (prtType env) ty) | (ty,_) <- typs] ++ |