diff options
| author |  Adam Chlipala <adam@chlipala.net> | 2019-05-31 13:32:19 -0400 |
|---|---|---|
| committer | Adam Chlipala <adam@chlipala.net> | 2019-05-31 13:32:19 -0400 |
| commit | 3101960af6d13eb44c12dfb1ca2381fd16136f0a (patch) | |
| tree | 793b51214dc1abf4c474b71a5a01179667166012 /src/cjr_print.sml | |
| parent | 96f0331923f4ff4508175ab36a018e92525f7849 (diff) | |
MySQL forces NOT NULL TIMESTAMPs to have default values
Diffstat (limited to 'src/cjr_print.sml')
| -rw-r--r-- | src/cjr_print.sml | 8 |
1 files changed, 7 insertions, 1 deletions
diff --git a/src/cjr_print.sml b/src/cjr_print.sml index b9795194..5dcfbe89 100644 --- a/src/cjr_print.sml +++ b/src/cjr_print.sml @@ -3791,7 +3791,13 @@ fun p_sql env (ds, _) = string ts, case t of Nullable _ => box [] - | _ => string " NOT NULL"] + | _ => string " NOT NULL", + case t of + Time => if #requiresTimestampDefaults (Settings.currentDbms ()) then + string " DEFAULT CURRENT_TIMESTAMP" + else + box [] + | _ => box []] end) xts, case (pk, csts) of ("", []) => box [] |