Re: type variable lexical syntax

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

------------------------------------------------------------------------------
Precog is a next-generation analytics platform capable of advanced
analytics on semi-structured data. The platform includes APIs for building
apps and a phenomenal toolset for data science. Developers can use
our toolset for easy data analysis & visualization. Get a free account!
http://www2.precog.com/precogplatform/slashdotnewsletter

_______________________________________________
MLton-devel mailing list
[email protected]; [email protected]
https://lists.sourceforge.net/lists/listinfo/mlton-devel

-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1.4.11 (GNU/Linux)
Comment: Using GnuPG with Thunderbird - http://www.enigmail.net/

iQEcBAEBAgAGBQJRdcPWAAoJEGKGQ6ej3R2RJ5oH/R5UXnLidsBofvwNuIUNR//c
e3q/AuD03kpCJZ+bppLuEBgDx1PD+wP41FdN9BkSgURh9Ew0qCuIc+YRtDvWpyBa
mWWULqMuEFW3VmngxoVUlGNv7ZAyta1LQWGs2PP5vMHIjlHKBo54B4/CBcOl9kWa
lHp52Gn+l8R94IrOobXXt4FFxaU6xtwrFSDZUo10jS1jTgqels7UnD6hotNh8xWB
ZO+3O2aOdbB1pO6HB6fiYpfTwV0v75TCxbfWA4kiNz9B8kIeoGcSBGwfga0RYi4c
MwkSZkxdQMzI9rhvtkbCyGzJXSJGF1A8bevS977KbB4Cj+fNVUZEmmHc7UbRC+c=
=NFib
-----END PGP SIGNATURE-----