aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorKazu Yamamoto <kazu@iij.ad.jp>2013-02-07 17:45:10 +0900
committerKazu Yamamoto <kazu@iij.ad.jp>2013-02-07 17:45:10 +0900
commit85b8ac017f0ac6d3eda397e586a75bb9f7c2760b (patch)
treedda8dea943bd5447aa81945fbaf4bc1810b5697c
parentac12c7041be4898896e4ef9c8d831bf23402c531 (diff)
Using new syntax in html-test/src/GADTRecords.hs.
-rw-r--r--html-test/src/GADTRecords.hs9
1 files changed, 4 insertions, 5 deletions
diff --git a/html-test/src/GADTRecords.hs b/html-test/src/GADTRecords.hs
index c77810ad..dcbbb870 100644
--- a/html-test/src/GADTRecords.hs
+++ b/html-test/src/GADTRecords.hs
@@ -5,8 +5,7 @@ module GADTRecords (H1(..)) where
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
-
+ C3 :: { field :: Int -- ^ hello docs
+ } -> H1 Int Int
+ C4 :: { field2 :: a -- ^ hello2 docs
+ } -> H1 Int a