Use transSuperClasses in TcErrors
[ghc.git] / testsuite / tests / typecheck / should_fail / T16414.hs
1 {-# LANGUAGE FlexibleContexts, FlexibleInstances, AllowAmbiguousTypes #-}
2 {-# LANGUAGE UndecidableSuperClasses #-}
3 module T16414 where
4
5 data I = I
6
7 class All2 x => All x
8 class All x => All2 x
9
10 class AllZip2 f
11 instance AllZip2 f
12
13 f1 :: (All x, AllZip2 I) => x -> ()
14 f1 = f2
15
16 f2 :: AllZip2 f => x -> ()
17 f2 _ = ()