diff options
Diffstat (limited to 'testsuite/tests/typecheck/should_compile/tc090.hs')
-rw-r--r-- | testsuite/tests/typecheck/should_compile/tc090.hs | 22 |
1 files changed, 22 insertions, 0 deletions
diff --git a/testsuite/tests/typecheck/should_compile/tc090.hs b/testsuite/tests/typecheck/should_compile/tc090.hs new file mode 100644 index 0000000000..f568c390a5 --- /dev/null +++ b/testsuite/tests/typecheck/should_compile/tc090.hs @@ -0,0 +1,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 + + |