23 Apr
2013
23 Apr
'13
12:12 a.m.
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 <id>s have at least one character in them.
Yes, you are right. I was (semi-intentionally) sloppy there. Fixed.
Another case where your grammar and polyml + mlton disagree is
datatype '2 foo = C | D;
Michael