Funnily enough, I noticed a similar thing the other day: ' and '' are perfectly good identifiers for type variables, I presume.
Regards, Rob. On 22 Apr 2013, at 02:31, Michael Norrish <[email protected]> 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 > unary > type operator called +.) > > and what about > > datatype '' foo = C | D; > > Michael > > _______________________________________________ > polyml mailing list > [email protected] > http://lists.inf.ed.ac.uk/mailman/listinfo/polyml _______________________________________________ polyml mailing list [email protected] http://lists.inf.ed.ac.uk/mailman/listinfo/polyml
