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
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
|
[ 1 of 11] Processing prelude-sig
[1 of 1] Compiling Prel[sig] ( prelude-sig/Prel.hsig, nothing )
[ 2 of 11] Processing arrays-sig
[1 of 3] Compiling Prel[sig] ( arrays-sig/Prel.hsig, nothing )
[2 of 3] Compiling Array[sig] ( arrays-sig/Array.hsig, nothing )
[3 of 3] Instantiating prelude-sig
[ 3 of 11] Processing structures
[1 of 6] Compiling Prel[sig] ( structures/Prel.hsig, nothing )
[2 of 6] Compiling Array[sig] ( structures/Array.hsig, nothing )
[3 of 6] Compiling Graph ( structures/Graph.hs, nothing )
[4 of 6] Compiling Tree ( structures/Tree.hs, nothing )
[5 of 6] Compiling Set ( structures/Set.hs, nothing )
[6 of 6] Instantiating arrays-sig
[ 4 of 11] Processing arrays-a
[1 of 3] Compiling Prel[sig] ( arrays-a/Prel.hsig, nothing )
[2 of 3] Compiling Array ( arrays-a/Array.hs, nothing )
[3 of 3] Instantiating prelude-sig
[ 5 of 11] Processing arrays-b
[1 of 3] Compiling Prel[sig] ( arrays-b/Prel.hsig, nothing )
[2 of 3] Compiling Array ( arrays-b/Array.hs, nothing )
[3 of 3] Instantiating prelude-sig
[ 6 of 11] Processing graph-a
[1 of 3] Compiling Prel[sig] ( graph-a/Prel.hsig, nothing )
[2 of 3] Instantiating arrays-a
[3 of 3] Instantiating structures
[ 7 of 11] Processing graph-b
[1 of 3] Compiling Prel[sig] ( graph-b/Prel.hsig, nothing )
[2 of 3] Instantiating arrays-b
[3 of 3] Instantiating structures
[ 8 of 11] Processing multiinst
[1 of 6] Compiling Prel[sig] ( multiinst/Prel.hsig, nothing )
[2 of 6] Instantiating arrays-a
[3 of 6] Instantiating arrays-b
[4 of 6] Instantiating structures
[5 of 6] Instantiating structures
[6 of 6] Compiling Client ( multiinst/Client.hs, nothing )
[ 9 of 11] Processing applic-left
[1 of 4] Compiling Prel[sig] ( applic-left/Prel.hsig, nothing )
[2 of 4] Instantiating arrays-a
[3 of 4] Instantiating structures
[4 of 4] Compiling Left ( applic-left/Left.hs, nothing )
[10 of 11] Processing applic-right
[1 of 4] Compiling Prel[sig] ( applic-right/Prel.hsig, nothing )
[2 of 4] Instantiating arrays-a
[3 of 4] Instantiating structures
[4 of 4] Compiling Right ( applic-right/Right.hs, nothing )
[11 of 11] Processing applic-bot
[1 of 4] Compiling Prel[sig] ( applic-bot/Prel.hsig, nothing )
[2 of 4] Instantiating applic-left
[3 of 4] Instantiating applic-right
[4 of 4] Compiling Bot ( applic-bot/Bot.hs, nothing )
|
