Commit 46394aeb authored by simonpj's avatar simonpj
Browse files

Impredicative breakage

parent a8ad5396
......@@ -222,7 +222,7 @@ test('tc207', normal, compile, [''])
test('tc208', normal, compile, [''])
test('tc209', normal, compile, [''])
test('tc210', normal, compile, [''])
test('tc211', if_compiler_lt('ghc', '6.11', expect_fail), compile, [''])
test('tc211', if_compiler_lt('ghc', '6.11', expect_fail), compile_fail, [''])
test('tc212', normal, compile, [''])
test('tc213', normal, compile, [''])
test('tc214', if_compiler_lt('ghc', '6.11', expect_fail), compile, [''])
......
tc211.hs:15:22:
Couldn't match expected type `a -> a'
with actual type `forall a1. a1 -> a1'
Expected type: [a -> a]
Actual type: [forall a1. a1 -> a1]
In the first argument of `head', namely `foo'
In the first argument of `(:) ::
(forall a. a -> a)
-> [forall a. a -> a] -> [forall a. a -> a]', namely
`(head foo)'
tc211.hs:70:9:
Couldn't match expected type `a -> a'
with actual type `forall a1. a1 -> a1'
Expected type: List (forall a1. a1 -> a1)
-> (forall a1. a1 -> a1)
-> a
-> a
Actual type: List (forall a1. a1 -> a1)
-> (forall a1. a1 -> a1)
-> forall a1. a1 -> a1
In the expression:
foo2 ::
List (forall a. a -> a) -> (forall a. a -> a) -> (forall a. a -> a)
In the expression:
(foo2 ::
List (forall a. a -> a)
-> (forall a. a -> a) -> (forall a. a -> a))
xs1 (\ x -> x)
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