On Apr 22, 2013, at 03:31 , Michael Norrish michael.norr...@nicta.com.au
wrote:
Is the following really supposed to be acceptable? Both Poly/ML and mlton
accept
it without complaining:
datatype '+ = C | D;
(Moscow ML rejects it. mlton and Poly/ML treat it as the declaration of a
On 22/04/13 4:29 PM, Andreas Rossberg wrote:
On Apr 22, 2013, at 03:31 , Michael Norrish
michael.norr...@nicta.com.au wrote:
Is the following really supposed to be acceptable? Both Poly/ML and
mlton accept it without complaining:
datatype '+ = C | D;
(Moscow ML rejects it. mlton and
For some time Makarius has been asking for a way for
PolyML.exception_trace to be able to output the trace through an ML
function rather than directly to stdout. I've now added
PolyML.Exception.traceException. At the same time I've moved the
various functions related to exceptions into
On 22/04/13 18:54, Andreas Rossberg wrote:
Incidentally, I think that makes your grammar at
http://www.mpi-sws.org/~rossberg/sml.html incorrect: the grammar there
wants an id to follow the apostrophe for var, and ids have at
least one character in them.
Yes, you are right. I was