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

[Jay K]

What I meant was..like..hypothetically..if we had a one's complement

target, would we error for -FIRST(INTEGER), since it would

overflow on other systems. Nevermind.

 

 

 - Jay 

 

> Date: Sat, 23 Jan 2010 17:13:35 -0500
> From: hendrik at topoi.pooq.com
> To: m3devel at elegosoft.com
> CC: hendrik at topoi.pooq.com
> Subject: Re: [M3devel] the meaning of -FIRST(INTEGER)?
> 
> 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

 		 	   		  
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://m3lists.elegosoft.com/pipermail/m3devel/attachments/20100124/563207ef/attachment-0002.html>