mirror of
https://github.com/GrammaticalFramework/gf-core.git
synced 2026-04-09 04:59:31 -06:00
alternative prtType to help debugging overload resolution errors
This commit is contained in:
@@ -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] ++
|
||||
|
||||
Reference in New Issue
Block a user