From e2b42e751b281e43c5f5432bd7b3a322506e7f51 Mon Sep 17 00:00:00 2001 From: Isaac Dupree Date: Tue, 21 Jul 2009 22:03:25 +0000 Subject: add test for GADT records --- tests/tests/GADTRecords.hs | 12 ++ tests/tests/GADTRecords.html.ref | 295 +++++++++++++++++++++++++++++++++++++++ 2 files changed, 307 insertions(+) create mode 100644 tests/tests/GADTRecords.hs create mode 100644 tests/tests/GADTRecords.html.ref (limited to 'tests') diff --git a/tests/tests/GADTRecords.hs b/tests/tests/GADTRecords.hs new file mode 100644 index 00000000..a82cb381 --- /dev/null +++ b/tests/tests/GADTRecords.hs @@ -0,0 +1,12 @@ + +module GADTRecords (H1(..)) where + +-- | h1 +data H1 a b where + C1 :: H1 a b + C2 :: Ord a => [a] -> H1 a a + C3 { field :: Int -- ^ hello docs + } :: H1 Int Int + C4 { field2 :: a -- ^ hello2 docs + } :: H1 Int a + diff --git a/tests/tests/GADTRecords.html.ref b/tests/tests/GADTRecords.html.ref new file mode 100644 index 00000000..35353c16 --- /dev/null +++ b/tests/tests/GADTRecords.html.ref @@ -0,0 +1,295 @@ + + +GADTRecords
ContentsIndex
GADTRecords
Synopsis
data H1 a b where
C1 :: H1 a b
C2 :: Ord a => [a] -> H1 a a
C3 :: {
field :: Int
} -> H1 Int Int
C4 :: {
field2 :: a
} -> H1 Int a
Documentation
data H1 a b where
h1 +
Constructors
C1 :: H1 a b
C2 :: Ord a => [a] -> H1 a a
C3 :: Int -> H1 Int Int
field :: Inthello docs +
C4 :: a -> H1 Int a
field2 :: ahello2 docs +
Produced by Haddock version 2.5.0
-- cgit v1.2.3