Modify a couple of error messages slightly
[ghc.git] / testsuite / tests / gadt / T7558.hs
1 {-# LANGUAGE GADTs #-}
2 module T7558 where
3
4 data T a b where
5 MkT :: (a~Maybe b) => a -> Maybe b -> T a b
6
7 f :: T a a -> Bool
8 f (MkT x y) = [x,y] `seq` True