Mercurial > urweb

comparison src/main.mlton.sml @ 378:168667cdaa95

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Proper configuration and installation
author Adam Chlipala <adamc@hcoop.net>
date Sun, 19 Oct 2008 12:47:10 -0400
parents 8bb46d87b074
children 2a7e7bd7b29f
comparison
equal deleted inserted replaced
377:78358e5df273 378:168667cdaa95
44 val (timing, sources) = doArgs (CommandLine.arguments (), (false, [])) 44 val (timing, sources) = doArgs (CommandLine.arguments (), (false, []))
45 45
46 val job = 46 val job =
47 case sources of 47 case sources of
48 [file] => file 48 [file] => file
49 | _ => raise Fail "Multiple job files specified" 49 | _ => raise Fail "Zero or multiple job files specified"
50 50
51 val () = 51 val () =
52 if timing then 52 if timing then
53 Compiler.time Compiler.toCjrize job 53 Compiler.time Compiler.toCjrize job
54 else 54 else