From 2600efa4eace203a975fd784655148d6fc783de2 Mon Sep 17 00:00:00 2001
From: simonmar <unknown>
Date: Wed, 24 Mar 2004 10:16:17 +0000
Subject: [haddock @ 2004-03-24 10:16:17 by simonmar] Record export tests.

---
 examples/Bug6.hs | 20 ++++++++++++++++++++
 examples/Test.hs |  8 ++++++++
 2 files changed, 28 insertions(+)
 create mode 100644 examples/Bug6.hs

(limited to 'examples')

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
-- 
cgit v1.2.3