Commit 2f9ee361 authored by Simon Peyton Jones's avatar Simon Peyton Jones
Browse files

T5481 should jolly well fail

parent 670796ec
T5481.hs:6:5:
The RHS of an associated type declaration mentions type variable `b'
All such variables must be bound on the LHS
T5481.hs:8:5:
The RHS of an associated type declaration mentions type variable `a'
All such variables must be bound on the LHS
......@@ -358,6 +358,6 @@ test('T5051', normal, compile, [''])
test('T3018', normal, compile, [''])
test('T5032', normal, compile, [''])
test('T2357', normal, compile, [''])
test('T5481', normal, compile, [''])
test('T5481', normal, compile_fail, [''])
test('T3743', normal, compile, [''])
test('T5490', normal, compile, [''])
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