summaryrefslogtreecommitdiff
path: root/src/GF/Compile/Rename.hs
diff options
context:
space:
mode:
authoraarne <aarne@cs.chalmers.se>2007-07-05 14:08:58 +0000
committeraarne <aarne@cs.chalmers.se>2007-07-05 14:08:58 +0000
commit63f060dcf62a23c518379c46af40461afacfb27c (patch)
tree40e0ce806203b39729965bc23e04a0d3d1e18058 /src/GF/Compile/Rename.hs
parent4d228365aca9b5ed2ea90dd706a866042e776b14 (diff)
hacky solution to name resolution warnings
Diffstat (limited to 'src/GF/Compile/Rename.hs')
-rw-r--r--src/GF/Compile/Rename.hs3
1 files changed, 2 insertions, 1 deletions
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?