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/doaitse.hs | |
| parent | c673422336f4b1a2d5280adddc00a4ab9209426b (diff) | |
| download | haskell-09cdd12b22bcff1876ea80c0d9878507c2ed4f1f.tar.gz | |
Replace Rank2Types and PolymorphicComponents by RankNTypes
Diffstat (limited to 'testsuite/tests/gadt/doaitse.hs')
| -rw-r--r-- | testsuite/tests/gadt/doaitse.hs | 2 |
1 files changed, 1 insertions, 1 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 |