Mercurial > urweb

comparison src/mono_opt.sml @ 259:d1b679dbbc25

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Monoize HAVING
author Adam Chlipala <adamc@hcoop.net>
date Sun, 31 Aug 2008 15:36:15 -0400
parents 7f6620853c36
children 7d5860add50f
comparison
equal deleted inserted replaced
258:40c33706d887 259:d1b679dbbc25
82 82
83 83
84 val sqlifyInt = attrifyInt 84 val sqlifyInt = attrifyInt
85 val sqlifyFloat = attrifyFloat 85 val sqlifyFloat = attrifyFloat
86 86
87 fun sqlifyString s = "E'" ^ String.toString s ^ "'" 87 fun sqlifyString s = "E'" ^ String.translate (fn #"'" => "\\'"
88 | ch => str ch)
89 (String.toString s) ^ "'"
88 90
89 fun exp e = 91 fun exp e =
90 case e of 92 case e of
91 EPrim (Prim.String s) => 93 EPrim (Prim.String s) =>
92 let 94 let