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