aboutsummaryrefslogtreecommitdiff
path: root/html-test/src/GADTRecords.hs
diff options
context:
space:
mode:
Diffstat (limited to 'html-test/src/GADTRecords.hs')
-rw-r--r--html-test/src/GADTRecords.hs12
1 files changed, 12 insertions, 0 deletions
diff --git a/html-test/src/GADTRecords.hs b/html-test/src/GADTRecords.hs
new file mode 100644
index 00000000..c77810ad
--- /dev/null
+++ b/html-test/src/GADTRecords.hs
@@ -0,0 +1,12 @@
+{-# LANGUAGE GADTs #-}
+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
+