aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorsimonmar <unknown>2002-05-27 13:19:49 +0000
committersimonmar <unknown>2002-05-27 13:19:49 +0000
commit657204d29967a492607e5035372fb66e062edeb0 (patch)
tree1b58fc56bf2f8f52b43b0123c69067b0c563d209
parent48722e6823e46a17ca789949ecd1a2b8d359ed22 (diff)
[haddock @ 2002-05-27 13:19:49 by simonmar]
Fix bug: we weren't renaming HsDocCommentNamed in renameDecl
-rw-r--r--src/HaddockRename.hs3
1 files changed, 3 insertions, 0 deletions
diff --git a/src/HaddockRename.hs b/src/HaddockRename.hs
index d1bc5efa..a759178e 100644
--- a/src/HaddockRename.hs
+++ b/src/HaddockRename.hs
@@ -109,6 +109,9 @@ renameDecl decl
ctxt <- mapM renamePred ctxt
asst <- renamePred asst
return (HsInstDecl loc ctxt asst decls)
+ HsDocCommentNamed loc name doc -> do
+ doc <- renameDoc doc
+ return (HsDocCommentNamed loc name doc)
_ ->
return decl