Nitpicky definition compatibility bug, SML/NJ deviation
"Robert J. Simmons" <[email protected]> Fri, 26 Aug 2011 02:33:55 -0400
| Newsgroups | gmane.comp.lang.ml.mlton.devel |
|---|---|
| Message-ID | <CAFbBx+iFzCHZfwrg5DKx4SuSruGWWkYNLkWw9MDNsbNwFAta=g@mail.gmail.com> |
MLton accepts the following program: structure @#$ = struct val foo = 4 end val y = @#$.foo val () = print "Goodbye.\n" However, according to Page 5 of the revised definition, "The identifier class StrId is represented by alphanumeric identifiers not starting with a prime," which would seem to exclude symbolic identifiers from being the names of structures and signatures. I swear I don't go around looking for these things, I was using the definition to try to write a syntax highlighter for Standard ML on GitHub. In the process of generating https://bitbucket.org/robsimmons/pygments-main/src/351f8bf6f859/tests/examplefiles/example.sml, I came up with another SML/NJ vs. MLton deviation. SML/NJ does not treat the single prime -'- as a type variable, nor -'0- and -'_-. Similarly, SML/NJ does not treat -'''- or -'''''''- as eqtype variables. - Rob -- Robert J. Simmons simrob.com gps.simrob.com [email protected] [email protected] Cell: 404-273-6890