[M3devel] Integers

[hendrik at topoi.pooq.com]

On Fri, Jan 08, 2010 at 04:47:00PM -0500, Tony Hosking wrote:
> 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.

Just what would the malign consequences be?

-- hendrik