[Ur] Non-printable character 10 in blob to SQLify

[Sergey Mironov]

Hi. I've faced 'non-printable character' error while trying to insert
a blob into the database. The error was mentioned in [1], but that was
all about strings, not blobs. Quick investigation shows that Ur
supports either E-string or plain syntax, and E-string is disabled for
the SQLite case (in sqlite.sml) . Fortunately, I've found the third
way - X-strings (X stands for hex) [2]. Simple hacky patch (attached)
illustrates the idea. Is it sqlite specific syntax extension? can we
use this approach for other databases?

Sergey



[1] - http://www.impredicative.com/pipermail/ur/2012-February/001059.html
[2] - http://stackoverflow.com/a/10214217/1133157
-------------- next part --------------
A non-text attachment was scrubbed...
Name: sqlXstrings.patch
Type: application/octet-stream
Size: 1064 bytes
Desc: not available
URL: <http://www.impredicative.com/pipermail/ur/attachments/20130820/04603352/attachment.obj>