1fun die s = 2 (TextIO.output(TextIO.stdErr, s ^ "\n"); 3 OS.Process.exit OS.Process.failure) 4 5val args = CommandLine.arguments() 6 7fun dropUninteresting l = 8 case l of 9 "-q" :: rest => dropUninteresting rest 10 | "--use" :: file :: rest => dropUninteresting rest 11 | "-i" :: rest => dropUninteresting rest 12 | gc::rest => if String.isPrefix "--gcthreads" gc then 13 dropUninteresting rest 14 else l 15 | _ => l 16 17val realArgs = dropUninteresting args 18 19val (holstate, rest) = 20 case realArgs of 21 [] => die "No holstate argument provided" 22 | x::xs => (x,xs) 23 24val _ = PolyML.SaveState.loadState holstate 25 26val _ = List.app use rest 27