Mercurial > urweb
diff src/main.mlton.sml @ 57:618b7054f931
Update main.mlton for group compilation
author | Adam Chlipala <adamc@hcoop.net> |
---|---|
date | Sun, 22 Jun 2008 15:23:16 -0400 |
parents | a6e185c7c428 |
children | 8921f0344193 |
line wrap: on
line diff
--- a/src/main.mlton.sml Sun Jun 22 14:23:05 2008 -0400 +++ b/src/main.mlton.sml Sun Jun 22 15:23:16 2008 -0400 @@ -25,6 +25,4 @@ * POSSIBILITY OF SUCH DAMAGE. *) -val () = case CommandLine.arguments () of - [filename] => Compiler.testCjrize filename - | _ => print "Bad arguments" +val () = Compiler.testCjrize (CommandLine.arguments ())