From 74373394a6cba4fb2189a531f36f7686a2dcd3a0 Mon Sep 17 00:00:00 2001
From: aarne <aarne@cs.chalmers.se>
Date: Wed, 20 Aug 2008 06:44:58 +0000
Subject: [PATCH] alternative prtType to help debugging overload resolution
 errors

---
 src/GF/Compile/CheckGrammar.hs | 1 +
 1 file changed, 1 insertion(+)

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] ++