blob: e72d7bc43c27cd6a6e563f539971919c00987b8c (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
|
Shape for p-impls
provides: P -> p-impls():P
hello
Q -> p-impls():Q
p-impls():P.hello, world
requires:
==== Package p-impls ====
[1 of 2] Compiling P ( p-impls/P.hs, nothing )
[2 of 2] Compiling Q ( p-impls/Q.hs, nothing )
Shape for q
provides: P -> p-impls():P
hello
Q -> p-impls():Q
p-impls():P.hello, world
Main -> q():Main
main
requires:
==== Package q ====
[1 of 2] Including p-impls
[2 of 2] Compiling Main ( q/Main.hs, nothing )
|
