Replace Rank2Types and PolymorphicComponents by RankNTypes
authorSimon Peyton Jones <simonpj@microsoft.com>
Fri, 19 Oct 2012 00:49:14 +0000 (01:49 +0100)
committerSimon Peyton Jones <simonpj@microsoft.com>
Fri, 19 Oct 2012 00:49:14 +0000 (01:49 +0100)
78 files changed:
testsuite/tests/deSugar/should_compile/ds050.hs
testsuite/tests/gadt/doaitse.hs
testsuite/tests/gadt/gadt1.hs
testsuite/tests/gadt/gadt21.hs
testsuite/tests/gadt/gadt22.hs
testsuite/tests/gadt/nbe.hs
testsuite/tests/gadt/termination.hs
testsuite/tests/ghci.debugger/scripts/print012.script
testsuite/tests/ghci.debugger/scripts/print013.script
testsuite/tests/ghci.debugger/scripts/print014.script
testsuite/tests/ghci.debugger/scripts/print034.script
testsuite/tests/ghci/prog008/A.hs
testsuite/tests/ghci/scripts/ghci025.hs
testsuite/tests/haddock/haddock_examples/test.T
testsuite/tests/haddock/should_compile_flag_haddock/all.T
testsuite/tests/haddock/should_compile_noflag_haddock/all.T
testsuite/tests/indexed-types/should_compile/Roman1.hs
testsuite/tests/indexed-types/should_compile/T3787.hs
testsuite/tests/indexed-types/should_compile/T4120.hs
testsuite/tests/indexed-types/should_compile/T4178.hs
testsuite/tests/indexed-types/should_compile/T4358.hs
testsuite/tests/indexed-types/should_compile/T4935.hs
testsuite/tests/indexed-types/should_compile/T7280.hs
testsuite/tests/indexed-types/should_fail/SimpleFail12.hs
testsuite/tests/indexed-types/should_fail/T5439.hs
testsuite/tests/rebindable/rebindable6.hs
testsuite/tests/rename/should_fail/mc13.hs
testsuite/tests/rename/should_fail/mc14.hs
testsuite/tests/rename/should_fail/rnfail026.hs
testsuite/tests/rename/should_fail/rnfail049.hs
testsuite/tests/rename/should_fail/rnfail050.hs
testsuite/tests/simplCore/should_compile/T5359a.hs
testsuite/tests/simplCore/should_compile/simpl009.hs
testsuite/tests/simplCore/should_compile/simpl011.hs
testsuite/tests/simplCore/should_compile/simpl014.hs
testsuite/tests/typecheck/should_compile/T2494-2.hs
testsuite/tests/typecheck/should_compile/T2494.hs
testsuite/tests/typecheck/should_compile/T2683.hs
testsuite/tests/typecheck/should_compile/T3018.hs
testsuite/tests/typecheck/should_compile/T4355.hs
testsuite/tests/typecheck/should_compile/T5655.hs
testsuite/tests/typecheck/should_compile/faxen.hs
testsuite/tests/typecheck/should_compile/tc087.hs
testsuite/tests/typecheck/should_compile/tc092.hs
testsuite/tests/typecheck/should_compile/tc097.hs
testsuite/tests/typecheck/should_compile/tc102.hs
testsuite/tests/typecheck/should_compile/tc105.hs
testsuite/tests/typecheck/should_compile/tc124.hs
testsuite/tests/typecheck/should_compile/tc140.hs
testsuite/tests/typecheck/should_compile/tc144.hs
testsuite/tests/typecheck/should_compile/tc146.hs
testsuite/tests/typecheck/should_compile/tc148.hs
testsuite/tests/typecheck/should_compile/tc157.hs
testsuite/tests/typecheck/should_compile/tc160.hs
testsuite/tests/typecheck/should_compile/tc161.hs
testsuite/tests/typecheck/should_compile/tc162.hs
testsuite/tests/typecheck/should_compile/tc166.hs
testsuite/tests/typecheck/should_compile/tc183.hs
testsuite/tests/typecheck/should_compile/tc194.hs
testsuite/tests/typecheck/should_compile/tc198.hs
testsuite/tests/typecheck/should_compile/tc203.hs
testsuite/tests/typecheck/should_compile/tc206.hs
testsuite/tests/typecheck/should_compile/tc208.hs
testsuite/tests/typecheck/should_compile/tc210.hs
testsuite/tests/typecheck/should_compile/tc213.hs
testsuite/tests/typecheck/should_compile/tc222.hs
testsuite/tests/typecheck/should_compile/tc229.hs
testsuite/tests/typecheck/should_compile/tc233.hs
testsuite/tests/typecheck/should_compile/tc236.hs
testsuite/tests/typecheck/should_fail/T7019.hs
testsuite/tests/typecheck/should_fail/T7019a.hs
testsuite/tests/typecheck/should_fail/tcfail076.hs
testsuite/tests/typecheck/should_fail/tcfail088.hs
testsuite/tests/typecheck/should_fail/tcfail104.hs
testsuite/tests/typecheck/should_fail/tcfail110.hs
testsuite/tests/typecheck/should_fail/tcfail122.hs
testsuite/tests/typecheck/should_fail/tcfail188.hs
testsuite/tests/typecheck/should_fail/tcfail201.hs

