blob: e496ed76fac202683b044a2094916290cc472bf2 (
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 bar where
signature A(bar) where
data A = A { foo :: Int, bar :: Bool }
unit foo where
signature A(foo) where
data A = A { foo :: Int, bar :: Bool }
unit impl where
module A1 where
data A = A { foo :: Int, bar :: Bool }
module A2 where
data A = A { foo :: Int, bar :: Bool }
module A(foo, bar) where
import A1(foo)
import A2(bar)
-- Kind of boring test now haha
unit barimpl where
dependency bar[A=impl:A]
unit fooimpl where
dependency foo[A=impl:A]
unit foobarimpl where
dependency foo[A=impl:A]
dependency bar[A=impl:A]
|
