Mercurial > urweb
comparison src/mono_opt.sml @ 877:dae141d911d9
MySQL accepts generated demo DDL
author | Adam Chlipala <adamc@hcoop.net> |
---|---|
date | Thu, 16 Jul 2009 13:59:30 -0400 |
parents | 3c7b48040dcf |
children | 7a4b026e45dd |
comparison
equal
deleted
inserted
replaced
876:025806b3c014 | 877:dae141d911d9 |
---|---|
81 str ch | 81 str ch |
82 else | 82 else |
83 "%" ^ hexIt ch) | 83 "%" ^ hexIt ch) |
84 | 84 |
85 | 85 |
86 fun sqlifyInt n = attrifyInt n ^ "::" ^ #p_sql_type (Settings.currentDbms ()) Settings.Int | 86 fun sqlifyInt n = #p_cast (Settings.currentDbms ()) (attrifyInt n, Settings.Int) |
87 fun sqlifyFloat n = attrifyFloat n ^ "::" ^ #p_sql_type (Settings.currentDbms ()) Settings.Float | 87 fun sqlifyFloat n = #p_cast (Settings.currentDbms ()) (attrifyFloat n, Settings.Float) |
88 | 88 |
89 fun sqlifyString s = #sqlifyString (Settings.currentDbms ()) s | 89 fun sqlifyString s = #sqlifyString (Settings.currentDbms ()) s |
90 | 90 |
91 fun unAs s = | 91 fun unAs s = |
92 let | 92 let |