Re: type variable lexical syntax

Rob Arthan <[email protected]> Mon, 22 Apr 2013 06:30:39 +0100

Newsgroups	gmane.comp.lang.ml.polyml.general,gmane.comp.lang.ml.mlton.devel
Message-ID	<[email protected]>

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-3w/[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