diff options
| -rw-r--r-- | examples/Bug6.hs | 20 | ||||
| -rw-r--r-- | examples/Test.hs | 8 |
2 files changed, 28 insertions, 0 deletions
diff --git a/examples/Bug6.hs b/examples/Bug6.hs new file mode 100644 index 00000000..88290009 --- /dev/null +++ b/examples/Bug6.hs @@ -0,0 +1,20 @@ +-- | Exporting records. +module Bug6( A(A), B(B), b, C(C,c1,c2), D(D,d1) ) where + +-- | +-- This record is exported without its field +data A = A { a :: Int } + +-- | +-- .. with its field, but the field is named separately in the export list +-- (should still be visible as a field name) +data B = B { b :: Int } + +-- | +-- .. with fields names as subordinate names in the export +data C = C { c1 :: Int, c2 :: Int } + +-- | +-- .. with only some of the fields exported (we can't handle this one - +-- how do we render the declaration?) +data D = D { d1 :: Int, d2 :: Int } diff --git a/examples/Test.hs b/examples/Test.hs index 65e01a9e..066dabac 100644 --- a/examples/Test.hs +++ b/examples/Test.hs @@ -64,6 +64,8 @@ module Test ( -- $aux11 + -- $aux12 + -- | This is some inline documentation in the export list -- -- > a code block using bird-tracks @@ -333,6 +335,12 @@ test2 @ -} +-- $aux12 +-- > foo +-- +-- > bar +-- + -- | A data-type using existential\/universal types data Ex a = forall b . C b => Ex1 b |