diff options
Diffstat (limited to 'testsuite/tests/typecheck/should_fail/tcfail027.hs')
-rw-r--r-- | testsuite/tests/typecheck/should_fail/tcfail027.hs | 8 |
1 files changed, 8 insertions, 0 deletions
diff --git a/testsuite/tests/typecheck/should_fail/tcfail027.hs b/testsuite/tests/typecheck/should_fail/tcfail027.hs new file mode 100644 index 0000000000..e01f6961bd --- /dev/null +++ b/testsuite/tests/typecheck/should_fail/tcfail027.hs @@ -0,0 +1,8 @@ +-- !!! tests for CycleErr in classes +module TcFail where + +class (B a) => A a where + op1 :: a -> a + +class (A a) => B a where + op2 :: a -> a -> a |