<br>Hi Adam,<br><div class="gmail_quote"><div><br></div><div> I'm looking for, in decreasing priority</div><div><br></div><div> 1) unicode in strings</div><div><br></div><div><div> val x = "ñ" </div><div>
<br></div><div> does not compile in MLton. I see there's a WideString type, but </div>
I can't get MLton to accept "..." syntax for any Wide* structure. Can you do that?</div><div> SML/NJ does fine with the above, by the way.</div><div> </div><div> 2) unicode identifiers</div><div>
<br>
</div><div> val ñ = "ñ" </div><div> </div><div> I'd really like this, but I can live without it.</div><div> </div><div> 3) unicode constructors</div><div><br></div><div> datatype t = È of string</div>
<div><br></div><div> this is just because I'm greedy.</div><div><br></div><div>I think I'd survive with just #1.</div><div><br></div><div>Thanks,</div><div><br></div><div><font color="#888888">Sean</font><div><div>
</div><div class="h5"><br><div class="gmail_quote"><br></div>
<div class="gmail_quote"><br></div><div class="gmail_quote">On Wed, Sep 2, 2009 at 9:12 AM, Adam Goode <span dir="ltr"><<a href="mailto:adam@spicenitz.org" target="_blank">adam@spicenitz.org</a>></span> wrote:<br><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">
<div><div></div><div>On 09/02/2009 08:52 AM, Sean McLaughlin wrote:<br>
<blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">
Hi,<br>
<br>
The last I could find about unicode support in MLton is from 2007. Has<br>
any progress been made on this?<br>
<br>
Thanks,<br>
<br>
Sean<br>
</blockquote>
<br></div></div>
Hi Sean,<br>
<br>
What kind of unicode support are you looking for? Many/most unicode things work fine as-is. Are you looking to directly manipulate and analyze unicode strings?<br><font color="#888888">
<br>
<br>
Adam<br>
</font></blockquote></div><br></div></div></div>
</div><br>