Update syntax for records in GADT syntax
authorSimon Peyton Jones <simonpj@microsoft.com>
Wed, 11 May 2011 16:29:43 +0000 (17:29 +0100)
committerSimon Peyton Jones <simonpj@microsoft.com>
Wed, 11 May 2011 16:29:43 +0000 (17:29 +0100)
testsuite/tests/ghc-regress/gadt/ubx-records.hs

index 387ca17..ab21dc6 100644 (file)
@@ -6,9 +6,11 @@
 module Main where
 
 data T a where
-  T1 { w :: !(Int, Int), x :: a, y :: b } :: T (a,b)
-  T2 { w :: !(Int, Int), x :: a } :: T (a,b)
-  T3 { z :: Int } :: T Bool
+  T1 :: { w :: !(Int, Int), x :: a, y :: b } -> T (a,b)
+  T2 :: { w :: !(Int, Int), x :: a } -> T (a,b)
+  T3 :: { z :: Int } -> T Bool
+-- T1 :: forall c a b. (c~(a,b)) => (Int,Int) -> a -> b -> T c
 
 f xv yv = T1 { w = (0,0), x = xv, y = yv }