1val _ = PolyML.Compiler.prompt1:=""; 2val _ = PolyML.Compiler.prompt2:=""; 3val _ = PolyML.print_depth 0; 4val origdir = OS.FileSys.getDir(); 5OS.FileSys.chDir "../../../tools-poly"; 6val _ = use "poly/poly-init.ML"; 7OS.FileSys.chDir origdir; 8 9structure BasicIO = SML90; 10exception Interrupt = SML90.Interrupt 11 12fun useC f = (use ("../" ^ f ^ ".sig"); use ("../" ^ f ^ ".sml")) 13 14fun useS f = use ("../" ^ f ^ ".sml") 15 16val _ = use "../Systeml.sig" 17val _ = use "../../../tools-poly/Holmake/Systeml.sml"; 18 19val _ = use "../hmcore.ML"; 20 21val _ = use "genscriptdep.sml"; 22 23fun main() = genscriptdep.main() 24