Modify a couple of error messages slightly
[ghc.git] / testsuite / tests / gadt / lazypatok.hs
1 {-# LANGUAGE GADTs #-}
2
3 -- It's not clear whether this one should succed or fail,
4 -- Arguably it should succeed because the type refinement on
5 -- T1 should make (y::Int). Currently, though, it succeeds
6
7 module ShouldFail where
8
9 data T a where
10 T1 :: Int -> T Int
11
12 f :: (T a, a) -> Int
13 f ~(T1 x, y) = x+y
14