addition of type equality support (at least for HTML generation)

2 files changed, 5 insertions, 0 deletions

diff --git a/src/Haddock/Backends/Html.hs b/src/Haddock/Backends/Html.hs
index 4a8c41d8..0aa6d85e 100644
--- a/src/Haddock/Backends/Html.hs
+++ b/src/Haddock/Backends/Html.hs
@@ -776,6 +776,7 @@ ppLPred = ppPred . unLoc
 
 ppPred (HsClassP n ts) = ppDocName n <+> hsep (map ppLType ts)
 -- TODO: find out what happened to the Dupable/Linear distinction
+ppPred (HsEqualP t1 t2) = ppLType t1 <+> toHtml "~" <+> ppLType t2
 ppPred (HsIParam (IPName n) t) 
   = toHtml "?" +++ ppDocName n <+> dcolon <+> ppLType t
 
diff --git a/src/Haddock/Interface/Rename.hs b/src/Haddock/Interface/Rename.hs
index 81717716..947c3b29 100644
--- a/src/Haddock/Interface/Rename.hs
+++ b/src/Haddock/Interface/Rename.hs
@@ -197,6 +197,10 @@ renamePred (HsClassP name types) = do
   name'  <- rename name 
   types' <- mapM renameLType types
   return (HsClassP name' types')
+renamePred (HsEqualP type1 type2) = do
+  type1' <- renameLType type1
+  type2' <- renameLType type2
+  return (HsEqualP type1' type2')
 renamePred (HsIParam (IPName name) t) = do
   name' <- rename name
   t'    <- renameLType t