From 85b8ac017f0ac6d3eda397e586a75bb9f7c2760b Mon Sep 17 00:00:00 2001 From: Kazu Yamamoto Date: Thu, 7 Feb 2013 17:45:10 +0900 Subject: Using new syntax in html-test/src/GADTRecords.hs. --- html-test/src/GADTRecords.hs | 9 ++++----- 1 file 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 -- cgit v1.2.3