ghc/tests/typecheck/should_fail/tcfail071.hs

   1 -- !!! Mis-matched contexts in a mutually recursive group
   2
   3 module ShouldFail where
   4
   5 f :: (Ord c) => c -> c
   6 f c = g c
   7
   8 g :: c -> c
   9 g c = c
  10   where p = foldr (f c) [] []