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
221
222
223
224
225
226
227
228
229
230
231
232
233
234
235
236
237
238
239
240
241
242
243
244
245
246
247
248
249
250
251
252
253
254
255
256
257
258
259
260
261
262
263
264
265
266
267
268
269
270
271
272
273
274
275
276
277
278
279
280
281
282
283
284
285
286
287
288
289
290
291
292
293
294
295
296
297
298
299
300
301
302
303
304
305
306
307
308
309
310
311
312
313
314
315
316
317
318
319
320
321
322
323
324
325
326
327
328
329
330
331
332
333
334
335
336
337
338
339
340
341
342
343
344
345
346
347
348
349
350
351
352
353
354
355
356
357
358
359
360
361
362
363
364
365
366
367
368
369
370
371
372
373
374
375
376
377
378
379
380
381
382
383
384
385
386
387
388
389
390
391
392
393
394
395
396
397
398
399
400
401
402
403
404
405
406
407
408
409
410
411
412
413
414
415
416
417
418
419
420
421
422
423
424
425
426
427
428
429
430
431
432
433
434
435
436
437
438
439
440
441
442
443
444
445
446
447
448
449
450
451
452
453
454
455
456
457
458
459
460
461
462
463
464
465
|
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 l64 =
bas
(* $Control.cm(=(proxyLib.cm):.)/Control.cm =??=> *) Control.mlb
end
basis l43 =
bas
(* $Lib.cm(=(proxyLib.cm):.)/Lib.cm =??=> *) Lib.mlb
end
basis l4 =
bas
(* $Graphs.cm(=(proxyLib.cm):.)/Graphs.cm =??=> *) Graphs.mlb
end
basis l68 =
bas
(* $MLRISC.cm(=(proxyLib.cm):.)/MLRISC.cm =??=> *) MLRISC.mlb
end
in
local
$(SML_LIB)/basis/pervasive.mlb
local
open l4
in
structure gs_0 = Graph
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
open l43
in
structure gs_31 = Annotations
end
local
open l4
in
signature gs_32 = ISOMORPHIC_GRAPH_VIEW
structure gs_33 = IsomorphicGraphView
end
local
structure Annotations = gs_31
structure Char = gs_1
structure CharArray = gs_2
structure CharVector = gs_3
structure FixedInt = gs_4
structure General = gs_5
structure Graph = gs_0
signature ISOMORPHIC_GRAPH_VIEW = gs_32
structure Int = gs_6
structure Int32 = gs_7
structure Int64 = gs_8
structure IntInf = gs_9
structure IsomorphicGraphView = gs_33
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
../visualization/graphLayout.sml
in
structure gs_34 = GraphLayout
end
local
structure GraphLayout = gs_34
../visualization/graphDisplay.sig
in
signature gs_35 = GRAPH_DISPLAY
end
local
structure Char = gs_1
structure CharArray = gs_2
structure CharVector = gs_3
structure FixedInt = gs_4
signature GRAPH_DISPLAY = gs_35
structure General = gs_5
structure Graph = gs_0
structure GraphLayout = gs_34
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
../visualization/vcg.sml
in
structure gs_36 = VCG
end
local
open l37
in
structure gs_37 = Array
end
local
open l64
in
signature gs_38 = MLRISC_CONTROL
structure gs_39 = MLRiscControl
end
local
open l68
in
structure gs_40 = Label
end
local
open l37
in
structure gs_41 = Math
end
local
open l37
in
structure gs_42 = List
end
local
open l68
in
signature gs_43 = INSTRUCTION_EMITTER
end
local
open l68
in
signature gs_44 = CONTROL_FLOW_GRAPH
end
local
open l68
in
signature gs_45 = ASM_STREAM
structure gs_46 = AsmStream
end
local
open l43
in
structure gs_47 = StringOutStream
end
local
open l68
in
signature gs_48 = INSTRUCTIONS
end
local
signature ASM_STREAM = gs_45
structure Annotations = gs_31
structure AsmStream = gs_46
structure Char = gs_1
structure CharArray = gs_2
structure CharVector = gs_3
structure FixedInt = gs_4
structure General = gs_5
signature INSTRUCTIONS = gs_48
signature INSTRUCTION_EMITTER = gs_43
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 StringOutStream = gs_47
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
../visualization/mlrisc-format-insn.sml
in
signature gs_49 = FORMAT_INSTRUCTION
functor gs_50 = FormatInstruction
end
local
structure GraphLayout = gs_34
../visualization/graphViewer.sig
in
signature gs_51 = GRAPH_VIEWER
end
local
structure Annotations = gs_31
structure Array = gs_37
signature CONTROL_FLOW_GRAPH = gs_44
structure Char = gs_1
structure CharArray = gs_2
structure CharVector = gs_3
signature FORMAT_INSTRUCTION = gs_49
structure FixedInt = gs_4
functor FormatInstruction = gs_50
signature GRAPH_VIEWER = gs_51
structure General = gs_5
structure Graph = gs_0
structure GraphLayout = gs_34
signature INSTRUCTION_EMITTER = gs_43
structure Int = gs_6
structure Int32 = gs_7
structure Int64 = gs_8
structure IntInf = gs_9
structure Label = gs_40
structure LargeInt = gs_10
structure LargeReal = gs_11
structure LargeWord = gs_12
structure List = gs_42
signature MLRISC_CONTROL = gs_38
structure MLRiscControl = gs_39
structure Math = gs_41
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
../visualization/cfgViewer.sml
in
functor gs_52 = CFGViewer
end
local
structure Char = gs_1
structure CharArray = gs_2
structure CharVector = gs_3
structure FixedInt = gs_4
signature GRAPH_DISPLAY = gs_35
structure General = gs_5
structure Graph = gs_0
structure GraphLayout = gs_34
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
../visualization/dot.sml
in
structure gs_53 = Dot
end
local
structure Char = gs_1
structure CharArray = gs_2
structure CharVector = gs_3
structure FixedInt = gs_4
signature GRAPH_DISPLAY = gs_35
structure General = gs_5
structure Graph = gs_0
structure GraphLayout = gs_34
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_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
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
../visualization/daVinci.sml
in
structure gs_54 = daVinci
end
local
structure Dot = gs_53
signature GRAPH_DISPLAY = gs_35
signature MLRISC_CONTROL = gs_38
structure MLRiscControl = gs_39
structure VCG = gs_36
structure daVinci = gs_54
../visualization/allDisplays.sml
in
structure gs_55 = AllDisplays
end
local
open l37
in
structure gs_56 = TextIO
end
local
structure Char = gs_1
structure CharArray = gs_2
structure CharVector = gs_3
structure FixedInt = gs_4
signature GRAPH_DISPLAY = gs_35
signature GRAPH_VIEWER = gs_51
structure General = gs_5
structure Graph = gs_0
structure GraphLayout = gs_34
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
signature MLRISC_CONTROL = gs_38
structure MLRiscControl = gs_39
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 TextIO = gs_56
structure Time = gs_26
structure Word = gs_27
structure Word32 = gs_28
structure Word64 = gs_29
structure Word8 = gs_30
../visualization/graphViewer.sml
in
functor gs_57 = GraphViewer
end
in
structure AllDisplays = gs_55
functor CFGViewer = gs_52
structure Dot = gs_53
functor FormatInstruction = gs_50
signature GRAPH_DISPLAY = gs_35
signature GRAPH_VIEWER = gs_51
structure GraphLayout = gs_34
functor GraphViewer = gs_57
structure VCG = gs_36
structure daVinci = gs_54
end
end
end
|
