1 {-# OPTIONS -fglasgow-exts #-}
3 module ShouldCompile where
5 -- This accepted by Hugs, but not by GHC 4.08.1
6 -- Reported by Thomas Hallgren Nov 00
11 instance (P a,R a b) => P b
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. -}