blob: d48d0359d2a58aa494bfe1f3cbe7c3f018c07f32 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
|
{-# LANGUAGE TypeFamilies #-}
unit p where
signature A where
type family K a where ..
unit q where
signature A where
type family K a where
K a = Int
unit r where
dependency p[A=<A>]
dependency q[A=<A>]
unit i where
module A where
type family K a where
K a = Int
unit m where
dependency r[A=i:A]
dependency p[A=i:A]
dependency q[A=i:A]
|
