Re: [Sml-implementers] Subject: Standard ML

[Stephen W. <sw...@in...>]

> True, I think it is an oversight that \r is not included, since it
> is obligatory at least on Dos/Windows-based systems and sources
> should be portable across the "major" OS'es.

Agreed.  I changed MLton to accept \r and \r\n as a newline.

> And it would make sense to include at least those formatting
> characters for which there is explicit escape syntax.

I'm not sure what other implementations do here, for example, on \b,
\v, \f.  I've left them out for now.  Anyways, I think that this point
should be completely nailed down as part of the process of clarifying
the definition.

> Yes, in fact the main reason I made them was for me as an implementor to
> get all of this working in HaMLet. I finally managed it for all but two
> of the examples (abstype and fun-case) but it was not always fun. Note
> btw. that the reason why "abstype" is actually working in Alice is only
> due to the fact that the compiler does not distinguish equality types. I
> guess the same is true for MLton?

Right (among the hundred or so things that MLton ignores).  I will
probably go for the overloading solution if/when I ever get around to
writing a proper front-end.  It doesn't seem too hard.

Anyways, I've fixed bugs so that MLton now behaves correctly on all
your tests except for fun-case (I have no idea how to get that) and
nonexhaustive (warnings are one of many things MLton doesn't do).
Thanks.