comparison src/main.mlton.sml @ 279:8bb46d87b074

Update MLton main file
author Adam Chlipala <adamc@hcoop.net>
date Tue, 02 Sep 2008 16:18:05 -0400
parents 63a2f2322c1f
children 168667cdaa95
comparison
equal deleted inserted replaced
278:137744c5b1ae 279:8bb46d87b074
41 doArgs (rest, acc) 41 doArgs (rest, acc)
42 end 42 end
43 43
44 val (timing, sources) = doArgs (CommandLine.arguments (), (false, [])) 44 val (timing, sources) = doArgs (CommandLine.arguments (), (false, []))
45 45
46 val job =
47 case sources of
48 [file] => file
49 | _ => raise Fail "Multiple job files specified"
50
46 val () = 51 val () =
47 if timing then 52 if timing then
48 Compiler.time Compiler.toCjrize sources 53 Compiler.time Compiler.toCjrize job
49 else 54 else
50 Compiler.compile sources 55 Compiler.compile job