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