aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorDavid Waern <davve@dtek.chalmers.se>2007-10-21 14:35:49 +0000
committerDavid Waern <davve@dtek.chalmers.se>2007-10-21 14:35:49 +0000
commit8b423693647f0749b61b01d5bd41430b1dbb623e (patch)
treeab5555f5a9abea624b16d27fcfe116d758a86ce2
parent2fb84ba8be505906e73f1c84405c639646c8a30e (diff)
FIX: Ord for OrdName was not comparing modules
-rw-r--r--src/Haddock/Interface/Rename.hs19
1 files changed, 14 insertions, 5 deletions
diff --git a/src/Haddock/Interface/Rename.hs b/src/Haddock/Interface/Rename.hs
index f22f9a2c..9f8399e2 100644
--- a/src/Haddock/Interface/Rename.hs
+++ b/src/Haddock/Interface/Rename.hs
@@ -17,6 +17,7 @@ import BasicTypes
import SrcLoc
import Bag (emptyBag)
import Outputable
+import Util (thenCmp)
import Data.List
import Data.Map (Map)
@@ -59,7 +60,7 @@ renameInterface renamingEnv mod =
-- filter out certain built in type constructors using their string
-- representation. TODO: use the Name constants from the GHC API.
strings = filter (`notElem` ["()", "[]", "(->)"])
- (map (showSDoc . ppr) missingNames)
+ (map pretty missingNames)
in do
-- report things that we couldn't link to. Only do this for non-hidden
@@ -116,19 +117,27 @@ lookupRn and_then name = do
newtype OrdName = MkOrdName Name
instance Eq OrdName where
- (MkOrdName a) == (MkOrdName b) = a == b
+ (MkOrdName a) == (MkOrdName b) = compare a b == EQ
instance Ord OrdName where
- (MkOrdName a) `compare` (MkOrdName b) = nameOccName a `compare` nameOccName b
+ (MkOrdName a) `compare` (MkOrdName b) =
+ case (nameModule_maybe a, nameModule_maybe b) of
+ (Just modA, Just modB) ->
+ (modA `compare` modB) `thenCmp` (getOccName a `compare` getOccName b)
+ (Nothing, Nothing) -> getOccName a `compare` getOccName b
+ _ -> LT
+
+instance Outputable OrdName where
+ ppr (MkOrdName x) = ppr (nameOccName x)
runRnFM :: LinkEnv -> RnM a -> (a,[Name])
runRnFM env rn = unRn rn lkp
where
lkp n = case Map.lookup (MkOrdName n) ordEnv of
Nothing -> (False, NoLink n)
- Just (MkOrdName q) -> (True, Link q)
+ Just q -> (True, Link q)
- ordEnv = Map.fromList . map (MkOrdName *** MkOrdName) . Map.toList $ env
+ ordEnv = Map.fromList . map (MkOrdName *** id) . Map.toList $ env
--------------------------------------------------------------------------------