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