[project @ 2001-09-20 08:21:06 by simonpj]

Add tcrun017, enable tcrun015, 016

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

@@ -23,3 +23,5 @@ test "tcrun012" { vtr("", "", "") }
 test "tcrun013" { vtr("", "", "") }
 test "tcrun014" { vtr("", "", "") }
 test "tcrun015" { vtr("-O", "", "") }
+test "tcrun016" { vtr("", "", "") }
+test "tcrun017" { vtr("", "", "") }

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

+{-# OPTIONS -fglasgow-exts #-}
+
 -- !!! Functional dependencies
 -- This one made the 5.00.1 typechecker go into an infinite loop.
 -- The context simplifier keep thinking it was doing an 'improve'
@@ -39,7 +41,7 @@ instance (Eq l, Eq' l) => Environment (BinTreeEnv l t) l t where
 				     else Nothing
 	get (Union d d') l = error "!??"
 
-attribute l t = AttributeLeaf l t
+        attribute l t = AttributeLeaf l t
 
 type Env1 = BinTreeEnv MyLabel Integer
 

testsuite/tests/ghc-regress/typecheck/should_run/tcrun016.stdout

+Just 4

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

+{-# OPTIONS -fglasgow-exts #-}
+
+-- !!! Implicit parameters, and Rank-2 types
+-- This one made the 5.00.1 not print anything
+
+module Main where
+
+foo :: ((?x :: Int) => IO a) -> Int -> IO a
+	-- Note the rank2 type
+foo s z = do  s with ?x = z
+	      s with ?x = z+3
+
+main = foo (print ?x) 42
+

testsuite/tests/ghc-regress/typecheck/should_run/tcrun017.stdout

+42
+45