1(*
2    Copyright (c) 2009, 2010, 2015-17, 2020 David C. J. Matthews
3
4    This library is free software; you can redistribute it and/or
5    modify it under the terms of the GNU Lesser General Public
6    License version 2.1 as published by the Free Software Foundation.
7    
8    This library is distributed in the hope that it will be useful,
9    but WITHOUT ANY WARRANTY; without even the implied warranty of
10    MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the GNU
11    Lesser General Public License for more details.
12    
13    You should have received a copy of the GNU Lesser General Public
14    License along with this library; if not, write to the Free Software
15    Foundation, Inc., 51 Franklin St, Fifth Floor, Boston, MA  02110-1301  USA
16*)
17
18(* Compiler root file.  This gives the "use" instructions necessary to build the
19   compiler and suitable for use with an IDE project file.
20   It was constructed from the Poly/ML make files. *)
21PolyML.print_depth 1;
22PolyML.Compiler.reportUnreferencedIds := true;
23use "mlsource/MLCompiler/Address.ML";
24use "mlsource/MLCompiler/Misc.ML";
25use "mlsource/MLCompiler/HashTable.ML";
26use "mlsource/MLCompiler/UniversalTable.ML";
27use "mlsource/MLCompiler/StronglyConnected.sml";
28use "mlsource/MLCompiler/StretchArray.ML";
29use "mlsource/MLCompiler/STRUCTVALSIG.sml";
30use "mlsource/MLCompiler/PRETTYSIG.sml";
31use "mlsource/MLCompiler/LEXSIG.sml";
32use "mlsource/MLCompiler/SymbolsSig.sml";
33use "mlsource/MLCompiler/COMPILERBODYSIG.sml";
34use "mlsource/MLCompiler/DEBUG.sig";
35use "mlsource/MLCompiler/MAKESIG.sml";
36use "mlsource/MLCompiler/MAKE_.ML";
37use "mlsource/MLCompiler/FOREIGNCALLSIG.sml";
38use "mlsource/MLCompiler/BUILTINS.sml";
39use "mlsource/MLCompiler/CODETREESIG.ML";
40use "mlsource/MLCompiler/STRUCT_VALS.ML";
41use "mlsource/MLCompiler/CodeTree/BackendIntermediateCodeSig.sml";
42use "mlsource/MLCompiler/CodeTree/BaseCodeTreeSig.sml";
43use "mlsource/MLCompiler/CodeTree/CodetreeFunctionsSig.sml";
44use "mlsource/MLCompiler/CodeTree/CODEARRAYSIG.ML";
45use "mlsource/MLCompiler/CodeTree/CodegenTreeSig.sml";
46use "mlsource/MLCompiler/CodeTree/GENCODESIG.sml";
47use "mlsource/MLCompiler/CodeTree/CODETREE_FUNCTIONS.sml";
48use "mlsource/MLCompiler/CodeTree/CODETREE_STATIC_LINK_AND_CASES.sml";
49use "mlsource/MLCompiler/CodeTree/CODETREE_CODEGEN_CONSTANT_FUNCTIONS.sml";
50use "mlsource/MLCompiler/CodeTree/CODETREE_LAMBDA_LIFT.sml";
51use "mlsource/MLCompiler/CodeTree/CODETREE_REMOVE_REDUNDANT.sml";
52use "mlsource/MLCompiler/CodeTree/CODETREE_SIMPLIFIER.sml";
53use "mlsource/MLCompiler/CodeTree/CODETREE_OPTIMISER.sml";
54use "mlsource/MLCompiler/CodeTree/CODETREE.ML";
55use "mlsource/MLCompiler/Pretty.sml";
56use "mlsource/MLCompiler/CodeTree/CODE_ARRAY.ML";
57use "mlsource/MLCompiler/CodeTree/X86Code/X86CODESIG.sml";
58use "mlsource/MLCompiler/CodeTree/X86Code/ICodeSig.ML";
59use "mlsource/MLCompiler/CodeTree/X86Code/X86ICODEGENERATESIG.ML";
60use "mlsource/MLCompiler/CodeTree/X86Code/X86ALLOCATEREGISTERSSIG.ML";
61use "mlsource/MLCompiler/CodeTree/X86Code/X86ICODETRANSFORMSIG.ML";
62use "mlsource/MLCompiler/CodeTree/X86Code/X86IDENTIFYREFSSIG.ML";
63use "mlsource/MLCompiler/CodeTree/X86Code/X86GETCONFLICTSETSIG.ML";
64use "mlsource/MLCompiler/CodeTree/X86Code/X86PUSHREGISTERSIG.ML";
65use "mlsource/MLCompiler/CodeTree/X86Code/INTSETSIG.sml";
66use "mlsource/MLCompiler/CodeTree/X86Code/X86ICODEOPTSIG.ML";
67use "mlsource/MLCompiler/CodeTree/X86Code/IntSet.sml";
68use "mlsource/MLCompiler/CodeTree/X86Code/X86ICode.ML";
69use "mlsource/MLCompiler/CodeTree/X86Code/X86ICodeToX86Code.ML";
70use "mlsource/MLCompiler/CodeTree/X86Code/X86AllocateRegisters.ML";
71use "mlsource/MLCompiler/CodeTree/X86Code/X86ICodeOptimise.ML";
72use "mlsource/MLCompiler/CodeTree/X86Code/X86ICodeTransform.ML";
73use "mlsource/MLCompiler/CodeTree/X86Code/X86ICodeIdentifyReferences.ML";
74use "mlsource/MLCompiler/CodeTree/X86Code/X86ICodeGetConflictSets.ML";
75use "mlsource/MLCompiler/CodeTree/X86Code/X86PushRegisters.ML";
76use "mlsource/MLCompiler/CodeTree/X86Code/X86CodetreeToICode.ML";
77use "mlsource/MLCompiler/CodeTree/X86Code/X86OUTPUTCODE.ML";
78use "mlsource/MLCompiler/CodeTree/X86Code/X86OPTIMISE.ML";
79use "mlsource/MLCompiler/Debug.ML";
80use "mlsource/MLCompiler/CodeTree/X86Code/X86FOREIGNCALL.sml";
81use "mlsource/MLCompiler/CodeTree/BackendIntermediateCode.sml";
82use "mlsource/MLCompiler/CodeTree/BaseCodeTree.sml";
83use "mlsource/MLCompiler/CodeTree/X86Code/ml_bind.ML";
84use "mlsource/MLCompiler/CodeTree/GCode.i386.ML";
85use "mlsource/MLCompiler/CodeTree/ml_bind.ML";
86use "mlsource/MLCompiler/StructVals.ML";
87use "mlsource/MLCompiler/LEX_.ML";
88use "mlsource/MLCompiler/Symbols.ML";
89use "mlsource/MLCompiler/Lex.ML";
90use "mlsource/MLCompiler/SymsetSig.sml";
91use "mlsource/MLCompiler/DATATYPEREPSIG.sml";
92use "mlsource/MLCompiler/VALUEOPSSIG.sml";
93use "mlsource/MLCompiler/EXPORTTREESIG.sml";
94use "mlsource/MLCompiler/STRUCTURESSIG.sml";
95use "mlsource/MLCompiler/COMPILER_BODY.ML";
96use "mlsource/MLCompiler/SymSet.ML";
97use "mlsource/MLCompiler/TYPETREESIG.sml";
98use "mlsource/MLCompiler/COPIERSIG.sml";
99use "mlsource/MLCompiler/TYPEIDCODESIG.sml";
100use "mlsource/MLCompiler/DATATYPE_REP.ML";
101use "mlsource/MLCompiler/PRINTTABLESIG.sml";
102use "mlsource/MLCompiler/VALUE_OPS.ML";
103use "mlsource/MLCompiler/TYPE_TREE.ML";
104use "mlsource/MLCompiler/UTILITIES_.ML";
105use "mlsource/MLCompiler/Utilities.ML";
106use "mlsource/MLCompiler/PRINT_TABLE.ML";
107use "mlsource/MLCompiler/PrintTable.ML";
108use "mlsource/MLCompiler/ExportTree.sml";
109use "mlsource/MLCompiler/ExportTreeStruct.sml";
110use "mlsource/MLCompiler/TypeTree.ML";
111use "mlsource/MLCompiler/COPIER.sml";
112use "mlsource/MLCompiler/CopierStruct.sml";
113use "mlsource/MLCompiler/TYPEIDCODE.sml";
114use "mlsource/MLCompiler/TypeIDCodeStruct.sml";
115use "mlsource/MLCompiler/DatatypeRep.ML";
116use "mlsource/MLCompiler/ValueOps.ML";
117use "mlsource/MLCompiler/PARSETREESIG.sml";
118use "mlsource/MLCompiler/SIGNATURESSIG.sml";
119use "mlsource/MLCompiler/DEBUGGER.sig";
120use "mlsource/MLCompiler/STRUCTURES_.ML";
121use "mlsource/MLCompiler/DEBUGGER_.sml";
122use "mlsource/MLCompiler/Debugger.sml";
123use "mlsource/MLCompiler/ParseTree/BaseParseTreeSig.sml";
124use "mlsource/MLCompiler/ParseTree/BASE_PARSE_TREE.sml";
125use "mlsource/MLCompiler/ParseTree/PrintParsetreeSig.sml";
126use "mlsource/MLCompiler/ParseTree/PRINT_PARSETREE.sml";
127use "mlsource/MLCompiler/ParseTree/ExportParsetreeSig.sml";
128use "mlsource/MLCompiler/ParseTree/EXPORT_PARSETREE.sml";
129use "mlsource/MLCompiler/ParseTree/TypeCheckParsetreeSig.sml";
130use "mlsource/MLCompiler/ParseTree/TYPECHECK_PARSETREE.sml";
131use "mlsource/MLCompiler/ParseTree/MatchCompilerSig.sml";
132use "mlsource/MLCompiler/ParseTree/MATCH_COMPILER.sml";
133use "mlsource/MLCompiler/ParseTree/CodegenParsetreeSig.sml";
134use "mlsource/MLCompiler/ParseTree/CODEGEN_PARSETREE.sml";
135use "mlsource/MLCompiler/ParseTree/PARSE_TREE.ML";
136use "mlsource/MLCompiler/ParseTree/ml_bind.ML";
137use "mlsource/MLCompiler/SIGNATURES.sml";
138use "mlsource/MLCompiler/SignaturesStruct.sml";
139use "mlsource/MLCompiler/Structures.ML";
140use "mlsource/MLCompiler/PARSE_DEC.ML";
141use "mlsource/MLCompiler/SKIPS_.ML";
142use "mlsource/MLCompiler/Skips.ML";
143use "mlsource/MLCompiler/PARSE_TYPE.ML";
144use "mlsource/MLCompiler/ParseType.ML";
145use "mlsource/MLCompiler/ParseDec.ML";
146use "mlsource/MLCompiler/CompilerBody.ML";
147use "mlsource/MLCompiler/CompilerVersion.sml";
148use "mlsource/MLCompiler/Make.ML";
149use "mlsource/MLCompiler/INITIALISE_.ML";
150use "mlsource/MLCompiler/Initialise.ML";
151use "mlsource/MLCompiler/ml_bind.ML";
152