diff options
| author | simonmar <unknown> | 2002-05-07 15:36:36 +0000 |
|---|---|---|
| committer | simonmar <unknown> | 2002-05-07 15:36:36 +0000 |
| commit | 65fc31db4405340f1ca1130ff37ef5147423c89a (patch) | |
| tree | 57d354954302a16e6b5ebc56c8468b080c286bc9 /src | |
| parent | 68f8a896da9347f427199378b4986e899a67247c (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).
Diffstat (limited to 'src')
| -rw-r--r-- | src/HaddockTypes.hs | 2 |
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 |