Mercurial > urweb
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 |