blob: 477cd97b004f4ec9eda8af33b33570a3c6799b13 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
|
{- This module tests that we can ge polymorphic recursion
of overloaded functions. GHC 2.02 produced the following
bogus error:
tmp.lhs:1: A group of type signatures have mismatched contexts
Abf.a :: (PrelBase.Ord f{-aX6-}) => ...
Abf.b :: (PrelBase.Ord f{-aX2-}) => ...
This was due to having more than one type signature for one
group of recursive functions.
-}
module ShouldSucceed where
a :: (Ord f) => f
a = b
b :: (Ord f) => f
b = a
|