rts: Rename the nondescript initProfiling2 to refreshProfilingCCSs
[ghc.git] / testsuite / tests / indexed-types / should_compile / UnusedTyVarWarnings.hs
1 {-# LANGUAGE TypeFamilies, PolyKinds #-}
2
3 -- See #10982
4
5 module UnusedTyVarWarnings where
6
7 type family C a b where
8 C a b = a -- should warn
9
10 type family C2 a b
11 type instance C2 a b = a -- should warn
12
13 type family D a b where
14 D a _b = a -- should not warn
15
16 type family D2 a b
17 type instance D2 a _b = a -- should not warn
18
19 type family E a b where
20 E a _ = a -- should not warn
21
22 type family E2 a b
23 type instance E2 a _ = a -- should not warn
24
25 type family X a b where
26 X a a = Int -- a is considered used, do not warn
27 X a Int = Bool -- here a is unused
28
29 type family Y a b c where
30 Y a b b = a -- b is used, do no warn
31
32 data family I a b c
33 data instance I a b c = IDC1 a | IDC2 c -- should warn
34
35 data family J a b
36 data instance J a _b = JDC a -- should not warn
37
38 data family K a b
39 data instance K a _ = KDC a -- should not warn