Improve error messages around kind mismatches.
[ghc.git] / testsuite / tests / typecheck / should_fail / tcfail144.hs
1 -- Both sets should fail in Haskell98
2
3 {-# LANGUAGE Haskell98 #-}
4
5 module ShouldCompile where
6
7 f1 :: Eq a => a -> Bool
8 f1 x = (x == x) || g1 True || g1 "Yes"
9
10 g1 :: Ord a => a -> Bool
11 g1 y = (y <= y) || f1 True
12
13 ---------
14
15 f2 :: Eq a => a -> Bool
16 f2 x = (x == x) || g2 True || g2 "Yes"
17
18 g2 y = (y <= y) || f2 True