Mercurial > urweb

diff 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
line wrap: on
line diff
--- a/src/mono_opt.sml	Sun Aug 31 15:32:31 2008 -0400
+++ b/src/mono_opt.sml	Sun Aug 31 15:36:15 2008 -0400
@@ -84,7 +84,9 @@
 val sqlifyInt = attrifyInt
 val sqlifyFloat = attrifyFloat
 
-fun sqlifyString s = "E'" ^ String.toString s ^ "'"
+fun sqlifyString s = "E'" ^ String.translate (fn #"'" => "\\'"
+                                               | ch => str ch)
+                                             (String.toString s) ^ "'"
         
 fun exp e =
     case e of