From 7ba65bb0d4792ad0f287752faff0af7124b291af Mon Sep 17 00:00:00 2001 From: krasimir Date: Tue, 6 Oct 2009 14:59:02 +0000 Subject: [PATCH] fix the error message for overload resolution --- src/GF/Compile/CheckGrammar.hs | 3 +-- 1 file changed, 1 insertion(+), 2 deletions(-) diff --git a/src/GF/Compile/CheckGrammar.hs b/src/GF/Compile/CheckGrammar.hs index e73a9ae07..e176cbb4a 100644 --- a/src/GF/Compile/CheckGrammar.hs +++ b/src/GF/Compile/CheckGrammar.hs @@ -577,8 +577,7 @@ getOverload gr g mt ot = case appForm ot of checkWarn (text "ignoring lock fields in resolving" <+> ppTerm Unqualified 0 ot) return (mkApp fun tts, val) ([],[]) -> do - ---- let prtType _ = prt -- to debug grammars - let showTypes ty = vcat (map ppType ty) + let showTypes ty = hsep (map ppType ty) checkError $ text "no overload instance of" <+> ppTerm Unqualified 0 f $$ text "for" $$ nest 2 (showTypes tys) $$