[M3devel] the meaning of -FIRST(INTEGER)?

[hendrik at topoi.pooq.com]

On Sat, Jan 23, 2010 at 07:30:33PM +0000, Jay K wrote:
> 
> Once I fix Lex.m3, should we continue to allow -FIRST(INTEGER) or not?
> 
> As well, should we go the extra bit and disallow it even if it doesn't overflow?
>   ie: on one's complement?

The only reason for disallowing it is overflow, and then only for an 
implementation that checks overflow.  But if it doesn't overflow, 
it doesn't overflow, and it's valid.

-- hendrik

> I already disallow it in some code -- depending on which code gets
> 
> hit in the backend. But this disallowing is new.

It might warrant a portability warning, if we issue such.

-- hendrik