Alexei Golovko wrote:
27.02.2012, 16:34, "Adam Chlipala"<[email protected]>:
Thus, the question I asked before remains: what is the right way to
escape UTF-8 strings to use as string literals in MySQL and SQLite?
I've made a simple change that should cause this to now work as you
expect. The interesting open question for me is whether I have
introduced a code injection vulnerability with this change! :| Would
appreciate any informed thoughts on the question.
http://hg.impredicative.com/urweb/rev/ae22d1fd9b80
P.S.: You have a comment asking:
(* Why "task initialize = init" does not work?
But this is the second question. *)
I uncommented the alternate version and it at least type-checked fine.
What kind of "not working" have you seen?
It is well-typed, but compiler says:
sql_unicode.ur:27:0-27:22: Initializer has not been fully determined
I also just pushed a fix for this problem.
_______________________________________________
Ur mailing list
[email protected]
http://www.impredicative.com/cgi-bin/mailman/listinfo/ur
