File: files.sml

package info (click to toggle)
smlsharp 4.1.0-1.1
  • links: PTS, VCS
  • area: main
  • in suites: forky, sid
  • size: 123,724 kB
  • sloc: ansic: 16,725; sh: 4,347; makefile: 2,191; java: 742; haskell: 493; ruby: 305; cpp: 284; pascal: 256; ml: 255; lisp: 141; asm: 97; sql: 74
file content (393 lines) | stat: -rw-r--r-- 23,832 bytes parent folder | download | duplicates (3)
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
val files = Vector.fromList [
  "../../../src/basis/main/General.sml",
  "../../../src/basis/main/StringCvt.sml",
  "../../../src/basis/main/List.sml",
  "../../../src/basis/main/SMLSharp_ScanChar.sml",
  "../../../src/basis/main/Char.sml",
  "../../../src/basis/main/CharVector.sml",
  "../../../src/basis/main/Substring.sml",
  "../../../src/basis/main/String.sml",
  "../../../src/basis/main/IntInf.sml",
  "../../../src/basis/main/Int32.sml",
  "../../../src/basis/main/SMLSharp_Runtime.sml",
  "../../../src/basis/main/IEEEReal.sml",
  "../../../src/basis/main/SMLSharp_RealClass.sml",
  "../../../src/basis/main/Real64.sml",
  "../../../src/basis/main/Time.sml",
  "../../../src/basis/main/Int8.sml",
  "../../../src/basis/main/Int16.sml",
  "../../../src/basis/main/Word8VectorSlice.sml",
  "../../../src/basis/main/Word8ArraySlice.sml",
  "../../../src/basis/main/Array.sml",
  "../../../src/basis/main/VectorSlice.sml",
  "../../../src/basis/main/ArraySlice.sml",
  "../../../src/basis/main/Word8Vector.sml",
  "../../../src/basis/main/IO.sml",
  "../../../src/basis/main/Word8Array.sml",
  "../../../src/basis/main/SMLSharp_OSIO.sml",
  "../../../src/basis/main/Bool.sml",
  "../../../src/smlnj/Basis/OS/os-path-fn.sml",
  "../../../src/smlnj/Basis/Unix/os-path.sml",
  "../../../src/basis/main/SMLSharp_OSFileSys.sml",
  "../../../src/basis/main/Word32.sml",
  "../../../src/basis/main/SMLSharp_OSProcess.sml",
  "../../../src/basis/main/OS.sml",
  "../../../src/basis/main/Option.sml",
  "../../../src/basis/main/Word8.sml",
  "../../../src/smlnj/Basis/IO/prim-io-bin.sml",
  "../../../src/basis/main/CharVectorSlice.sml",
  "../../../src/basis/main/CharArray.sml",
  "../../../src/basis/main/CharArraySlice.sml",
  "../../../src/basis/main/Byte.sml",
  "../../../src/smlnj/Basis/IO/prim-io-text.sml",
  "../../../src/smlnj/Basis/Posix/posix-io.sml",
  "../../../src/smlnj/Basis/Unix/posix-bin-prim-io.sml",
  "../../../src/smlnj/Basis/IO/bin-io.sml",
  "../../../src/basis/main/CommandLine.sml",
  "../../../src/basis/main/Vector.sml",
  "../../../src/smlnj/Basis/date.sml",
  "../../../src/basis/main/ListPair.sml",
  "../../../src/basis/main/Real32.sml",
  "../../../src/basis/main/Int64.sml",
  "../../../src/smlnj/Basis/Unix/posix-text-prim-io.sml",
  "../../../src/smlnj/Basis/IO/text-io.sml",
  "../../../src/basis/main/Text.sml",
  "../../../src/basis/main/Timer.sml",
  "../../../src/basis/main/Word16.sml",
  "../../../src/basis/main/Word64.sml",
  "../../../src/basis/main/toplevel.sml",
  "../../../src/ml-lex/lexgen.sml",
  "../../../src/ml-lex/export-lex.sml",
  "../../../src/ml-lex/ml-lex.sml",
  "../../../src/ml-yacc/lib/lrtable.sml",
  "../../../src/ml-yacc/lib/stream.sml",
  "../../../src/ml-yacc/lib/parser2.sml",
  "../../../src/ml-yacc/src/absyn.sml",
  "../../../src/ml-yacc/src/utils.sml",
  "../../../src/ml-yacc/src/grammar.sml",
  "../../../src/ml-yacc/src/hdr.sml",
  "../../../src/ml-yacc/src/core.sml",
  "../../../src/ml-yacc/src/coreutils.sml",
  "../../../src/ml-yacc/src/graph.sml",
  "../../../src/ml-yacc/src/look.sml",
  "../../../src/ml-yacc/src/lalr.sml",
  "../../../src/ml-yacc/src/mklrtable.sml",
  "../../../src/ml-yacc/src/shrink.sml",
  "../../../src/ml-yacc/src/mkprstruct.sml",
  "../../../src/ml-yacc/src/yacc.grm.sml",
  "../../../src/ml-yacc/src/yacc.lex.sml",
  "../../../src/ml-yacc/src/parse.sml",
  "../../../src/ml-yacc/src/verbose.sml",
  "../../../src/ml-yacc/src/yacc.sml",
  "../../../src/ml-yacc/src/export-yacc.sml",
  "../../../src/ml-yacc/src/ml-yacc.sml",
  "../../../src/smlnj-lib/Util/parser-comb.sml",
  "../../../src/smlformat/formatlib/main/FormatExpressionTypes.sml",
  "../../../src/smlformat/formatlib/main/FormatExpression.sml",
  "../../../src/smlformat/formatlib/main/PrinterParameter.sml",
  "../../../src/smlformat/formatlib/main/AssocResolver.sml",
  "../../../src/smlformat/formatlib/main/PreProcessedExpression.sml",
  "../../../src/smlformat/formatlib/main/PrettyPrinter.sml",
  "../../../src/smlformat/formatlib/main/Truncator.sml",
  "../../../src/smlformat/formatlib/main/PreProcessor.sml",
  "../../../src/smlformat/formatlib/main/BasicFormatters.sml",
  "../../../src/smlformat/formatlib/main/PrettyPrinter2.sml",
  "../../../src/smlformat/formatlib/main/SMLFormat.sml",
  "../../../src/smlunit/src/main/Assert.sml",
  "../../../src/smlunit/src/main/Test.sml",
  "../../../src/smlunit/src/main/TextUITestRunner.sml",
  "../../../src/smlunit/src/main/SMLUnit.sml",
  "../../../src/smlformat/generator/main/Utility.sml",
  "../../../src/smlformat/generator/main/ErrorQueue.sml",
  "../../../src/smlformat/generator/main/FormatTemplate.sml",
  "../../../src/smlformat/generator/main/Ast.sml",
  "../../../src/smlformat/generator/main/Constants_MLton.sml",
  "../../../src/smlnj-lib/Util/lib-base.sml",
  "../../../src/smlnj-lib/Util/binary-map-fn.sml",
  "../../../src/compiler/libs/env/main/SOrd.sml",
  "../../../src/compiler/libs/env/main/SEnv.sml",
  "../../../src/smlnj-lib/Util/binary-set-fn.sml",
  "../../../src/compiler/libs/env/main/SSet.sml",
  "../../../src/compiler/libs/toolchain/main/Filename.sml",
  "../../../src/compiler/data/symbols/main/Loc.sml",
  "../../../src/compiler/extensions/debug/main/Bug.sml",
  "../../../src/compiler/data/control/main/Control.sml",
  "../../../src/compiler/data/symbols/main/Symbol.sml",
  "../../../src/compiler/data/symbols/main/RecordLabel.sml",
  "../../../src/compiler/compilerIRs/absyn/main/RequirePath.sml",
  "../../../src/compiler/compilerIRs/absyn/main/AbsynTy.sml",
  "../../../src/compiler/compilerIRs/absyn/main/AbsynConst.sml",
  "../../../src/compiler/compilerIRs/absyn/main/AbsynSQL.sml",
  "../../../src/compiler/compilerIRs/absyn/main/Absyn.sml",
  "../../../src/compiler/compilePhases/parser/main/iml.grm.sml",
  "../../../src/compiler/compilePhases/parser/main/iml.lex.sml",
  "../../../src/compiler/compilePhases/parser/main/SMLSharpParser.sml",
  "../../../src/smlformat/generator/main/FormatComment.grm.sml",
  "../../../src/smlformat/generator/main/FormatComment.lex.sml",
  "../../../src/smlformat/generator/main/MLParser.sml",
  "../../../src/smlformat/generator/main/FormatterGenerator.sml",
  "../../../src/smlformat/generator/main/BasicFormattersEnv.sml",
  "../../../src/smlformat/generator/main/PPGMain.sml",
  "../../../src/smlformat/generator/main/Main.sml",
  "../../../src/smlformat/generator/main/call-main.sml",
  "../../../src/config/main/SQLConfig.sml",
  "../../../src/compiler/libs/config/main/Config.sml",
  "../../../src/compiler/libs/env/main/IOrd.sml",
  "../../../src/compiler/libs/env/main/IEnv.sml",
  "../../../src/compiler/libs/util/main/Counter.sml",
  "../../../src/compiler/extensions/usererror/main/UserError.ppg.sml",
  "../../../src/compiler/libs/env/main/ISet.sml",
  "../../../src/compiler/libs/ids/main/GenIDFun.sml",
  "../../../src/compiler/libs/ids/main/LocalID.sml",
  "../../../src/compiler/libs/list-utils/main/ListSorter.sml",
  "../../../src/compiler/extensions/format-utils/main/SmlppgUtil.ppg.sml",
  "../../../src/compiler/libs/util/main/TermFormat.sml",
  "../../../src/compiler/data/builtin/main/BuiltinPrimitive.ppg.sml",
  "../../../src/compiler/data/runtimetypes/main/FFIAttributes.ppg.sml",
  "../../../src/compiler/data/runtimetypes/main/RuntimeTypes.ppg.sml",
  "../../../src/compiler/compilerIRs/absyn/main/ConstFormat.sml",
  "../../../src/compiler/compilerIRs/absyn/main/AbsynConstFormatter.sml",
  "../../../src/compiler/libs/digest/main/SHA3.sml",
  "../../../src/compiler/compilerIRs/absyn/main/InterfaceName.ppg.sml",
  "../../../src/compiler/compilerIRs/absyn/main/AbsynTyFormatter.sml",
  "../../../src/compiler/compilerIRs/patterncalc/main/PatternCalc.ppg.sml",
  "../../../src/compiler/data/types/main/TvarMap.sml",
  "../../../src/compiler/data/types/main/DummyTyID.sml",
  "../../../src/compiler/data/types/main/ExistTyID.sml",
  "../../../src/compiler/data/types/main/DynamicKind.ppg.sml",
  "../../../src/compiler/data/types/main/Types.ppg.sml",
  "../../../src/compiler/compilerIRs/idcalc/main/IDCalc.ppg.sml",
  "../../../src/compiler/extensions/usererror/main/UserErrorUtils.sml",
  "../../../src/compiler/compilerIRs/absyn/main/AbsynSQLFormatter.sml",
  "../../../src/compiler/compilerIRs/absyn/main/AbsynFormatter.sml",
  "../../../src/compiler/compilePhases/nameevaluation/main/NameEvalError.ppg.sml",
  "../../../src/compiler/compilePhases/nameevaluation/main/NameEvalEnv.ppg.sml",
  "../../../src/compiler/data/types/main/VarInfoEnv.sml",
  "../../../src/compiler/data/types/main/TypesBasics.sml",
  "../../../src/compiler/data/types/main/TypesUtils.sml",
  "../../../src/compiler/data/types/main/CheckEq.sml",
  "../../../src/compiler/data/types/main/TyPrinters.sml",
  "../../../src/compiler/data/runtimetypes/main/TypeLayout2.sml",
  "../../../src/compiler/compilePhases/bitmapcompilation/main/RecordLayoutCalc.ppg.sml",
  "../../../src/compiler/compilePhases/bitmapcompilation/main/RecordLayout.sml",
  "../../../src/compiler/data/types/main/DynamicKindUtils.sml",
  "../../../src/compiler/data/types/main/Unify.sml",
  "../../../src/compiler/data/types/main/VarMap.sml",
  "../../../src/compiler/data/types/main/OPrimMap.sml",
  "../../../src/compiler/compilerIRs/idcalc/main/EvalIty.sml",
  "../../../src/compiler/extensions/userlevelprimitive/main/UserLevelPrimitiveError.ppg.sml",
  "../../../src/compiler/extensions/userlevelprimitive/main/UserLevelPrimitive.sml",
  "../../../src/compiler/libs/toolchain/main/CoreUtils.sml",
  "../../../src/compiler/libs/toolchain/main/TempFile.sml",
  "../../../src/compiler/libs/toolchain/main/ShellUtils.sml",
  "../../../src/compiler/libs/toolchain/main/BinUtils.sml",
  "../../../src/compiler/libs/toolchain/main/LLVMUtils.sml",
  "../../../src/compiler/compilePhases/parser/main/ParserError.ppg.sml",
  "../../../src/compiler/compilePhases/parser/main/Parser.sml",
  "../../../src/compiler/data/runtimetypes/main/DatatypeLayout.sml",
  "../../../src/compiler/data/builtin/main/BuiltinTypes.sml",
  "../../../src/compiler/compilePhases/nameevaluation/main/TfunVars.sml",
  "../../../src/compiler/compilerIRs/idcalc/main/IDCalcUtils.sml",
  "../../../src/compiler/compilePhases/nameevaluation/main/NormalizeTy.sml",
  "../../../src/compiler/compilerIRs/absyn/main/AbsynInterface.ppg.sml",
  "../../../src/compiler/compilerIRs/patterncalc/main/PatternCalcInterface.ppg.sml",
  "../../../src/compiler/compilePhases/nameevaluation/main/NameEvalUtils.sml",
  "../../../src/compiler/data/name/main/NameMangle.sml",
  "../../../src/compiler/data/name/main/CodeLabel.sml",
  "../../../src/compiler/compilerIRs/typedcalc/main/TypedCalc.ppg.sml",
  "../../../src/compiler/compilerIRs/typedcalc/main/TypedCalcUtils.sml",
  "../../../src/compiler/extensions/reflection/main/ReifiedTyData.sml",
  "../../../src/compiler/extensions/reflection/main/ReifyUtils.sml",
  "../../../src/compiler/extensions/format-utils/main/TermPrintUtils.ppg.sml",
  "../../../src/compiler/extensions/reflection/main/ReifiedTy.ppg.sml",
  "../../../src/compiler/extensions/reflection/main/ReifiedTerm.ppg.sml",
  "../../../src/compiler/extensions/reflection/main/ReifiedTermToML.sml",
  "../../../src/compiler/extensions/reflection/main/PartialDynamic.sml",
  "../../../src/compiler/extensions/reflection/main/NaturalJoin.sml",
  "../../../src/ffi/main/Pointer.sml",
  "../../../src/compiler/extensions/reflection/main/ReifyTerm.sml",
  "../../../src/ffi/main/DynamicLink.sml",
  "../../../src/compiler/extensions/json/main/YAJL.sml",
  "../../../src/compiler/extensions/json/main/JSON.sml",
  "../../../src/compiler/extensions/reflection/main/RecordUtils.sml",
  "../../../src/compiler/extensions/reflection/main/Dynamic.sml",
  "../../../src/compiler/compilePhases/analyzefiles/main/DBSchema.sml",
  "../../../src/compiler/compilePhases/analyzefiles/main/FileIDIntMap.sml",
  "../../../src/compiler/compilePhases/analyzefiles/main/FileIDFileIDMap.sml",
  "../../../src/compiler/compilePhases/analyzefiles/main/FileIDMap.sml",
  "../../../src/compiler/compilePhases/analyzefiles/main/SourceMap.sml",
  "../../../src/compiler/compilePhases/analyzefiles/main/AnalyzerTy.sml",
  "../../../src/sql/main/PGSQL.sml",
  "../../../src/sql/main/SQLErrors.sml",
  "../../../src/sql/main/SQLBackendTy.sml",
  "../../../src/sql/main/Numeric.sml",
  "../../../src/sql/main/builtintypes/timestamp/TimeStamp.sml",
  "../../../src/sql/main/PGSQLBackend.sml",
  "../../../src/sql/main/MySQL.sml",
  "../../../src/sql/main/KeyValuePair.sml",
  "../../../src/sql/main/MySQLBackend.sml",
  "../../../src/sql/main/UNIXODBC.sml",
  "../../../src/sql/main/ODBCBackend.sml",
  "../../../src/sql/main/SQLite3.sml",
  "../../../src/sql/main/SQLite3Backend.sml",
  "../../../src/sql/main/Backend.sml",
  "../../../src/sql/main/SQLQuery.ppg.sml",
  "../../../src/sql/main/SQLPrim.sml",
  "../../../src/sql/main/PGSQLDynamic.sml",
  "../../../src/compiler/compilePhases/analyzefiles/main/AnalyzerDB.sml",
  "../../../src/compiler/compilePhases/analyzefiles/main/AnalyzerUtils.sml",
  "../../../src/compiler/compilePhases/analyzefiles/main/InfoMaps.sml",
  "../../../src/compiler/compilePhases/analyzefiles/main/PrintUtils.sml",
  "../../../src/compiler/compilePhases/analyzefiles/main/Analyzers.sml",
  "../../../src/compiler/compilePhases/nameevaluation/main/NameEvalEnvPrims.sml",
  "../../../src/compiler/extensions/reflection/main/ReifyTopEnv.sml",
  "../../../src/compiler/extensions/reflection/main/TopEnvUtils.ppg.sml",
  "../../../src/compiler/compilePhases/parser/main/interface.grm.sml",
  "../../../src/compiler/compilePhases/parser/main/interface.lex.sml",
  "../../../src/compiler/compilePhases/parser/main/InterfaceParser.sml",
  "../../../src/compiler/compilePhases/loadfile/main/InterfaceHash.sml",
  "../../../src/compiler/compilePhases/loadfile/main/LoadFileError.ppg.sml",
  "../../../src/compiler/compilePhases/loadfile/main/LoadFile.sml",
  "../../../src/compiler/compilePhases/elaborate/main/ElaborateError.ppg.sml",
  "../../../src/compiler/compilerIRs/absyn/main/Fixity.sml",
  "../../../src/compiler/compilePhases/elaborate/main/ElaborateErrorSQL.ppg.sml",
  "../../../src/compiler/compilePhases/elaborate/main/ElaborateSQL.sml",
  "../../../src/compiler/compilePhases/elaborate/main/ElaborateForeach.sml",
  "../../../src/compiler/compilePhases/elaborate/main/ElaborateCore.sml",
  "../../../src/compiler/compilePhases/elaborate/main/ElaborateModule.sml",
  "../../../src/compiler/compilePhases/elaborate/main/ElaborateInterface.sml",
  "../../../src/compiler/compilePhases/elaborate/main/UserTvarScope.sml",
  "../../../src/compiler/compilePhases/elaborate/main/Elaborator.sml",
  "../../../src/compiler/libs/util/main/Graph.sml",
  "../../../src/compiler/libs/util/main/SCCFun.sml",
  "../../../src/compiler/compilePhases/nameevaluation/main/SetLiftedTys.sml",
  "../../../src/compiler/compilePhases/nameevaluation/main/EvalTy.sml",
  "../../../src/compiler/compilePhases/nameevaluation/main/Subst.sml",
  "../../../src/compiler/compilePhases/nameevaluation/main/EvalSig.sml",
  "../../../src/compiler/compilePhases/nameevaluation/main/FunctorUtils.sml",
  "../../../src/compiler/compilePhases/nameevaluation/main/SigCheck.sml",
  "../../../src/compiler/compilePhases/nameevaluation/main/RenameLongsymbol.sml",
  "../../../src/compiler/compilePhases/analyzefiles/main/AnalyzeTopEnv.sml",
  "../../../src/compiler/compilePhases/analyzefiles/main/AnalyzeSource.sml",
  "../../../src/compiler/compilePhases/nameevaluation/main/NameEvalInterface.sml",
  "../../../src/compiler/compilePhases/nameevaluation/main/CheckProvide.sml",
  "../../../src/compiler/compilePhases/nameevaluation/main/SpliceFunProvide.sml",
  "../../../src/compiler/compilePhases/nameevaluation/main/NameEval.sml",
  "../../../src/compiler/compilePhases/valrecoptimization/main/VALREC_Utils.sml",
  "../../../src/compiler/compilePhases/valrecoptimization/main/VALREC_Optimizer.sml",
  "../../../src/compiler/compilePhases/valrecoptimization/main/TransFundecl.sml",
  "../../../src/compiler/compilePhases/typeinference/main/TypeInferenceContext.ppg.sml",
  "../../../src/compiler/compilePhases/typeinference/main/Printers.sml",
  "../../../src/compiler/data/types/main/TyAlphaRename.sml",
  "../../../src/compiler/compilerIRs/typedcalc/main/TCAlphaRename.sml",
  "../../../src/compiler/data/types/main/TyReduce.sml",
  "../../../src/compiler/compilePhases/typedcalcoptimization/main/TCAnalyse.sml",
  "../../../src/compiler/compilePhases/typedcalcoptimization/main/TCSize.sml",
  "../../../src/compiler/compilePhases/typedcalcoptimization/main/TCEvalTy.sml",
  "../../../src/compiler/compilePhases/typedcalcoptimization/main/TCOptimize.sml",
  "../../../src/compiler/data/builtin/main/ConstantError.ppg.sml",
  "../../../src/compiler/compilerIRs/typedlambda/main/TypedLambda.ppg.sml",
  "../../../src/compiler/data/builtin/main/ConstantTypes.sml",
  "../../../src/compiler/compilePhases/typeinference/main/TypeInferenceError.ppg.sml",
  "../../../src/compiler/compilePhases/typeinference/main/TypeInferenceUtils.sml",
  "../../../src/compiler/compilePhases/typeinference/main/CompareTy.sml",
  "../../../src/compiler/compilePhases/typeinference/main/CompileDynamicCase.sml",
  "../../../src/compiler/compilePhases/typeinference/main/InferTypes2.sml",
  "../../../src/compiler/compilerIRs/typedcalc/main/TypedCalcCon.sml",
  "../../../src/compiler/compilePhases/polytyelimination/main/PolyTyInstance.ppg.sml",
  "../../../src/compiler/compilePhases/polytyelimination/main/PolyTyElimination.sml",
  "../../../src/compiler/compilePhases/typeinference/main/UncurryFundecl_ng.sml",
  "../../../src/compiler/compilerIRs/recordcalc/main/RecordCalc.ppg.sml",
  "../../../src/compiler/compilePhases/matchcompilation/main/MatchData.sml",
  "../../../src/compiler/compilePhases/matchcompilation/main/MatchError.ppg.sml",
  "../../../src/compiler/compilePhases/matchcompilation/main/MatchCompiler.sml",
  "../../../src/compiler/compilePhases/typedelaboration/main/TypedElaborationError.ppg.sml",
  "../../../src/compiler/compilePhases/typedelaboration/main/TypedElaboration.sml",
  "../../../src/compiler/libs/list-utils/main/utils.sml",
  "../../../src/compiler/compilePhases/fficompilation/main/FFICompilation.sml",
  "../../../src/compiler/compilePhases/datatypecompilation/main/EmitTypedLambda.sml",
  "../../../src/compiler/compilePhases/datatypecompilation/main/PrimitiveTypedLambda.sml",
  "../../../src/compiler/compilePhases/recordcompilation/main/OverloadKind.sml",
  "../../../src/compiler/compilePhases/recordcompilation/main/RecordKind.sml",
  "../../../src/compiler/extensions/reflection/main/TyToReifiedTy.sml",
  "../../../src/compiler/extensions/reflection/main/ReifyTy.sml",
  "../../../src/compiler/data/types/main/TyRevealTy.sml",
  "../../../src/compiler/compilePhases/datatypecompilation/main/SwitchCompile.sml",
  "../../../src/compiler/compilePhases/datatypecompilation/main/DatatypeCompilation.sml",
  "../../../src/compiler/compilePhases/recordcompilation/main/ReifyKind.sml",
  "../../../src/compiler/compilePhases/recordcompilation/main/TagKind.sml",
  "../../../src/compiler/compilePhases/recordcompilation/main/SizeKind.sml",
  "../../../src/compiler/compilePhases/recordcompilation/main/DynamicExistInstance.sml",
  "../../../src/compiler/compilePhases/recordcompilation/main/RecordCompilation.sml",
  "../../../src/compiler/compilerIRs/bitmapcalc/main/BitmapCalc2.ppg.sml",
  "../../../src/compiler/compilePhases/bitmapcompilation/main/BitmapCompilation.sml",
  "../../../src/compiler/data/name/main/ExternSymbol.sml",
  "../../../src/compiler/compilerIRs/closurecalc/main/ClosureCalc.ppg.sml",
  "../../../src/compiler/compilePhases/bitmapcompilation/main/SingletonTyEnv.sml",
  "../../../src/compiler/compilePhases/closureconversion/main/ClosureConversion2.sml",
  "../../../src/compiler/compilerIRs/runtimecalc/main/RuntimeCalc.ppg.sml",
  "../../../src/compiler/compilePhases/cconvcompile/main/CallingConventionCompile.sml",
  "../../../src/compiler/compilerIRs/anormal/main/ANormal.ppg.sml",
  "../../../src/compiler/compilerIRs/anormal/main/ANormalTypeCheck.sml",
  "../../../src/compiler/compilePhases/anormalize/main/ANormalize.sml",
  "../../../src/compiler/compilerIRs/machinecode/main/MachineCode.ppg.sml",
  "../../../src/compiler/compilePhases/machinecodegen/main/MachineCodeGen.sml",
  "../../../src/compiler/extensions/concurrencysupport/main/ConcurrencySupport.sml",
  "../../../src/compiler/compilerIRs/machinecode/main/MachineCodeRename.sml",
  "../../../src/compiler/compilePhases/stackallocation/main/StackAllocation.sml",
  "../../../src/compiler/compilerIRs/llvmir/main/LLVMIR.ppg.sml",
  "../../../src/compiler/compilePhases/llvmgen/main/ToplevelSymbol.sml",
  "../../../src/compiler/compilePhases/llvmgen/main/LLVMGen.sml",
  "../../../src/compiler/compilePhases/llvmemit/main/LLVMEmit.sml",
  "../../../src/compiler/compilePhases/toplevel/main/TopData.ppg.sml",
  "../../../src/compiler/compilePhases/toplevel/main/NameEvalEnvUtils.sml",
  "../../../src/compiler/compilePhases/toplevel/main/Top.sml",
  "../../../src/compiler/compilePhases/main/main/SignalHandler.sml",
  "../../../src/compiler/compilePhases/main/main/GetOpt.sml",
  "../../../src/compiler/compilePhases/main/main/ExecutablePath.sml",
  "../../../src/compiler/compilePhases/main/main/UserFileMap.sml",
  "../../../src/compiler/compilePhases/main/main/MiniMain.sml",
  "../../../src/compiler/minismlsharp.sml",
  "../../../src/smlnj-lib/Util/array-qsort.sml",
  "../../../src/smlnj-lib/Util/list-mergesort.sml",
  "../../../src/sql/main/SQL.sml",
  "../../../src/unix-utils/main/UnixUtils.sml",
  "../../../src/thread/main/Myth.sml",
  "../../../src/thread/main/Concurrent.sml",
  "../../../src/thread/main/CML.sml",
  "../../../src/thread/main/Pthread.sml",
  "../../../src/foreach/main/ForeachCommon.sml",
  "../../../src/foreach/main/ForeachData.sml",
  "../../../src/foreach/main/Foreach.sml",
  "../../../src/foreach/main/ForeachArray.sml",
  "../../../src/config/main/Version.sml",
  "../../../src/compiler/compilePhases/main/main/Interactive.sml",
  "../../../src/compiler/compilePhases/main/main/RunLoop.sml",
  "../../../src/compiler/compilePhases/analyzefiles/main/SetupFiles.sml",
  "../../../src/compiler/compilePhases/analyzefiles/main/AnalyzeFiles.sml",
  "../../../src/compiler/compilePhases/main/main/Main.sml",
  "../../../src/compiler/smlsharp.sml",
  "../../../tests/driver/Compiler.sml",
  "../../../tests/suite/compiler_test/CompilerTest.sml",
  "../../../tests/suite/regression/RegressionTests.sml",
  "../../../tests/suite/compiler/TestInteractivePrinter.sml",
  "../../../tests/suite/example/ExampleTests.sml",
  "../../../tests/suite/document/DocumentTests.sml",
  "../../../tests/suite/loadfile/LoadFileTests.sml",
  "../../../src/smlformat/formatlib/test/SMLFormatTestUtil.sml",
  "../../../src/smlformat/formatlib/test/SMLFormatTest0001.sml",
  "../../../src/smlformat/formatlib/test/SMLFormatTest0002.sml",
  "../../../src/smlformat/formatlib/test/SMLFormatTest0003.sml",
  "../../../src/smlformat/formatlib/test/SMLFormatTest0004.sml",
  "../../../src/smlformat/formatlib/test/SMLFormatTest0005.sml",
  "../../../src/smlformat/formatlib/test/SMLFormatTest0006.sml",
  "../../../src/smlformat/formatlib/test/SMLFormatTest0007.sml",
  "../../../src/smlformat/formatlib/test/SMLFormatTest0008.sml",
  "../../../src/smlformat/formatlib/test/SMLFormatTest0009.sml",
  "../../../src/smlformat/formatlib/test/SMLFormatTest0010.sml",
  "../../../src/smlformat/formatlib/test/SMLFormatTest0011.sml",
  "../../../src/smlformat/formatlib/test/PrinterParameterTest0001.sml",
  "../../../src/smlformat/formatlib/test/PrinterParameterTest0002.sml",
  "../../../src/smlformat/formatlib/test/BasicFormattersTest0001.sml",
  "../../../src/smlformat/formatlib/test/PPLibTest.sml"
]