Mercurial > urweb

diff src/cjr_print.sml @ 874:3c7b48040dcf

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
MySQL demo/sql succeeds in reading no rows
author Adam Chlipala <adamc@hcoop.net>
date Sun, 12 Jul 2009 15:05:40 -0400
parents 41971801b62d
children dae141d911d9
line wrap: on
line diff
--- a/src/cjr_print.sml	Sun Jul 12 13:16:05 2009 -0400
+++ b/src/cjr_print.sml	Sun Jul 12 15:05:40 2009 -0400
@@ -2794,11 +2794,17 @@
                                                  string s,
                                                  string "(",
                                                  p_list (fn (x, t) =>
-                                                            box [string "uw_",
-                                                                 string (CharVector.map Char.toLower x),
-                                                                 space,
-                                                                 string (#p_sql_type (Settings.currentDbms ())
-                                                                                     (sql_type_in env t))]) xts,
+                                                            let
+                                                                val t = sql_type_in env t
+                                                            in
+                                                                box [string "uw_",
+                                                                     string (CharVector.map Char.toLower x),
+                                                                     space,
+                                                                     string (#p_sql_type (Settings.currentDbms ()) t),
+                                                                     case t of
+                                                                         Nullable _ => box []
+                                                                       | _ => string " NOT NULL"]
+                                                            end) xts,
                                                  case (pk, csts) of
                                                      ("", []) => box []
                                                    | _ => string ",",