diff options
| -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 |