diff options
Diffstat (limited to 'testsuite/tests/ghc-regress/typecheck/should_compile/tc109.hs')
-rw-r--r-- | testsuite/tests/ghc-regress/typecheck/should_compile/tc109.hs | 19 |
1 files changed, 0 insertions, 19 deletions
diff --git a/testsuite/tests/ghc-regress/typecheck/should_compile/tc109.hs b/testsuite/tests/ghc-regress/typecheck/should_compile/tc109.hs deleted file mode 100644 index 0d9fdc051c..0000000000 --- a/testsuite/tests/ghc-regress/typecheck/should_compile/tc109.hs +++ /dev/null @@ -1,19 +0,0 @@ -{-# LANGUAGE MultiParamTypeClasses, FunctionalDependencies, - UndecidableInstances #-} --- UndecidableInstances because 'b' appears in the context but not the head - -module ShouldCompile where - --- This accepted by Hugs, but not by GHC 4.08.1 --- Reported by Thomas Hallgren Nov 00 - -class P a -class R a b | b->a - -instance (P a,R a b) => P [b] - -{- GHC 4.08.1 doesn't seem to allow variables in the context that -don't appear after the =>, but which are still ok since they are -determined by the functional dependenices. -} - - |