From 2833ace46eb35266ebfe1a5bb8629210413b1be1 Mon Sep 17 00:00:00 2001 From: Wolfgang Jeltsch Date: Mon, 3 Dec 2007 23:47:55 +0000 Subject: addition of type equality support (at least for HTML generation) --- src/Haddock/Backends/Html.hs | 1 + src/Haddock/Interface/Rename.hs | 4 ++++ 2 files changed, 5 insertions(+) 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 -- cgit v1.2.3