blob: fb26323d54b918e39e00f86a6de3e19cbe786109 (
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
|
unit p where
signature A(A) where
data A
signature B(A) where
import A
module P where
import A
import B
type ZZ = A
unit r where
module Impl where
data A = A
unit q where
dependency p[A=<A>,B=<B>]
dependency r
signature A(A) where
import Impl(A)
signature B(A) where
import Impl(A)
module M where
import A
import B
import P
type AA = A
f :: ZZ -> AA
f x = x
|