index be88654..b3b7c87 100644 (file)
@@ -1,4 +1,4 @@
-{-# LANGUAGE Rank2Types #-}
+{-# LANGUAGE RankNTypes #-}
 
 module ShouldCompile where
 
index 51525bb..02237b5 100644 (file)
@@ -1,5 +1,5 @@
 {-# LANGUAGE GADTs, ExistentialQuantification, ScopedTypeVariables,
-             Rank2Types #-}
+             RankNTypes #-}
 
 -- Here's an example from Doaitse Swiestra (Sept 06)
 -- which requires use of scoped type variables
index 3412d90..d930094 100644 (file)
@@ -1,4 +1,4 @@
-{-# LANGUAGE GADTs, Rank2Types #-}
+{-# LANGUAGE GADTs, RankNTypes #-}
 
 module ShouldCompile where
 
index b452d08..abc36d9 100644 (file)
@@ -1,4 +1,4 @@
-{-# LANGUAGE GADTs, ExistentialQuantification, KindSignatures, Rank2Types #-}
+{-# LANGUAGE GADTs, ExistentialQuantification, KindSignatures, RankNTypes #-}
 
 -- Fails (needs the (Ord a) in TypeSet 
 -- c.f. gadt22.hs
index f456198..67d17c7 100644 (file)
@@ -1,4 +1,4 @@
-{-# LANGUAGE GADTs, ExistentialQuantification, KindSignatures, Rank2Types #-}
+{-# LANGUAGE GADTs, ExistentialQuantification, KindSignatures, RankNTypes #-}
 
 -- Succeeds (needs the (Ord a) in TypeSet 
 -- c.f. gadt21.hs
index 0547131..82b7b83 100644 (file)
@@ -1,4 +1,4 @@
-{-# LANGUAGE GADTs, Rank2Types #-}
+{-# LANGUAGE GADTs, RankNTypes #-}
 
 module Main where
 
index be2431b..f290322 100644 (file)
@@ -1,4 +1,4 @@
-{-# LANGUAGE GADTs, Rank2Types #-}
+{-# LANGUAGE GADTs, RankNTypes #-}
 
 module Termination where
 
index bda9a8f..a24a6a6 100644 (file)
@@ -1,4 +1,4 @@
-:set -XGADTs -XRank2Types -XExistentialQuantification -XDeriveDataTypeable -XGeneralizedNewtypeDeriving
+:set -XGADTs -XRankNTypes -XExistentialQuantification -XDeriveDataTypeable -XGeneralizedNewtypeDeriving
 :l ../GADT
 :a ../Test
 :m +Main
index 334e605..cc80c29 100644 (file)
@@ -1,6 +1,6 @@
 -- Test handling of extra fields in the representation due to dictionaries
 
-:set -XGADTs -XRank2Types
+:set -XGADTs -XRankNTypes
 :l ../GADT
 
 let d = DictN (1 :: Integer)
index 40c8bec..e6d5958 100644 (file)
@@ -1,6 +1,6 @@
 -- Test handling of extra fields in the representation due to existentials.
 
-:set -XGADTs -XRank2Types
+:set -XGADTs -XRankNTypes
 :l ../GADT
 
 let e = Exist 1
index 95bcfde..39f2743 100644 (file)
@@ -1,6 +1,6 @@
 -- More GADT goodness
 
-:set -XGADTs -XRank2Types -XDeriveDataTypeable -XGeneralizedNewtypeDeriving
+:set -XGADTs -XRankNTypes -XDeriveDataTypeable -XGeneralizedNewtypeDeriving
 :l ../GADT
 :a ../Test
 :m +Main
index 0be5e12..6a85ca7 100644 (file)
@@ -1,4 +1,4 @@
-{-# LANGUAGE Rank2Types, MultiParamTypeClasses #-}
+{-# LANGUAGE RankNTypes, MultiParamTypeClasses #-}
 
 -- Tests a bug spotted by Claus in which the type
 -- of c3 was wrongly displayed in GHCi as
index 0e1bc7e..d5e2673 100644 (file)
@@ -1,4 +1,4 @@
-{-# LANGUAGE Rank2Types, MultiParamTypeClasses #-}
+{-# LANGUAGE RankNTypes, MultiParamTypeClasses #-}
 \r
 module T where\r
 \r
index 856bf73..c60933d 100644 (file)
@@ -3,4 +3,4 @@ test('haddock.Test',
       extra_clean(['Test.hi', 'Test.o', 'Hidden.hi', 'Hidden.o',
                    'Visible.hi', 'Visible.o'])],
      multimod_compile,
-     ['Test Hidden Visible', '-XRank2Types -XExistentialQuantification -haddock -ddump-parsed'])
+     ['Test Hidden Visible', '-XRankNTypes -XExistentialQuantification -haddock -ddump-parsed'])
index ed77310..61b6c6c 100644 (file)
@@ -23,8 +23,8 @@ test('haddockA022', normal, compile, ['-haddock -ddump-parsed'])
 test('haddockA023', normal, compile, ['-haddock -ddump-parsed'])
 test('haddockA024', normal, compile, ['-haddock -ddump-parsed'])
 test('haddockA025', normal, compile, ['-haddock -ddump-parsed'])
-test('haddockA026', normal, compile, ['-haddock -ddump-parsed -XRank2Types'])
-test('haddockA027', normal, compile, ['-haddock -ddump-parsed -XRank2Types'])
+test('haddockA026', normal, compile, ['-haddock -ddump-parsed -XRankNTypes'])
+test('haddockA027', normal, compile, ['-haddock -ddump-parsed -XRankNTypes'])
 test('haddockA028', normal, compile, ['-haddock -ddump-parsed -XTypeOperators'])
 test('haddockA029', normal, compile, ['-haddock -ddump-parsed'])
 test('haddockA030', normal, compile, ['-haddock -ddump-parsed'])
index dbc7d17..77aed59 100644 (file)
@@ -23,8 +23,8 @@ test('haddockC022', normal, compile, [''])
 test('haddockC023', normal, compile, [''])
 test('haddockC024', normal, compile, [''])
 test('haddockC025', normal, compile, [''])
-test('haddockC026', normal, compile, ['-XRank2Types'])
-test('haddockC027', normal, compile, ['-XRank2Types'])
+test('haddockC026', normal, compile, ['-XRankNTypes'])
+test('haddockC027', normal, compile, ['-XRankNTypes'])
 test('haddockC028', normal, compile, ['-XTypeOperators'])
 test('haddockC029', normal, compile, [''])
 test('haddockC030', normal, compile, [''])
index 491fee0..4d8fd14 100644 (file)
@@ -1,4 +1,4 @@
-{-# LANGUAGE TypeFamilies, Rank2Types #-}
+{-# LANGUAGE TypeFamilies, RankNTypes #-}
 
 -- This test made the type checker produce an
 -- ill-kinded coercion term.
index 955b6a1..a52c27f 100644 (file)
@@ -16,7 +16,7 @@
 
 -- | Module "Trampoline" defines the trampoline computations and their basic building blocks.
 
-{-# LANGUAGE ScopedTypeVariables, Rank2Types, MultiParamTypeClasses, TypeFamilies, KindSignatures,
+{-# LANGUAGE ScopedTypeVariables, RankNTypes, MultiParamTypeClasses, TypeFamilies, KindSignatures,
              FlexibleContexts, FlexibleInstances, OverlappingInstances, UndecidableInstances
  #-}
 
index 57dd21a..3b14759 100644 (file)
@@ -1,4 +1,4 @@
-{-# LANGUAGE Rank2Types, TypeFamilies #-}
+{-# LANGUAGE RankNTypes, TypeFamilies #-}
 
 -- Unification yielding a coercion under a forall
 
index b0a34b2..97dfbed 100644 (file)
@@ -1,6 +1,6 @@
 {-# LANGUAGE
        FlexibleContexts,
-       Rank2Types,
+       RankNTypes,
        TypeFamilies,
        MultiParamTypeClasses,
        FlexibleInstances #-}
index 92ac3a7..0c05576 100644 (file)
@@ -1,4 +1,4 @@
-{-# LANGUAGE TypeFamilies, Rank2Types, FlexibleContexts #-}
+{-# LANGUAGE TypeFamilies, RankNTypes, FlexibleContexts #-}
 
 module T4358 where
 
index 2c9d16a..739019c 100644 (file)
@@ -1,4 +1,4 @@
-{-# LANGUAGE TypeFamilies, Rank2Types, ScopedTypeVariables #-}
+{-# LANGUAGE TypeFamilies, RankNTypes, ScopedTypeVariables #-}
 module T4935 where
 
 import Control.Applicative
index daa391b..2cb7a09 100644 (file)
@@ -1,4 +1,4 @@
-{-# LANGUAGE Rank2Types, MultiParamTypeClasses, FlexibleContexts,
+{-# LANGUAGE RankNTypes, MultiParamTypeClasses, FlexibleContexts,
    TypeFamilies, ScopedTypeVariables #-}
 
 module T7280 where
index 0c8ffef..d23cd7a 100644 (file)
@@ -1,4 +1,4 @@
-{-# LANGUAGE TypeFamilies, Rank2Types #-}
+{-# LANGUAGE TypeFamilies, RankNTypes #-}
 
 
 module ShouldFail where
index eb4c89c..396a543 100644 (file)
@@ -3,7 +3,7 @@
 {-# LANGUAGE EmptyDataDecls #-}
 {-# LANGUAGE TypeOperators #-}
 {-# LANGUAGE ScopedTypeVariables #-}
-{-# LANGUAGE Rank2Types #-}
+{-# LANGUAGE RankNTypes #-}
 {-# LANGUAGE GADTs #-}
 {-# LANGUAGE TypeFamilies #-}
 {-# LANGUAGE MultiParamTypeClasses #-}
index 74d861c..ffd69f9 100644 (file)
@@ -1,4 +1,4 @@
-{-# LANGUAGE RebindableSyntax, NPlusKPatterns, Rank2Types,
+{-# LANGUAGE RebindableSyntax, NPlusKPatterns, RankNTypes,
              ScopedTypeVariables, FlexibleInstances #-}
 module Main where
        {
index 2686005..6069e0f 100644 (file)
@@ -2,7 +2,7 @@
 --
 -- Test trying to use a function bound in the list comprehension as the transform function
 
-{-# OPTIONS_GHC -XRank2Types -XMonadComprehensions -XTransformListComp #-}
+{-# OPTIONS_GHC -XRankNTypes -XMonadComprehensions -XTransformListComp #-}
 
 module RnFail048 where
 
index e2cf74c..71ccbf9 100644 (file)
@@ -2,7 +2,7 @@
 --
 -- Test trying to use a function bound in the list comprehension as the group function
 
-{-# OPTIONS_GHC -XRank2Types -XMonadComprehensions -XTransformListComp #-}
+{-# OPTIONS_GHC -XRankNTypes -XMonadComprehensions -XTransformListComp #-}
 
 module RnFail049 where
 
index 3256876..d09d9fc 100644 (file)
@@ -1,4 +1,4 @@
-{-# LANGUAGE Rank2Types, FlexibleInstances #-}
+{-# LANGUAGE RankNTypes, FlexibleInstances #-}
 
 -- This one made ghc-4.08 crash 
 -- rename/RnEnv.lhs:239: Non-exhaustive patterns in function get_tycon_key
index 7f4b6c7..6123856 100644 (file)
@@ -1,6 +1,6 @@
 -- Test trying to use a function bound in the list comprehension as the group function\r
 \r
-{-# OPTIONS_GHC -XRank2Types -XTransformListComp #-}\r
+{-# OPTIONS_GHC -XRankNTypes -XTransformListComp #-}\r
 \r
 module RnFail049 where\r
 \r
index 0c3b262..b148acb 100644 (file)
@@ -1,6 +1,6 @@
 -- Test trying to use a function bound in the list comprehension as the transform function
 
-{-# OPTIONS_GHC -XRank2Types -XTransformListComp #-}
+{-# OPTIONS_GHC -XRankNTypes -XTransformListComp #-}
 
 module RnFail048 where
 
index 058b2af..993fbab 100644 (file)
@@ -1,4 +1,4 @@
-{-# LANGUAGE BangPatterns, Rank2Types, MagicHash, UnboxedTuples #-}
+{-# LANGUAGE BangPatterns, RankNTypes, MagicHash, UnboxedTuples #-}
 
 module T5359a (linesT) where
 
index c66587d..2ffceb6 100644 (file)
@@ -1,4 +1,4 @@
-{-# LANGUAGE Rank2Types #-}
+{-# LANGUAGE RankNTypes #-}
 {-# OPTIONS_GHC -dcore-lint #-}
 
 -- This one killed GHC 6.0, with a "panic: applyTys"
index 63d1ad9..b31ea0a 100644 (file)
@@ -1,4 +1,4 @@
-{-# LANGUAGE CPP, Rank2Types, ScopedTypeVariables, KindSignatures,
+{-# LANGUAGE CPP, RankNTypes, ScopedTypeVariables, KindSignatures,
              MultiParamTypeClasses, FunctionalDependencies #-}
 
 -- This one triggered a bug in the indirection-shorting 
index c610df5..bb96547 100644 (file)
@@ -1,4 +1,4 @@
-{-# LANGUAGE Rank2Types, GADTs, FlexibleContexts #-}
+{-# LANGUAGE RankNTypes, GADTs, FlexibleContexts #-}
 {-# OPTIONS_GHC -O2 #-}
 
 -- This one make SpecConstr generate bogus code (hence -O2), 
index b672cb0..543f8f4 100644 (file)
@@ -1,4 +1,4 @@
-{-# LANGUAGE Rank2Types, ScopedTypeVariables #-}
+{-# LANGUAGE RankNTypes, ScopedTypeVariables #-}
 
 -- Trac #2494, should compile ok
 
index 55d80a2..3e6c09c 100644 (file)
@@ -1,4 +1,4 @@
-{-# LANGUAGE Rank2Types, ScopedTypeVariables #-}
+{-# LANGUAGE RankNTypes, ScopedTypeVariables #-}
 
 -- Trac #2494, should generate an error message
 
index 3e8e9e5..c36eaad 100644 (file)
@@ -1,5 +1,5 @@
 {-# LANGUAGE ExistentialQuantification, MultiParamTypeClasses,\r
-             FunctionalDependencies, Rank2Types #-}\r
+             FunctionalDependencies, RankNTypes #-}\r
 \r
 module Q where\r
 \r
index ffecfc2..a0868af 100644 (file)
@@ -1,5 +1,5 @@
 {-# LANGUAGE OverlappingInstances , UndecidableInstances, EmptyDataDecls #-}
-{-# LANGUAGE Rank2Types, KindSignatures, MultiParamTypeClasses, FlexibleInstances #-}
+{-# LANGUAGE RankNTypes, KindSignatures, MultiParamTypeClasses, FlexibleInstances #-}
 
 -- Works with new constraint solver
 
index 8eff366..712430d 100644 (file)
@@ -1,4 +1,4 @@
-{-# LANGUAGE DeriveDataTypeable, ExistentialQuantification, Rank2Types, MultiParamTypeClasses, FunctionalDependencies, FlexibleInstances, FlexibleContexts, PatternGuards, DatatypeContexts #-}
+{-# LANGUAGE DeriveDataTypeable, ExistentialQuantification, RankNTypes, MultiParamTypeClasses, FunctionalDependencies, FlexibleInstances, FlexibleContexts, PatternGuards, DatatypeContexts #-}
 
 module T4355 where
 
index 429f50e..232ea6b 100644 (file)
@@ -1,4 +1,4 @@
-{-# LANGUAGE TypeFamilies, GADTs, ConstraintKinds, Rank2Types #-}
+{-# LANGUAGE TypeFamilies, GADTs, ConstraintKinds, RankNTypes #-}
 module T5655 where
 
 import GHC.Prim (Constraint)
index c731052..ddc8f7b 100644 (file)
@@ -1,4 +1,4 @@
-{-# LANGUAGE Rank2Types #-}
+{-# LANGUAGE RankNTypes #-}
 \r
 -- A classic test for type inference\r
 -- Taken from "Haskell and principal types", Section 3\r
index f70472b..8ea1901 100644 (file)
@@ -1,4 +1,4 @@
-{-# LANGUAGE Rank2Types #-}
+{-# LANGUAGE RankNTypes #-}
 
 module ShouldSucceed where
 
index 2f12902..b421809 100644 (file)
@@ -1,4 +1,4 @@
-{-# LANGUAGE Rank2Types #-}
+{-# LANGUAGE RankNTypes #-}
 
 module ShouldSucceed where
 
index a65d529..4ec2a17 100644 (file)
@@ -1,4 +1,4 @@
-{-# LANGUAGE Rank2Types #-}
+{-# LANGUAGE RankNTypes #-}
 -- !!! Local universal quantification.
 module ShouldSucceed where
 
index c71b2d0..0bfa551 100644 (file)
@@ -1,4 +1,4 @@
-{-# LANGUAGE Rank2Types, ScopedTypeVariables #-}
+{-# LANGUAGE RankNTypes, ScopedTypeVariables #-}
 
 -- !!! Caused ghc-4.04proto to report a bogus type error
 -- !!! (as reported by Keith)
index 6f35fff..b7b8df2 100644 (file)
@@ -1,4 +1,4 @@
-{-# LANGUAGE Rank2Types, ScopedTypeVariables #-}
+{-# LANGUAGE RankNTypes, ScopedTypeVariables #-}
 
 module ShouldCompile where
 
index cd2362b..fcf3c5e 100644 (file)
@@ -1,4 +1,4 @@
-{-# LANGUAGE Rank2Types #-}
+{-# LANGUAGE RankNTypes #-}
 \r
 -- !!! Rank 2 polymorphism\r
 -- Both f and g are rejected by Hugs [April 2001]\r
index 6536e3d..23709fb 100644 (file)
@@ -1,4 +1,4 @@
-{-# LANGUAGE Rank2Types #-}
+{-# LANGUAGE RankNTypes #-}
 
 -- Make sure for-alls can occur in data types
 
index 29185c8..bb55310 100644 (file)
@@ -1,4 +1,4 @@
-{-# LANGUAGE ImplicitParams, Rank2Types #-}
+{-# LANGUAGE ImplicitParams, RankNTypes #-}
 
 -- Rank-2 types with implicit parameters.
 -- GHC 5.02 erroneously rejected this
index 4f44e90..bc50069 100644 (file)
@@ -1,4 +1,4 @@
-{-# LANGUAGE Rank2Types #-}
+{-# LANGUAGE RankNTypes #-}
 
 -- The interesting thign about this one is that
 -- there's an unbound type variable of kind *->*
index c66f723..2874426 100644 (file)
@@ -1,4 +1,4 @@
-{-# LANGUAGE Rank2Types #-}
+{-# LANGUAGE RankNTypes #-}
 
 -- This program tickled a bug in 5.02.2's forall-lifting
 
index 5e4b711..ae6faf9 100644 (file)
@@ -1,4 +1,4 @@
-{-# LANGUAGE Rank2Types #-}
+{-# LANGUAGE RankNTypes #-}
 
 -- Test silly type synonyms
 
index bf88fc3..2425221 100644 (file)
@@ -1,4 +1,4 @@
-{-# LANGUAGE Rank2Types #-}
+{-# LANGUAGE RankNTypes #-}
 
 --Tests alpha-renaming in with extended type-synonyms
 
index 44f41a5..7cb1272 100644 (file)
@@ -1,4 +1,4 @@
-{-# LANGUAGE Rank2Types #-}
+{-# LANGUAGE RankNTypes #-}
 -- Blew up GHC 5.04, with:
 --    Ambiguous type variable(s) `q' in the constraint `Foo q'
 --    arising from a function with an overloaded argument type at Foo.hs:7
index 91a3272..88da03f 100644 (file)
@@ -1,4 +1,4 @@
-{-# LANGUAGE Rank2Types #-}
+{-# LANGUAGE RankNTypes #-}
 
 -- These ones failed with 5.04.  They need a coercion
 -- in the pattern matching compiler, so they are a bit
index 2e69c3a..75ea65c 100644 (file)
@@ -1,5 +1,5 @@
 {-# LANGUAGE MultiParamTypeClasses, FunctionalDependencies,
-             ExistentialQuantification, Rank2Types,
+             ExistentialQuantification, RankNTypes,
              FlexibleInstances #-}
 
 -- Arguably, the type signature for f1 should be enough to make
index 5015af3..a565ab0 100644 (file)
@@ -1,4 +1,4 @@
-{-# LANGUAGE ExistentialQuantification, Rank2Types #-}
+{-# LANGUAGE ExistentialQuantification, RankNTypes #-}
 
 -- An interesting interaction of universals and existentials, prompted by 
 -- http://www.haskell.org/pipermail/haskell-cafe/2004-October/007160.html
index 07b0ed4..c9eae1e 100644 (file)
@@ -1,4 +1,4 @@
-{-# LANGUAGE Rank2Types, ScopedTypeVariables #-}
+{-# LANGUAGE RankNTypes, ScopedTypeVariables #-}
 
 -- Tests the special case of
 --     non-recursive, function binding, 
index e931ac5..9df5d9f 100644 (file)
@@ -1,4 +1,4 @@
-{-# LANGUAGE Rank2Types, ScopedTypeVariables #-}
+{-# LANGUAGE RankNTypes, ScopedTypeVariables #-}
 
 -- This should work, because the type sig and the type
 -- in the pattern match exactly
index 2579896..a2a3615 100644 (file)
@@ -1,4 +1,4 @@
-{-# LANGUAGE Rank2Types #-}
+{-# LANGUAGE RankNTypes #-}
 
 -- Check that we can have a forall after a forall
 
index c546189..68e751c 100644 (file)
@@ -1,4 +1,4 @@
-{-# LANGUAGE Rank2Types #-}
+{-# LANGUAGE RankNTypes #-}
 
 -- This one showed up a bug in pre-subsumption
 
index 0bfb1d4..0874d02 100644 (file)
@@ -1,4 +1,4 @@
-{-# LANGUAGE ImplicitParams, Rank2Types #-}
+{-# LANGUAGE ImplicitParams, RankNTypes #-}
 
 -- This program failed to typecheck in an early version of
 -- GHC with impredicative polymorphism, but it was fixed by
index a2cc717..b4a377f 100644 (file)
@@ -1,4 +1,4 @@
-{-# LANGUAGE Rank2Types #-}
+{-# LANGUAGE RankNTypes #-}
 
 module ShouldCompile where
 
index e9e3069..1f0b464 100644 (file)
@@ -1,4 +1,4 @@
-{-# LANGUAGE Rank2Types, ScopedTypeVariables, FlexibleInstances,
+{-# LANGUAGE RankNTypes, ScopedTypeVariables, FlexibleInstances,
              MultiParamTypeClasses, FunctionalDependencies #-}
 
 -- This tests scoped type variables, used in an expression 
index 4c418ca..ee8fb1c 100644 (file)
@@ -1,4 +1,4 @@
-{-# LANGUAGE ImplicitParams, Rank2Types #-}
+{-# LANGUAGE ImplicitParams, RankNTypes #-}
 
 -- Tests impredivative polymorphism with left-to-right
 -- flow information; see the uses of "$"
index bf48342..5c879fd 100644 (file)
@@ -2,7 +2,7 @@
 -- trac #1406: Constraint doesn't reduce in the presence of quantified
 --             type variables
 
-{-# LANGUAGE FlexibleInstances, UndecidableInstances, Rank2Types,
+{-# LANGUAGE FlexibleInstances, UndecidableInstances, RankNTypes,
              MultiParamTypeClasses, FunctionalDependencies #-}
 
 module Problem where
index 6421ae7..0f031e0 100644 (file)
@@ -1,5 +1,5 @@
 
-{-# OPTIONS_GHC -XPolymorphicComponents #-}
+{-# LANGUAGE RankNTypes #-}
 
 module ShouldCompile where
 
index c555cec..11edebc 100644 (file)
@@ -1,4 +1,4 @@
-{-# LANGUAGE Rank2Types #-}
+{-# LANGUAGE RankNTypes #-}
 
 module ShouldCompile where
 
index 45df18e..ea482f0 100644 (file)
@@ -1,6 +1,6 @@
 {-# LANGUAGE FlexibleInstances    #-}
 {-# LANGUAGE TypeFamilies         #-}
-{-# LANGUAGE Rank2Types           #-}
+{-# LANGUAGE RankNTypes           #-}
 {-# LANGUAGE ConstraintKinds      #-}
 {-# LANGUAGE UndecidableInstances #-}
 
index a4fb4df..a0143d7 100644 (file)
@@ -1,6 +1,6 @@
 {-# LANGUAGE FlexibleInstances    #-}
 {-# LANGUAGE TypeFamilies         #-}
-{-# LANGUAGE Rank2Types           #-}
+{-# LANGUAGE RankNTypes           #-}
 
 module T7019a where
 
index abe96c5..e8a3455 100644 (file)
@@ -1,4 +1,4 @@
-{-# LANGUAGE Rank2Types #-}
+{-# LANGUAGE RankNTypes #-}
 
 {- 
        From: Ralf Hinze <ralf@uran.informatik.uni-bonn.de>
index 6b9f507..4b8dcd7 100644 (file)
@@ -1,4 +1,4 @@
-{-# LANGUAGE Rank2Types, FlexibleInstances #-}
+{-# LANGUAGE RankNTypes, FlexibleInstances #-}
 
 -- !!! Check that forall types can't be arguments
 module ShouldFail where
index 2927805..7a6a505 100644 (file)
@@ -1,4 +1,4 @@
-{-# LANGUAGE Rank2Types, ScopedTypeVariables #-}
+{-# LANGUAGE RankNTypes, ScopedTypeVariables #-}
 
 -- Test the handling of conditionals in rank-n stuff
 -- Should fail, regardless of branch ordering
index 92aeb56..f9d1bb9 100644 (file)
@@ -1,4 +1,4 @@
-{-# LANGUAGE Rank2Types #-}
+{-# LANGUAGE RankNTypes #-}
 
 module ShouldCompile where
 
index ae2bef8..0576f5f 100644 (file)
@@ -1,4 +1,4 @@
-{-# LANGUAGE Rank2Types, KindSignatures #-}
+{-# LANGUAGE RankNTypes, KindSignatures #-}
 
 module ShouldFail where
 
index a79087d..d9b3058 100644 (file)
@@ -1,4 +1,4 @@
-{-# LANGUAGE Rank2Types, KindSignatures #-}
+{-# LANGUAGE RankNTypes, KindSignatures #-}
 {-# OPTIONS_GHC -Werror #-}
 
 -- Trac #959
index 276efd0..f9d3188 100644 (file)
@@ -1,4 +1,4 @@
-{-# LANGUAGE Rank2Types #-}
+{-# LANGUAGE RankNTypes #-}
 
 
 -- Claus reported by email that