diff 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
line wrap: on
line diff
--- a/src/urweb.grm	Thu Dec 23 11:23:31 2010 -0500
+++ b/src/urweb.grm	Thu Dec 23 17:46:40 2010 -0500
@@ -1232,7 +1232,9 @@
                                              val e = (EApp (e, texp), loc)
                                          in
                                              if length fields <> length sqlexps then
-                                                 ErrorMsg.errorAt loc "Length mismatch in INSERT field specification"
+                                                 ErrorMsg.errorAt loc ("Length mismatch in INSERT field specification ("
+                                                                       ^ Int.toString (length fields)
+                                                                       ^ " vs. " ^ Int.toString (length sqlexps) ^ ")")
                                              else
                                                  ();
                                              (EApp (e, (ERecord (ListPair.zip (fields, sqlexps)), loc)), loc)