Testsuite: benign test fixes
[ghc.git] / testsuite / tests / gadt / lazypatok.hs
1 {-# LANGUAGE GADTs #-}
2
3 -- It's not clear whether this one should succeed or fail,
4 -- Arguably it should succeed because the type refinement on
5 -- T1 should make (y::Int). Currently, though, it fails.
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