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