[project @ 2005-05-12 16:54:17 by simonpj]

Add rank-2 test

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

@@ -40,6 +40,7 @@ test('tcrun031', only_compiler_types(['ghc']), compile_and_run, [''])
 test('tcrun032', only_compiler_types(['ghc']), compile_and_run, [''])
 test('tcrun033', only_compiler_types(['ghc']), compile_and_run, [''])
 test('tcrun034', only_compiler_types(['ghc']), compile_and_run, [''])
+test('tcrun035', only_compiler_types(['ghc']), compile_and_run, [''])
 
 test('church', normal, compile_and_run, [''])
 test('testeq2', normal, compile_and_run, [''])

testsuite/tests/ghc-regress/typecheck/should_run/tcrun035.hs

+{-# OPTIONS -fglasgow-exts #-}
+
+-- Tests subsumption for infix operators (in this case (.))
+-- Broke GHC 6.4!
+
+module Main(main) where
+
+foo :: (forall m. Monad m => m a) -> IO a
+foo = id . id
+
+main :: IO ()
+main = foo (return ())