diff options
| author | Kazu Yamamoto <kazu@iij.ad.jp> | 2013-02-07 17:45:10 +0900 |
|---|---|---|
| committer | Kazu Yamamoto <kazu@iij.ad.jp> | 2013-02-07 17:45:10 +0900 |
| commit | 85b8ac017f0ac6d3eda397e586a75bb9f7c2760b (patch) | |
| tree | dda8dea943bd5447aa81945fbaf4bc1810b5697c | |
| parent | ac12c7041be4898896e4ef9c8d831bf23402c531 (diff) | |
Using new syntax in html-test/src/GADTRecords.hs.
| -rw-r--r-- | html-test/src/GADTRecords.hs | 9 |
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 |