diff options
| author | Simon Peyton Jones <simonpj@microsoft.com> | 2015-06-25 09:21:13 +0100 |
|---|---|---|
| committer | Simon Peyton Jones <simonpj@microsoft.com> | 2015-06-26 08:33:09 +0100 |
| commit | 95fc6d5940582c8a42cd8f65b7e21b6e6370ea83 (patch) | |
| tree | 531c5e275c76fe48f123dd80f9dbe36c0e1da597 /testsuite/tests/rename | |
| parent | 2f16a3b8745fe53c1be431db755c574b1464edde (diff) | |
| download | haskell-95fc6d5940582c8a42cd8f65b7e21b6e6370ea83.tar.gz | |
Get rid of irrelevant impredicative polymoprhism
These tests aren't about impredicativity
Diffstat (limited to 'testsuite/tests/rename')
| -rw-r--r-- | testsuite/tests/rename/should_fail/mc13.hs | 4 | ||||
| -rw-r--r-- | testsuite/tests/rename/should_fail/mc14.hs | 2 | ||||
| -rw-r--r-- | testsuite/tests/rename/should_fail/rnfail049.hs | 2 | ||||
| -rw-r--r-- | testsuite/tests/rename/should_fail/rnfail050.hs | 2 |
4 files changed, 5 insertions, 5 deletions
diff --git a/testsuite/tests/rename/should_fail/mc13.hs b/testsuite/tests/rename/should_fail/mc13.hs index 6069e0f080..a07a183277 100644 --- a/testsuite/tests/rename/should_fail/mc13.hs +++ b/testsuite/tests/rename/should_fail/mc13.hs @@ -1,4 +1,4 @@ --- Test for transform list comp which should work for monad comp aswell: +-- Test for transform list comp which should work for monad comp as well: -- -- Test trying to use a function bound in the list comprehension as the transform function @@ -6,7 +6,7 @@ module RnFail048 where -functions :: [forall a. [a] -> [a]] +functions :: [[a] -> [a]] functions = [take 4, take 5] output = [() | f <- functions, then f] diff --git a/testsuite/tests/rename/should_fail/mc14.hs b/testsuite/tests/rename/should_fail/mc14.hs index 71ccbf98fe..47d903b922 100644 --- a/testsuite/tests/rename/should_fail/mc14.hs +++ b/testsuite/tests/rename/should_fail/mc14.hs @@ -8,7 +8,7 @@ module RnFail049 where import Data.List(inits, tails) -functions :: [forall a. [a] -> [[a]]] +functions :: [[a] -> [[a]]] functions = [inits, tails] output = [() | f <- functions, then group using f] diff --git a/testsuite/tests/rename/should_fail/rnfail049.hs b/testsuite/tests/rename/should_fail/rnfail049.hs index 6123856d2c..0d426a4a27 100644 --- a/testsuite/tests/rename/should_fail/rnfail049.hs +++ b/testsuite/tests/rename/should_fail/rnfail049.hs @@ -6,7 +6,7 @@ module RnFail049 where import Data.List(inits, tails)
-functions :: [forall a. [a] -> [[a]]]
+functions :: [[a] -> [[a]]]
functions = [inits, tails]
output = [() | f <- functions, then group using f]
diff --git a/testsuite/tests/rename/should_fail/rnfail050.hs b/testsuite/tests/rename/should_fail/rnfail050.hs index b148acb754..0618b93fc5 100644 --- a/testsuite/tests/rename/should_fail/rnfail050.hs +++ b/testsuite/tests/rename/should_fail/rnfail050.hs @@ -4,7 +4,7 @@ module RnFail048 where -functions :: [forall a. [a] -> [a]] +functions :: [[a] -> [a]] functions = [take 4, take 5] output = [() | f <- functions, then f] |