ghc/tests/typecheck/should_compile/tc109.hs

   1 {-# OPTIONS -fglasgow-exts #-}
   2
   3 module ShouldCompile where
   4
   5 -- This accepted by Hugs, but not by GHC 4.08.1
   6 -- Reported by Thomas Hallgren Nov 00
   7
   8 class P a
   9 class R a b | b->a
  10
  11 instance (P a,R a b) => P [b]
  12
  13 {- GHC 4.08.1 doesn't seem to allow variables in the context that
  14 don't appear after the =>, but which are still ok since they are
  15 determined by the functional dependenices.  -}
  16
  17