blob: 8fed7d4113c75d6fe1a46f25be30329f2a5d9118 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
|
-- Test to make sure that we can handle all orderings of inherited signatures
unit p where
signature A where
data A
signature B where
import A
data B = B A
module M where
import A
import B
data M = M A B
unit q1 where
dependency p[A=<A>,B=<B>]
signature A where
signature B where
module Q where
import M
f (M x y) = M x y
unit q2 where
dependency p[A=<A>,B=<B>]
signature B where
signature A where
module Q where
import M
f (M x y) = M x y
unit q3 where
dependency p[A=<A>,B=<B>]
module Q where
import M
f (M x y) = M x y
unit q4 where
dependency p[A=<A>,B=<B>]
signature A where
module Q where
import M
f (M x y) = M x y
unit q5 where
dependency p[A=<A>,B=<B>]
signature B where
module Q where
import M
f (M x y) = M x y
|
