Add RankNTypes flag to tests that should really have it
authorSimon Peyton Jones <simonpj@microsoft.com>
Wed, 4 Apr 2012 15:03:53 +0000 (16:03 +0100)
committerSimon Peyton Jones <simonpj@microsoft.com>
Wed, 4 Apr 2012 15:03:53 +0000 (16:03 +0100)
testsuite/tests/typecheck/should_compile/tc145.hs
testsuite/tests/typecheck/should_compile/tc158.hs
testsuite/tests/typecheck/should_compile/tc230.hs
testsuite/tests/typecheck/should_fail/T2714.hs

index a11c5b9..04910a3 100644 (file)
@@ -1,4 +1,4 @@
-{-# LANGUAGE ImplicitParams, UnboxedTuples #-}
+{-# LANGUAGE RankNTypes, ImplicitParams, UnboxedTuples #-}
 
 -- Test two slightly exotic things about type signatures
 
index 4414fc9..1e8b661 100644 (file)
@@ -1,4 +1,4 @@
-{-# LANGUAGE Rank2Types #-}
+{-# LANGUAGE RankNTypes #-}
 
 -- Types should be checked for well-formedness only after
 -- expanding type synonyms.  GHC 5.03 fails this
index 11877d4..22cb6e9 100644 (file)
@@ -1,4 +1,4 @@
-{-# LANGUAGE ImplicitParams #-}
+{-# LANGUAGE ImplicitParams, RankNTypes #-}
 
 -- Trac #1445
 
index 80f838c..b27acb7 100644 (file)
@@ -1,4 +1,4 @@
-{-# LANGUAGE ScopedTypeVariables #-}\r
+{-# LANGUAGE ScopedTypeVariables, RankNTypes #-}\r
 \r
 -- Trac #2714\r
 \r