Improve error messages around kind mismatches.
[ghc.git] / testsuite / tests / typecheck / should_fail / T8392a.hs
1 {-# LANGUAGE GADTs, AllowAmbiguousTypes #-}
2 module T8392a where
3
4 -- Should complain even with AllowAmbiguousTypes
5 --
6 -- But (Trac #12466) we now don't complain about
7 -- contradictory signatures
8 -- Instead we get a redundant pattern-match warning,
9 -- in the post-typechecking pattern-match checks
10 foo :: (Int ~ Bool) => a -> a
11 foo x = x