Get rid of irrelevant impredicative polymoprhism
authorSimon Peyton Jones <simonpj@microsoft.com>
Thu, 25 Jun 2015 08:21:13 +0000 (09:21 +0100)
committerSimon Peyton Jones <simonpj@microsoft.com>
Fri, 26 Jun 2015 07:33:09 +0000 (08:33 +0100)
These tests aren't about impredicativity

testsuite/tests/rename/should_fail/mc13.hs
testsuite/tests/rename/should_fail/mc14.hs
testsuite/tests/rename/should_fail/rnfail049.hs
testsuite/tests/rename/should_fail/rnfail050.hs

index 6069e0f..a07a183 100644 (file)
@@ -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]
index 71ccbf9..47d903b 100644 (file)
@@ -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]
index 6123856..0d426a4 100644 (file)
@@ -6,7 +6,7 @@ module RnFail049 where
 \r
 import Data.List(inits, tails)\r
 \r
-functions :: [forall a. [a] -> [[a]]]\r
+functions :: [[a] -> [[a]]]\r
 functions = [inits, tails]\r
 \r
 output = [() | f <- functions, then group using f]\r
index b148acb..0618b93 100644 (file)
@@ -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]