Commit 1a3e19d0 authored by eir@cis.upenn.edu's avatar eir@cis.upenn.edu
Browse files

Test #9415 (typecheck/should_fail/T9415)

parent 1b138869
module T9415 where
class D a => C a where
meth :: D a => ()
class C a => D a
T9415.hs:3:1:
Cycle in class declaration (via superclasses): C -> D -> C
In the class declaration for ‘C’
T9415.hs:5:1:
Cycle in class declaration (via superclasses): D -> C -> D
In the class declaration for ‘D’
......@@ -333,3 +333,4 @@ test('T8883', normal, compile_fail, [''])
test('T9196', normal, compile_fail, [''])
test('T9305', normal, compile_fail, [''])
test('T9323', normal, compile_fail, [''])
test('T9415', normal, compile_fail, [''])
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