From 63f060dcf62a23c518379c46af40461afacfb27c Mon Sep 17 00:00:00 2001 From: aarne Date: Thu, 5 Jul 2007 14:08:58 +0000 Subject: hacky solution to name resolution warnings --- src/GF/Compile/Rename.hs | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) (limited to 'src/GF/Compile/Rename.hs') diff --git a/src/GF/Compile/Rename.hs b/src/GF/Compile/Rename.hs index 0a148f02f..bc5925d22 100644 --- a/src/GF/Compile/Rename.hs +++ b/src/GF/Compile/Rename.hs @@ -105,7 +105,8 @@ renameIdentTerm env@(act,imps) t = [tr] -> return tr ts -> return $ Strs $ (cnIC "#conflict") : reverse ts -- a warning will be generated in CheckGrammar, and the head returned - -- in next V: Bad $ "conflicting imports:" +++ unwords (map prt ts) + -- in next V: + -- Bad $ "conflicting imports:" +++ unwords (map prt ts) --- | would it make sense to optimize this by inlining? -- cgit v1.2.3