diff options
| author |  Adam Chlipala <adam@chlipala.net> | 2019-05-31 12:41:51 -0400 |
|---|---|---|
| committer | Adam Chlipala <adam@chlipala.net> | 2019-05-31 12:41:51 -0400 |
| commit | 96f0331923f4ff4508175ab36a018e92525f7849 (patch) | |
| tree | b236bb9e20733adbe32a4d20f2fe41ae12f22086 /src/monoize.sml | |
| parent | 77535d0da9780d7eb0f02b04494da02374d36545 (diff) | |
Retool handling of text keys in MySQL
Diffstat (limited to 'src/monoize.sml')
| -rw-r--r-- | src/monoize.sml | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/src/monoize.sml b/src/monoize.sml index 97ad1505..4aeddcae 100644 --- a/src/monoize.sml +++ b/src/monoize.sml @@ -1369,7 +1369,7 @@ fun monoExp (env, st, fm) (all as (e, loc)) = Settings.mangleSql (monoNameLc env x) ^ (if #textKeysNeedLengths (Settings.currentDbms ()) andalso isBlobby t then - "(767)" + "(255)" else "")) unique)))), loc), @@ -1413,7 +1413,7 @@ fun monoExp (env, st, fm) (all as (e, loc)) = (map (fn (x, t) => Settings.mangleSql (monoNameLc env x) ^ (if #textKeysNeedLengths (Settings.currentDbms ()) andalso isBlobby t then - "(767)" + "(255)" else "")) unique) ^ ")"), |