diff options
| author | Simon Peyton Jones <simonpj@microsoft.com> | 2012-04-04 16:03:53 +0100 |
|---|---|---|
| committer | Simon Peyton Jones <simonpj@microsoft.com> | 2012-04-04 16:03:53 +0100 |
| commit | 01fcb7aa26f30d8c1362922a361d86403f95d338 (patch) | |
| tree | d16816f7d54844227e9d3b5c8b8f20cb3b222fce /testsuite/tests | |
| parent | dde0085a88d83e5fca8f57039a698dec47c8ffaa (diff) | |
| download | haskell-01fcb7aa26f30d8c1362922a361d86403f95d338.tar.gz | |
Add RankNTypes flag to tests that should really have it
Diffstat (limited to 'testsuite/tests')
4 files changed, 4 insertions, 4 deletions
diff --git a/testsuite/tests/typecheck/should_compile/tc145.hs b/testsuite/tests/typecheck/should_compile/tc145.hs index a11c5b93e5..04910a3ce5 100644 --- a/testsuite/tests/typecheck/should_compile/tc145.hs +++ b/testsuite/tests/typecheck/should_compile/tc145.hs @@ -1,4 +1,4 @@ -{-# LANGUAGE ImplicitParams, UnboxedTuples #-} +{-# LANGUAGE RankNTypes, ImplicitParams, UnboxedTuples #-} -- Test two slightly exotic things about type signatures diff --git a/testsuite/tests/typecheck/should_compile/tc158.hs b/testsuite/tests/typecheck/should_compile/tc158.hs index 4414fc9c21..1e8b661d10 100644 --- a/testsuite/tests/typecheck/should_compile/tc158.hs +++ b/testsuite/tests/typecheck/should_compile/tc158.hs @@ -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 diff --git a/testsuite/tests/typecheck/should_compile/tc230.hs b/testsuite/tests/typecheck/should_compile/tc230.hs index 11877d487f..22cb6e9621 100644 --- a/testsuite/tests/typecheck/should_compile/tc230.hs +++ b/testsuite/tests/typecheck/should_compile/tc230.hs @@ -1,4 +1,4 @@ -{-# LANGUAGE ImplicitParams #-} +{-# LANGUAGE ImplicitParams, RankNTypes #-} -- Trac #1445 diff --git a/testsuite/tests/typecheck/should_fail/T2714.hs b/testsuite/tests/typecheck/should_fail/T2714.hs index 80f838c37c..b27acb735b 100644 --- a/testsuite/tests/typecheck/should_fail/T2714.hs +++ b/testsuite/tests/typecheck/should_fail/T2714.hs @@ -1,4 +1,4 @@ -{-# LANGUAGE ScopedTypeVariables #-}
+{-# LANGUAGE ScopedTypeVariables, RankNTypes #-}
-- Trac #2714
|