ghc/compiler/tests/rename/rn021.hs

   1 {- Check that the context of a type does not
   2    constrain any in-scope variables, and only constrains
   3    type variables free in the type.
   4 -}
   5
   6 module Foo where
   7
   8 instance Eq a => Eq Bool where
   9   (==) = error "help"
  10
  11
  12 f :: Eq a => Int -> Int
  13 f x = x
  14
  15
  16 class Foo a where
  17   op :: Eq a => a -> a