Good news, thanks! Works now. 04.03.2012, 01:21, "Adam Chlipala" <[email protected]>: > 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
_______________________________________________ Ur mailing list [email protected] http://www.impredicative.com/cgi-bin/mailman/listinfo/ur
