> Is there any plan to implement it in "near" future? > > On Thu, Sep 17, 2009 at 1:13 PM, Adam Chlipala > <[email protected]>wrote: > >> nitralime wrote: >> >>> Does Ur/Web support unicode? >>> >> >> I haven't done any implementation work specific to Unicode. I don't >> know >> if some aspects might happen to "just work." >>
It appears to generate escape sequences of the form: &#-61;&#-67;'=>'y' When unicode characters are entered. The characters are correctly recorded in the database, so it looks like it is most of the way to behaving correctly - I think it just needs to generate correct unicode escapes (e.g. ِ س) and it should work as expected. The negative values in the escapes make me think that there is a 1-byte type being used somewhere, and it is being overflowed. Gian _______________________________________________ Ur mailing list [email protected] http://www.impredicative.com/cgi-bin/mailman/listinfo/ur
