blob: 1217aa0456d930848f13377c12c27d0cf05d9907 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
|
unit p where
signature H where
type T = Int
module M where
import H
f :: T
f = 2
unit q where
signature H2 where
type S = Bool
module N where
import H2
type T = Int
unit badimpl where
module H2 where
type S = ()
unit check where
dependency p[H=q[H2=badimpl:H2]:N]
-- signature H3 where
module C where
import M
|
