testsuite/tests/typecheck/should_fail/tcfail113.hs

   1 -- Tests kind error messages
   2
   3 -- GHC 6.6 stops on the first kind error it encounters,
   4 -- so we only get one error report here.  I'll leave
   5 -- the other tests in here, though, in case matters improve
   6 -- again
   7
   8 module ShouldFail where
   9
  10 data T k = T (k Int)
  11
  12 f :: [Maybe]
  13 f x = x
  14
  15 g :: T Int
  16 g x = x
  17
  18 h :: Int Int
  19 h x = x