ghc/tests/typecheck/should_compile/tc114.hs

   1 {-# OPTIONS -fglasgow-exts #-}
   2
   3 -- !!! Functional dependencies
   4 -- This broke an early impl of functional dependencies
   5
   6 module ShouldCompile where
   7
   8 class Foo r a | r -> a where
   9     foo :: a -> r
  10
  11 instance Foo (Maybe e) e where
  12     foo = Just
  13
  14 bad:: Num e => Maybe e
  15 bad = foo 0