Commit 95fc6d59 authored by Simon Peyton Jones's avatar Simon Peyton Jones

Get rid of irrelevant impredicative polymoprhism

These tests aren't about impredicativity
parent 2f16a3b8
-- 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]
......
......@@ -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]
......
......@@ -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]
......
......@@ -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]
......
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment