Modify a couple of error messages slightly
[ghc.git] / testsuite / tests / gadt / gadt3.hs
1 {-# LANGUAGE GADTs #-}
2
3 module ShouldCompile where
4
5 data T where
6 T1 :: Int -> T
7 T2 :: Bool -> Bool -> T
8
9 data S a where
10 S1 :: a -> S a
11 S2 :: Int -> S Int
12
13 f (T1 i) = i>0
14 f (T2 a b) = a && b
15
16 g :: S a -> a
17 g (S1 x) = x
18 g (S2 i) = i