ghc/tests/typecheck/should_compile/tc112.hs

   1 {-# OPTIONS -fglasgow-exts #-}
   2
   3 -- !!! Functional dependencies
   4 -- This broke an early impl of functional dependencies
   5 -- (complaint about ambiguity)
   6
   7 module ShouldCompile where
   8
   9 class C a b | a -> b where f :: a -> b
  10
  11 g :: (C a b, Eq b) => a -> Bool
  12 g x = f x == f x