diff options
| author |  Adam Chlipala <adamc@hcoop.net> | 2008-09-02 16:18:05 -0400 |
|---|---|---|
| committer | Adam Chlipala <adamc@hcoop.net> | 2008-09-02 16:18:05 -0400 |
| commit | 5885d66bebeece6ba2f7b6a1b11f719086423114 (patch) | |
| tree | 3814ca02933357943fd3bc142db77fe28f0081eb /src/main.mlton.sml | |
| parent | 42ad3a0b10a3e41d1b011b568c0643436e3bb101 (diff) | |
Update MLton main file
Diffstat (limited to 'src/main.mlton.sml')
| -rw-r--r-- | src/main.mlton.sml | 9 |
1 files changed, 7 insertions, 2 deletions
diff --git a/src/main.mlton.sml b/src/main.mlton.sml index e6a973b2..142296e4 100644 --- a/src/main.mlton.sml +++ b/src/main.mlton.sml @@ -43,8 +43,13 @@ fun doArgs (args, (timing, sources)) = val (timing, sources) = doArgs (CommandLine.arguments (), (false, [])) +val job = + case sources of + [file] => file + | _ => raise Fail "Multiple job files specified" + val () = if timing then - Compiler.time Compiler.toCjrize sources + Compiler.time Compiler.toCjrize job else - Compiler.compile sources + Compiler.compile job |