From 7babfd1da6808f65ae6369aef0dc246857822357 Mon Sep 17 00:00:00 2001 From: krasimir Date: Wed, 4 Mar 2009 13:41:33 +0000 Subject: qualified/unqualified mode for GF.Grammar.Printer. Used in the "cc" command --- src/GF/Compile/Update.hs | 8 ++++---- 1 file changed, 4 insertions(+), 4 deletions(-) (limited to 'src/GF/Compile') diff --git a/src/GF/Compile/Update.hs b/src/GF/Compile/Update.hs index 4bcea0db2..ba0f383a8 100644 --- a/src/GF/Compile/Update.hs +++ b/src/GF/Compile/Update.hs @@ -37,9 +37,9 @@ buildAnyTree m = go Map.empty Just i -> case unifyAnyInfo c i j of Ok k -> go (Map.insert c k map) is Bad _ -> fail $ render (text "cannot unify the informations" $$ - nest 4 (ppJudgement (c,i)) $$ + nest 4 (ppJudgement Qualified (c,i)) $$ text "and" $+$ - nest 4 (ppJudgement (c,j)) $$ + nest 4 (ppJudgement Qualified (c,j)) $$ text "in module" <+> ppIdent m) Nothing -> go (Map.insert c j map) is @@ -143,9 +143,9 @@ extendMod isCompl (name,cond) base old new = foldM try new $ Map.toList old Just j -> case unifyAnyInfo c i j of Ok k -> return $ updateTree (c,k) new Bad _ -> fail $ render (text "cannot unify the information" $$ - nest 4 (ppJudgement (c,i)) $$ + nest 4 (ppJudgement Qualified (c,i)) $$ text "in module" <+> ppIdent name <+> text "with" $$ - nest 4 (ppJudgement (c,j)) $$ + nest 4 (ppJudgement Qualified (c,j)) $$ text "in module" <+> ppIdent base) Nothing -> if isCompl then return $ updateTree (c,indirInfo name i) new -- cgit v1.2.3