aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorBartosz Nitka <niteria@gmail.com>2016-09-20 19:44:04 +0100
committerMatthew Pickering <matthewtpickering@gmail.com>2016-09-20 19:44:04 +0100
commit073d899a8f94ddec698f617a38d3420160a7fd0b (patch)
tree0d9612b1a57480862ed4b798ea0871c951108509
parenta3309e797c42dae9bccdeb17ce52fcababbaff8a (diff)
Fix rendering of class methods for Eq and Ord
See #549 and GHC issue #12519
-rw-r--r--haddock-api/src/Haddock/Convert.hs4
1 files changed, 3 insertions, 1 deletions
diff --git a/haddock-api/src/Haddock/Convert.hs b/haddock-api/src/Haddock/Convert.hs
index 88cedc75..41e98c6f 100644
--- a/haddock-api/src/Haddock/Convert.hs
+++ b/haddock-api/src/Haddock/Convert.hs
@@ -81,7 +81,7 @@ tyThingToLHsDecl t = case t of
(map (noLoc . getName) l, map (noLoc . getName) r) ) $
snd $ classTvsFds cl
, tcdSigs = noLoc (MinimalSig mempty . noLoc . fmap noLoc $ classMinimalDef cl) :
- map (noLoc . synifyIdSig DeleteTopLevelQuantification)
+ map (noLoc . synifyTcIdSig DeleteTopLevelQuantification)
(classMethods cl)
, tcdMeths = emptyBag --ignore default method definitions, they don't affect signature
-- class associated-types are a subset of TyCon:
@@ -316,6 +316,8 @@ synifyName = noLoc . getName
synifyIdSig :: SynifyTypeState -> Id -> Sig Name
synifyIdSig s i = TypeSig [synifyName i] (synifySigWcType s (varType i))
+synifyTcIdSig :: SynifyTypeState -> Id -> Sig Name
+synifyTcIdSig s i = ClassOpSig False [synifyName i] (synifySigType s (varType i))
synifyCtx :: [PredType] -> LHsContext Name
synifyCtx = noLoc . map (synifyType WithinType)