blob: 620378d1cf8b605f7cae718f37ee3acb4fe9aaae (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
|
unit p where
signature H where
data H = H
module A where
import H
data A = A H
unit q where
module H where
data S = S
unit r where
dependency p[H=q:H]
-- This test passes if r is definite, because we'll
-- first try to compile p. Key is to make r indefinite!
signature H2 where
module B where
import A
x = A H
|