blob: 0224b110ce50b535a7407fe276662dbce4b0993b (
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
|
unit p where
signature T where
data T
signature H where
import T
f :: T -> T
unit timpl where
module TImpl where
data T = T
unit q where
dependency timpl
dependency p[H=<H>,T=<T>]
signature T(T) where
import TImpl
module A where
import H
import TImpl
x = f T
unit r-impl where
dependency timpl
module H where
import TImpl
f T = T
module T(T) where
import TImpl
unit r where
dependency q[H=r-impl:H,T=r-impl:T]
|
