Bump `base` version to 4.9.0.0 (closes #11026)
[ghc.git] / testsuite / tests / typecheck / should_fail / tcfail106.hs
1 -- This one risked building a recursive dictionary rather than
2 -- failing, in GHC before 5.03. Actually, 5.02 managed it ok,
3 -- but I think more by luck than good judgement.
4
5 module ShouldFail where
6
7 class S a
8 class S a => C a where { opc :: a -> a }
9 class S b => D b where { opd :: b -> b }
10
11 instance C Int where
12 opc = opd
13
14 instance D Int where
15 opd = opc