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
signature.asc
Description: OpenPGP digital signature
_______________________________________________ polyml mailing list polyml@inf.ed.ac.uk http://lists.inf.ed.ac.uk/mailman/listinfo/polyml