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
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
147
148
149
150
151
152
153
154
155
156
157
158
159
160
161
162
163
164
165
166
167
168
169
170
171
172
173
174
175
176
177
178
179
180
181
182
183
184
185
186
187
188
189
190
191
192
193
194
195
196
197
198
199
200
201
202
203
204
205
206
207
208
209
210
211
212
213
214
215
216
217
218
219
220
|
ann
"nonexhaustiveBind warn" "nonexhaustiveMatch warn"
"redundantBind warn" "redundantMatch warn"
"sequenceNonUnit ignore"
"warnUnused false" "forceUsed"
"allowOrPats true" "allowSigWithtype true" "allowVectorExpsAndPats true"
in
local
basis l37 =
bas
(* $/basis.cm ====> *) $(SML_LIB)/basis/basis.mlb $(SML_LIB)/basis/sml-nj.mlb $(SML_LIB)/basis/unsafe.mlb
end
basis l58 =
bas
(* $MLRISC.cm(=(proxyLib.cm):.)/MLRISC.cm =??=> *) MLRISC.mlb
end
basis l48 =
bas
(* $StagedAlloc.cm(=(proxyLib.cm):.)/StagedAlloc.cm =??=> *) StagedAlloc.mlb
end
basis l4 =
bas
(* $CCall.cm(=(proxyLib.cm):.)/CCall.cm =??=> *) CCall.mlb
end
basis l63 =
bas
(* $IA32.cm(=(proxyLib.cm):.)/IA32.cm =??=> *) IA32.mlb
end
in
local
$(SML_LIB)/basis/pervasive.mlb
local
open l4
in
structure gs_0 = CType
end
local
open l37
in
structure gs_1 = Char
structure gs_2 = CharArray
structure gs_3 = CharVector
structure gs_4 = FixedInt
structure gs_5 = General
structure gs_6 = Int
structure gs_7 = Int32
structure gs_8 = Int64
structure gs_9 = IntInf
structure gs_10 = LargeInt
structure gs_11 = LargeReal
structure gs_12 = LargeWord
structure gs_13 = OS
structure gs_14 = Position
structure gs_15 = Real
structure gs_16 = Real64
structure gs_17 = RealArray
structure gs_18 = RealArraySlice
structure gs_19 = RealVector
structure gs_20 = RealVectorSlice
structure gs_21 = SMLofNJ
structure gs_22 = Socket
structure gs_23 = String
structure gs_24 = Substring
structure gs_25 = SysWord
structure gs_26 = Time
structure gs_27 = Word
structure gs_28 = Word32
structure gs_29 = Word64
structure gs_30 = Word8
end
local
structure CType = gs_0
structure Char = gs_1
structure CharArray = gs_2
structure CharVector = gs_3
structure FixedInt = gs_4
structure General = gs_5
structure Int = gs_6
structure Int32 = gs_7
structure Int64 = gs_8
structure IntInf = gs_9
structure LargeInt = gs_10
structure LargeReal = gs_11
structure LargeWord = gs_12
structure OS = gs_13
structure Position = gs_14
structure Real = gs_15
structure Real64 = gs_16
structure RealArray = gs_17
structure RealArraySlice = gs_18
structure RealVector = gs_19
structure RealVectorSlice = gs_20
structure SMLofNJ = gs_21
structure Socket = gs_22
structure String = gs_23
structure Substring = gs_24
structure SysWord = gs_25
structure Time = gs_26
structure Word = gs_27
structure Word32 = gs_28
structure Word64 = gs_29
structure Word8 = gs_30
../c-call/archs/x86-c-sizes.sml
in
structure gs_31 = X86CSizes
end
local
open l4
in
signature gs_32 = C_CALL
end
local
open l48
in
functor gs_33 = X86CConventionFn
end
local
open l4
in
functor gs_34 = CCallGenFn
end
local
open l48
in
functor gs_35 = StagedAllocationFn
end
local
open l58
in
structure gs_36 = CellsBasis
end
local
open l63
in
signature gs_37 = X86CELLS
structure gs_38 = X86Cells
end
local
open l58
in
structure gs_39 = MLRiscAnnotations
end
local
open l37
in
structure gs_40 = List
end
local
open l48
in
structure gs_41 = CLocKind
end
local
open l58
in
signature gs_42 = MLTREE
end
local
open l63
in
structure gs_43 = X86InstrExt
end
local
functor CCallGenFn = gs_34
structure CLocKind = gs_41
structure CType = gs_0
signature C_CALL = gs_32
structure CellsBasis = gs_36
structure Char = gs_1
structure CharArray = gs_2
structure CharVector = gs_3
structure FixedInt = gs_4
structure General = gs_5
structure Int = gs_6
structure Int32 = gs_7
structure Int64 = gs_8
structure IntInf = gs_9
structure LargeInt = gs_10
structure LargeReal = gs_11
structure LargeWord = gs_12
structure List = gs_40
structure MLRiscAnnotations = gs_39
signature MLTREE = gs_42
structure OS = gs_13
structure Position = gs_14
structure Real = gs_15
structure Real64 = gs_16
structure RealArray = gs_17
structure RealArraySlice = gs_18
structure RealVector = gs_19
structure RealVectorSlice = gs_20
structure SMLofNJ = gs_21
structure Socket = gs_22
functor StagedAllocationFn = gs_35
structure String = gs_23
structure Substring = gs_24
structure SysWord = gs_25
structure Time = gs_26
structure Word = gs_27
structure Word32 = gs_28
structure Word64 = gs_29
structure Word8 = gs_30
functor X86CConventionFn = gs_33
signature X86CELLS = gs_37
structure X86CSizes = gs_31
structure X86Cells = gs_38
structure X86InstrExt = gs_43
../c-call/archs/x86-svid-fn.sml
in
functor gs_44 = X86SVIDFn
end
in
structure X86CSizes = gs_31
functor X86SVIDFn = gs_44
end
end
end
|
