22 Apr
2013
22 Apr
'13
7:30 a.m.
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 michael.norrish@nicta.com.au 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 polyml@inf.ed.ac.uk http://lists.inf.ed.ac.uk/mailman/listinfo/polyml