[M3devel] Integers

Tony Hosking hosking at cs.purdue.edu
Fri Jan 8 22:53:29 CET 2010


Then the base type of INTEGER would be LONGINT.

Thus, INTEGER operations would incur the expense of unnatural LONGINT operations.

That is unacceptable.

On 8 Jan 2010, at 16:50, hendrik at topoi.pooq.com wrote:

> 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

-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://m3lists.elegosoft.com/pipermail/m3devel/attachments/20100108/3e3aa509/attachment-0002.html>


More information about the M3devel mailing list