Update Trac ticket URLs to point to GitLab
[ghc.git] / testsuite / tests / gadt / records-fail1.hs
1 {-# LANGUAGE GADTs #-}
2
3 -- Tests record syntax for GADTs
4
5 -- Record syntax in GADTs has been deprecated since July 2009
6 -- see commit 432b9c9322181a3644083e3c19b7e240d90659e7 by simonpj:
7 -- "New syntax for GADT-style record declarations, and associated refactoring"
8 -- and #3306
9
10 -- It's been removed in August 2015
11 -- see Phab D1118
12
13 -- test should result in a parse error
14
15 module ShouldFail where
16
17 data T a where
18 T1 { x :: a, y :: b } :: T (a,b)
19 T4 { x :: Int } :: T [a]