diff options
| author |  Adam Chlipala <adamc@hcoop.net> | 2009-07-12 15:05:40 -0400 |
|---|---|---|
| committer | Adam Chlipala <adamc@hcoop.net> | 2009-07-12 15:05:40 -0400 |
| commit | 23b1f6b511c89c4916b65b466622a6dcdf1bb332 (patch) | |
| tree | c1a396c05b3c698202cfc482584b8d221ff51b47 /src/cjr_print.sml | |
| parent | 01553b111f03ff1d916dbc6d34a54a0217cc75a0 (diff) | |
MySQL demo/sql succeeds in reading no rows
Diffstat (limited to 'src/cjr_print.sml')
| -rw-r--r-- | src/cjr_print.sml | 16 |
1 files changed, 11 insertions, 5 deletions
diff --git a/src/cjr_print.sml b/src/cjr_print.sml index fcfa402e..13386f5b 100644 --- a/src/cjr_print.sml +++ b/src/cjr_print.sml @@ -2794,11 +2794,17 @@ fun p_sql env (ds, _) = 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 ",", |