From 0ca000efbcc8da90f2547bb0a16eabdbf8982bd8 Mon Sep 17 00:00:00 2001 From: David Waern Date: Tue, 27 Dec 2011 15:26:42 +0100 Subject: Cleanup. --- src/Haddock/Interface/Create.hs | 51 ++++++++++------------------------------- 1 file changed, 12 insertions(+), 39 deletions(-) (limited to 'src/Haddock/Interface') diff --git a/src/Haddock/Interface/Create.hs b/src/Haddock/Interface/Create.hs index 0ed5826b..d4ae9bd0 100644 --- a/src/Haddock/Interface/Create.hs +++ b/src/Haddock/Interface/Create.hs @@ -353,45 +353,18 @@ filterClasses decls = [ if isClassD d then (L loc (filterClass d), doc) else x -- | Collect the docs and attach them to the right declaration. collectDocs :: [Decl] -> [(Decl, [HsDocString])] -collectDocs = collect Nothing [] - -collect :: Maybe Decl -> [HsDocString] -> [Decl] -> [(Decl, [HsDocString])] -collect d doc_so_far [] = - case d of - Nothing -> [] - Just d0 -> finishedDoc d0 doc_so_far [] - -collect d doc_so_far (e:es) = - case e of - L _ (DocD (DocCommentNext str)) -> - case d of - Nothing -> collect d (str:doc_so_far) es - Just d0 -> finishedDoc d0 doc_so_far (collect Nothing [str] es) - - L _ (DocD (DocCommentPrev str)) -> collect d (str:doc_so_far) es - - _ -> case d of - Nothing -> collect (Just e) doc_so_far es - Just d0 -> finishedDoc d0 doc_so_far (collect (Just e) [] es) - - --- This used to delete all DocD:s, unless doc was DocEmpty, --- which I suppose means you could kill a DocCommentNamed --- by: --- --- > -- | killer --- > --- > -- $victim --- --- Anyway I accidentally deleted the DocEmpty condition without --- realizing it was necessary for retaining some DocDs (at least --- DocCommentNamed), so I'm going to try just not testing any conditions --- and see if anything breaks. It really shouldn't break anything --- to keep more doc decls around, IMHO. --- --- -Isaac -finishedDoc :: Decl -> [HsDocString] -> [(Decl, [HsDocString])] -> [(Decl, [HsDocString])] -finishedDoc d docs rest = (d, reverse docs) : rest +collectDocs = go Nothing [] + where + go Nothing _ [] = [] + go (Just prev) docs [] = finished prev docs [] + go prev docs ((L _ (DocD (DocCommentNext str))):ds) + | Nothing <- prev = go Nothing (str:docs) ds + | Just decl <- prev = finished decl docs (go Nothing [str] ds) + go prev docs ((L _ (DocD (DocCommentPrev str))):ds) = go prev (str:docs) ds + go Nothing docs (d:ds) = go (Just d) docs ds + go (Just prev) docs (d:ds) = finished prev docs (go (Just d) [] ds) + + finished decl docs rest = (decl, reverse docs) : rest -- | Build the list of items that will become the documentation, from the -- cgit v1.2.3