Improve error messages around kind mismatches.
[ghc.git] / testsuite / tests / typecheck / should_fail / tcfail099.hs
1 {-# LANGUAGE ExistentialQuantification #-}
2
3 -- This bogus program slipped past GHC 5.02!
4
5 module ShouldFail where
6
7 data DS = forall a. C (a -> Int)
8
9 call (C f) arg = f arg