[Ur] "Fatal error: Non-printable character 4294967248 in string to SQLify"

[Alexei Golovko]

Good news, thanks! Works now.

04.03.2012, 01:21, "Adam Chlipala" <adamc at impredicative.com>:
> Alexei Golovko wrote:
>
>>  27.02.2012, 16:34, "Adam Chlipala"<adamc at impredicative.com>:
>>>  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
> Ur at impredicative.com
> http://www.impredicative.com/cgi-bin/mailman/listinfo/ur