<div dir="ltr">On Thu, Aug 21, 2008 at 5:29 PM, Gergely Buday <span dir="ltr"><<a href="mailto:gbuday@gmail.com">gbuday@gmail.com</a>></span> wrote:<br><div class="gmail_quote"><blockquote class="gmail_quote" style="border-left: 1px solid rgb(204, 204, 204); margin: 0pt 0pt 0pt 0.8ex; padding-left: 1ex;">
what is the state of the art of your unicode branch of mlton? As I see<br>
the latest revision is two years old, does it have some basic<br>
functionality working?</blockquote><div><br>At this point, I'd say it's dead. I didn't have a pressing need for it and so the motivation to bring it to a conclusion wasn't there. :-/ It wasn't entirely clear how Unicode in SML should look. The current MLton/head has WideChar and WideString in it.<br>
<br>If for some reason I got motivated to wade through all the relevant specifications again, I would probably start from scratch.<br></div></div></div>