The Backpack patch.
[ghc.git] / testsuite / tests / backpack / should_compile / bkp02.stdout
1 Shape for p
2 provides: A -> p(H -> hole:H):A
3                A{A, MkA}
4 requires: H -> hole:H
5                T{T}
6 ==== Package p ====
7 [1 of 2] Compiling H[abstract sig]  ( p/H.hsig, nothing )
8 [2 of 2] Compiling A                ( p/A.hs, nothing )
9 Shape for q
10 provides: H -> q():H
11                T{T, T}
12 requires:
13 ==== Package q ====
14 [1 of 1] Compiling H                ( q/H.hs, nothing )
15 Shape for r
16 provides: H -> q():H
17                T{T, T}
18           A -> p(H -> q():H):A
19                A{A, MkA}
20           R -> r():R
21                x
22 requires:
23 ==== Package r ====
24 [1 of 3] Including q
25 [2 of 3] Including p
26 [3 of 3] Compiling R                ( r/R.hs, nothing )