hacky solution to name resolution warnings

This commit is contained in:
aarne
2007-07-05 14:08:58 +00:00
parent f88ff1cf50
commit 1d72f0b1f8
5 changed files with 162 additions and 91 deletions

View File

@@ -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?