aboutsummaryrefslogtreecommitdiff
path: root/examples
diff options
context:
space:
mode:
Diffstat (limited to 'examples')
-rw-r--r--examples/Bug6.hs20
-rw-r--r--examples/Test.hs8
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