[commit: ghc] master: Get rid of irrelevant impredicative polymoprhism (95fc6d5)

[git at git.haskell.org]

Repository : ssh://git@git.haskell.org/ghc

On branch  : master
Link       : http://ghc.haskell.org/trac/ghc/changeset/95fc6d5940582c8a42cd8f65b7e21b6e6370ea83/ghc

>---------------------------------------------------------------

commit 95fc6d5940582c8a42cd8f65b7e21b6e6370ea83
Author: Simon Peyton Jones <simonpj at microsoft.com>
Date:   Thu Jun 25 09:21:13 2015 +0100

    Get rid of irrelevant impredicative polymoprhism
    
    These tests aren't about impredicativity


>---------------------------------------------------------------

95fc6d5940582c8a42cd8f65b7e21b6e6370ea83
 testsuite/tests/rename/should_fail/mc13.hs      | 4 ++--
 testsuite/tests/rename/should_fail/mc14.hs      | 2 +-
 testsuite/tests/rename/should_fail/rnfail049.hs | 2 +-
 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 6069e0f..a07a183 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 71ccbf9..47d903b 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 6123856..0d426a4 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 b148acb..0618b93 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]