[project @ 2005-09-05 15:28:45 by simonpj]

Another test

testsuite/tests/ghc-regress/typecheck/should_compile/tc165.hs

-{-# OPTIONS -dcore-lint #-}
+{-# OPTIONS -dcore-lint -fglasgow-exts #-}
 
 -- Fails GHC 5.04.2 with -dcore-lint
 -- The issue ariseswhen you have a method that

testsuite/tests/ghc-regress/typecheck/should_fail/all.T

@@ -134,3 +134,4 @@ test('tcfail146', normal, compile_fail, [''])
 test('tcfail147', normal, compile_fail, [''])
 test('tcfail148', normal, compile_fail, [''])
 test('tcfail149', normal, compile_fail, [''])
+test('tcfail150', normal, compile_fail, [''])

testsuite/tests/ghc-regress/typecheck/should_fail/tcfail098.hs

@@ -4,6 +4,3 @@ module ShouldFail where
 class Bar a
 instance Bar a => Bar Bool
 
--- !!! constraining the type variable in a class head is illegal
-class Foo a where
-  op :: Eq a => a -> a

testsuite/tests/ghc-regress/typecheck/should_fail/tcfail150.hs

+module ShouldFail where
+
+-- !!! constraining the type variable in a class head is illegal
+-- Simpler version of tcfail149
+class Foo a where
+  op :: Eq a => a -> a

testsuite/tests/ghc-regress/typecheck/should_fail/tcfail150.stderr

+
+tcfail150.hs:5:0:
+    All of the type variables in the constraint `Eq a' are already in scope
+	(at least one must be universally quantified here)
+    When checking the class method: op :: (Eq a) => a -> a
+    In the class declaration for `Foo'