comparison src/urweb.grm @ 1360:02fc16faecf3

[De]serialization of times in JavaScript; proper integer division in JavaScript; Basis.crypt; Top.mkRead'; more aggressive Mono-level inlining, for values of function-y types
author Adam Chlipala <adam@chlipala.net>
date Thu, 23 Dec 2010 17:46:40 -0500
parents 3a845f2ce9e9
children af501150678a
comparison
equal deleted inserted replaced
1359:e525ad571e15 1360:02fc16faecf3
1230 1230
1231 val e = (EVar (["Basis"], "insert", Infer), loc) 1231 val e = (EVar (["Basis"], "insert", Infer), loc)
1232 val e = (EApp (e, texp), loc) 1232 val e = (EApp (e, texp), loc)
1233 in 1233 in
1234 if length fields <> length sqlexps then 1234 if length fields <> length sqlexps then
1235 ErrorMsg.errorAt loc "Length mismatch in INSERT field specification" 1235 ErrorMsg.errorAt loc ("Length mismatch in INSERT field specification ("
1236 ^ Int.toString (length fields)
1237 ^ " vs. " ^ Int.toString (length sqlexps) ^ ")")
1236 else 1238 else
1237 (); 1239 ();
1238 (EApp (e, (ERecord (ListPair.zip (fields, sqlexps)), loc)), loc) 1240 (EApp (e, (ERecord (ListPair.zip (fields, sqlexps)), loc)), loc)
1239 end) 1241 end)
1240 | LPAREN enterDml UPDATE texp SET fsets CWHERE sqlexp leaveDml RPAREN 1242 | LPAREN enterDml UPDATE texp SET fsets CWHERE sqlexp leaveDml RPAREN