Don't skip validity checks for built-in classes (#17355)
[ghc.git] / testsuite / tests / typecheck / should_compile / tc090.hs
1 {- This module tests that we can ge polymorphic recursion
2 of overloaded functions. GHC 2.02 produced the following
3 bogus error:
4
5 tmp.lhs:1: A group of type signatures have mismatched contexts
6 Abf.a :: (PrelBase.Ord f{-aX6-}) => ...
7 Abf.b :: (PrelBase.Ord f{-aX2-}) => ...
8
9 This was due to having more than one type signature for one
10 group of recursive functions.
11 -}
12
13
14 module ShouldSucceed where
15
16 a :: (Ord f) => f
17 a = b
18
19 b :: (Ord f) => f
20 b = a
21
22