Commit b2d6de1c authored by Simon Peyton Jones's avatar Simon Peyton Jones
Browse files

Add test for Trac #919

parent af167518
......@@ -151,3 +151,5 @@ test('tcfail162', normal, compile_fail, [''])
test('tcfail163', normal, compile_fail, [''])
test('tcfail164', normal, compile_fail, [''])
test('tcfail165', normal, compile_fail, [''])
test('tcfail166', normal, compile_fail, [''])
-- Without -fscoped-type-variables, this should fail
module ShouldFail where
destroy :: (forall a. (a -> Maybe (b,a)) -> a -> c) -> [b] -> c
destroy = error "urk"
tcfail166.hs:5:20:
Illegal operator `.' in type `forall a . ((a -> Maybe (b, a))
-> a -> c)'
(Use -fscoped-type-variables to allow operators in types)
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