[M3devel] Integers

Tony Hosking hosking at cs.purdue.edu
Fri Jan 8 22:47:00 CET 2010


On 8 Jan 2010, at 16:39, hendrik at topoi.pooq.com wrote:
>> I sense confusion here...
>> 
>> INTEGER is not a subrange type.
> 
> The question is not whether it is a subrange type.  It isn't.
> The question is whether it could be.

I think that would result in major contradictions in the type system.




More information about the M3devel mailing list