Mercurial > urweb
changeset 279:8bb46d87b074
Update MLton main file
author | Adam Chlipala <adamc@hcoop.net> |
---|---|
date | Tue, 02 Sep 2008 16:18:05 -0400 (2008-09-02) |
parents | 137744c5b1ae |
children | fdd7a698be01 |
files | src/main.mlton.sml tests/where.ur tests/where.urp |
diffstat | 3 files changed, 14 insertions(+), 3 deletions(-) [+] |
line wrap: on
line diff
--- a/src/main.mlton.sml Tue Sep 02 16:10:07 2008 -0400 +++ b/src/main.mlton.sml Tue Sep 02 16:18:05 2008 -0400 @@ -43,8 +43,13 @@ 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
--- a/tests/where.ur Tue Sep 02 16:10:07 2008 -0400 +++ b/tests/where.ur Tue Sep 02 16:18:05 2008 -0400 @@ -7,7 +7,7 @@ val q4 = (SELECT * FROM t1 WHERE {True}) val q5 = (SELECT * FROM t1 WHERE {1} = {1}) val q6 = (SELECT * FROM t1 WHERE {"Hi"} < {"Bye"}) -val q7 = (SELECT * FROM t1 WHERE {1} <> {1} AND NOT ({"Hi"} >= {"Bye"})) +val q7 = (SELECT * FROM t1 WHERE {1} = {1} AND NOT ({"Hi"} <= {"Bye"})) val q8 = (SELECT * FROM t1 WHERE t1.A = 1 OR t1.C < 3.0) datatype list a = Nil | Cons of a * list a