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
52
53
54
55
56
57
58
59
60
61
62
|
ann
"nonexhaustiveBind warn" "nonexhaustiveMatch warn"
"redundantBind warn" "redundantMatch warn"
"sequenceNonUnit ignore"
"warnUnused false" "forceUsed"
"allowOrPats true" "allowSigWithtype true" "allowVectorExpsAndPats true"
in
local
basis l8 =
bas
(* $MLRISC.cm(=(proxyLib.cm):.)/MLRISC.cm =??=> *) MLRISC.mlb
end
basis l4 =
bas
(* $Peephole.cm(=(proxyLib.cm):.)/Peephole.cm =??=> *) Peephole.mlb
end
basis l16 =
bas
(* $IA32.cm(=(proxyLib.cm):.)/IA32.cm =??=> *) IA32.mlb
end
in
local
$(SML_LIB)/basis/pervasive.mlb
local
open l4
in
signature gs_0 = PEEPHOLE
end
local
open l8
in
structure gs_1 = CellsBasis
end
local
open l8
in
signature gs_2 = MLTREE_EVAL
end
local
open l16
in
signature gs_3 = X86INSTR
functor gs_4 = X86Instr
end
local
structure CellsBasis = gs_1
signature MLTREE_EVAL = gs_2
signature PEEPHOLE = gs_0
signature X86INSTR = gs_3
functor X86Instr = gs_4
../x86/instructions/x86Peephole.sml
in
functor gs_5 = X86Peephole
end
in
functor X86Peephole = gs_5
end
end
end
|
