ghc/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 Foo where
  15
  16 a :: (Ord f) => f
  17 a = b
  18
  19 b :: (Ord f) => f
  20 b = a
  21
  22