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

[Adam Chlipala]

Sorry for the delayed response.  I've imported your patch and made a 
small tweak, so that a simple database upload example works in all 3 
supported DBMSes.  The new code is pushed to the public Ur/Web Mercurial 
repo.

On 08/20/2013 02:38 PM, Sergey Mironov wrote:
> 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
>