diff options
| author | Simon Peyton Jones <simonpj@microsoft.com> | 2012-10-19 01:49:14 +0100 |
|---|---|---|
| committer | Simon Peyton Jones <simonpj@microsoft.com> | 2012-10-19 01:49:14 +0100 |
| commit | 09cdd12b22bcff1876ea80c0d9878507c2ed4f1f (patch) | |
| tree | c6474515aa1e2ce3bb6cb9a090f121c0b339be5f /testsuite/tests/gadt | |
| parent | c673422336f4b1a2d5280adddc00a4ab9209426b (diff) | |
| download | haskell-09cdd12b22bcff1876ea80c0d9878507c2ed4f1f.tar.gz | |
Replace Rank2Types and PolymorphicComponents by RankNTypes
Diffstat (limited to 'testsuite/tests/gadt')
| -rw-r--r-- | testsuite/tests/gadt/doaitse.hs | 2 | ||||
| -rw-r--r-- | testsuite/tests/gadt/gadt1.hs | 2 | ||||
| -rw-r--r-- | testsuite/tests/gadt/gadt21.hs | 2 | ||||
| -rw-r--r-- | testsuite/tests/gadt/gadt22.hs | 2 | ||||
| -rw-r--r-- | testsuite/tests/gadt/nbe.hs | 2 | ||||
| -rw-r--r-- | testsuite/tests/gadt/termination.hs | 2 |
6 files changed, 6 insertions, 6 deletions
diff --git a/testsuite/tests/gadt/doaitse.hs b/testsuite/tests/gadt/doaitse.hs index 51525bb573..02237b5154 100644 --- a/testsuite/tests/gadt/doaitse.hs +++ b/testsuite/tests/gadt/doaitse.hs @@ -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 diff --git a/testsuite/tests/gadt/gadt1.hs b/testsuite/tests/gadt/gadt1.hs index 3412d90cf2..d930094143 100644 --- a/testsuite/tests/gadt/gadt1.hs +++ b/testsuite/tests/gadt/gadt1.hs @@ -1,4 +1,4 @@ -{-# LANGUAGE GADTs, Rank2Types #-} +{-# LANGUAGE GADTs, RankNTypes #-} module ShouldCompile where diff --git a/testsuite/tests/gadt/gadt21.hs b/testsuite/tests/gadt/gadt21.hs index b452d083c1..abc36d93d2 100644 --- a/testsuite/tests/gadt/gadt21.hs +++ b/testsuite/tests/gadt/gadt21.hs @@ -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 diff --git a/testsuite/tests/gadt/gadt22.hs b/testsuite/tests/gadt/gadt22.hs index f456198ff1..67d17c7a67 100644 --- a/testsuite/tests/gadt/gadt22.hs +++ b/testsuite/tests/gadt/gadt22.hs @@ -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 diff --git a/testsuite/tests/gadt/nbe.hs b/testsuite/tests/gadt/nbe.hs index 0547131df9..82b7b83259 100644 --- a/testsuite/tests/gadt/nbe.hs +++ b/testsuite/tests/gadt/nbe.hs @@ -1,4 +1,4 @@ -{-# LANGUAGE GADTs, Rank2Types #-} +{-# LANGUAGE GADTs, RankNTypes #-} module Main where diff --git a/testsuite/tests/gadt/termination.hs b/testsuite/tests/gadt/termination.hs index be2431b812..f290322fa5 100644 --- a/testsuite/tests/gadt/termination.hs +++ b/testsuite/tests/gadt/termination.hs @@ -1,4 +1,4 @@ -{-# LANGUAGE GADTs, Rank2Types #-} +{-# LANGUAGE GADTs, RankNTypes #-} module Termination where |