Improve error messages around kind mismatches.
[ghc.git] / testsuite / tests / typecheck / should_fail / T12083a.hs
1 {-# LANGUAGE TypeFamilies #-}
2 {-# LANGUAGE UnicodeSyntax #-}
3 module T12803a where
4
5 type Constrd a = Num a ⇒ a
6
7 data ADT a = ADT (Constrd a) ExistentiallyLost
8
9 data ExistentiallyLost = ∀ u. TC u ⇒ ExistentiallyLost u
10
11 class u ~ (ATF1 u, ATF2 u) ⇒ TC u where
12 type ATF1 u ∷ *
13 type ATF2 u ∷ *
14 uie_handlers ∷ ADT Int
15
16 -- Loop:
17 -- - ADT depends on ExistentiallyLost (also the Constrd appendage)
18 -- - ExistentiallyLost depends on TC
19 -- - TC depends on ADT