blob: d63cb25bf5c0367048e943462e53d0f1c59e2f9a (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
|
-- Q by a different name, differently
unit p where
signature Q where
f :: Int
signature Q2 where
module P where
unit q where
module QMe where
f = True
module Q where
g = 23
module Q2 where
unit r where
dependency p[Q=q:QMe, Q2=q:Q2]
dependency q
signature H where
module R where
import P
|