Adjust seldom-run tests for flag changes
authorSimon Peyton Jones <simonpj@microsoft.com>
Wed, 25 Apr 2012 14:32:51 +0000 (15:32 +0100)
committerSimon Peyton Jones <simonpj@microsoft.com>
Wed, 25 Apr 2012 14:32:51 +0000 (15:32 +0100)
testsuite/tests/typecheck/should_run/IPRun.hs
testsuite/tests/typecheck/should_run/tcrun034.hs
testsuite/tests/typecheck/should_run/tcrun034.stdout

index 66abe6d..38c47d3 100644 (file)
@@ -1,4 +1,4 @@
-{-# LANGUAGE ImplicitParams #-}
+{-# LANGUAGE ImplicitParams, RankNTypes #-}
 
 module Main where
 
index ac07869..60b70df 100644 (file)
@@ -6,9 +6,12 @@ module Main where
 f1 :: forall m a b. (a `m` b) -> ((a `m` b) -> a) -> a
 f1 x g = g x
 
--- Infix type operator
-f2 :: forall a b (-->). (a --> b) -> ((a --> b) -> b) -> b
-f2 x g = g x
+-- Infix type operator..  Commented out because we no longer 
+-- infix operators to be variables; they are type constructors
+-- f2 :: forall a b (-->). (a --> b) -> ((a --> b) -> b) -> b
+-- f2 x g = g x
 
-main = do { print (f1 (3,5) fst); print (f2 (3,5) snd) }
+main = do { print (f1 (3,5) fst) 
+--        ; print (f2 (3,5) snd)
+          }