Improve error messages around kind mismatches.
[ghc.git] / testsuite / tests / typecheck / should_fail / T5095.hs
1 {-# LANGUAGE FlexibleInstances, UndecidableInstances #-}
2
3 module Test where
4
5 instance {-# OVERLAPPABLE #-} Show a => Eq a where
6 x == y = length (show x) == length (show y)
7
8 f :: Show a => a -> a -> Bool
9 f x y = x == y
10
11 p = f (3 :: Int) 4