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