aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorsimonmar <unknown>2002-05-07 15:36:36 +0000
committersimonmar <unknown>2002-05-07 15:36:36 +0000
commit65fc31db4405340f1ca1130ff37ef5147423c89a (patch)
tree57d354954302a16e6b5ebc56c8468b080c286bc9
parent68f8a896da9347f427199378b4986e899a67247c (diff)
[haddock @ 2002-05-07 15:36:36 by simonmar]
DocEmpty is a right and left-unit of DocAppend (remove it in the smart constructor).
-rw-r--r--src/HaddockTypes.hs2
1 files changed, 2 insertions, 0 deletions
diff --git a/src/HaddockTypes.hs b/src/HaddockTypes.hs
index c5010fa4..f99d2893 100644
--- a/src/HaddockTypes.hs
+++ b/src/HaddockTypes.hs
@@ -160,6 +160,8 @@ docAppend (DocOrderedList ds1) (DocOrderedList ds2)
= DocOrderedList (ds1++ds2)
docAppend (DocOrderedList ds1) (DocAppend (DocOrderedList ds2) d)
= DocAppend (DocOrderedList (ds1++ds2)) d
+docAppend DocEmpty d = d
+docAppend d DocEmpty = d
docAppend d1 d2
= DocAppend d1 d2