<html>
<head>
<style><!--
.hmmessage P
{
margin:0px;
padding:0px
}
body.hmmessage
{
font-size: 10pt;
font-family:Verdana
}
--></style>
</head>
<body class='hmmessage'>
What I meant was..like..hypothetically..if we had a one's complement<BR>
target, would we error for -FIRST(INTEGER), since it would<BR>
overflow on other systems. Nevermind.<BR>
<BR>
<BR>
- Jay <BR>
<BR>
> Date: Sat, 23 Jan 2010 17:13:35 -0500<BR>> From: hendrik@topoi.pooq.com<BR>> To: m3devel@elegosoft.com<BR>> CC: hendrik@topoi.pooq.com<BR>> Subject: Re: [M3devel] the meaning of -FIRST(INTEGER)?<BR>> <BR>> On Sat, Jan 23, 2010 at 07:30:33PM +0000, Jay K wrote:<BR>> > <BR>> > Once I fix Lex.m3, should we continue to allow -FIRST(INTEGER) or not?<BR>> > <BR>> > As well, should we go the extra bit and disallow it even if it doesn't overflow?<BR>> > ie: on one's complement?<BR>> <BR>> The only reason for disallowing it is overflow, and then only for an <BR>> implementation that checks overflow. But if it doesn't overflow, <BR>> it doesn't overflow, and it's valid.<BR>> <BR>> -- hendrik<BR>> <BR>> > I already disallow it in some code -- depending on which code gets<BR>> > <BR>> > hit in the backend. But this disallowing is new.<BR>> <BR>> It might warrant a portability warning, if we issue such.<BR>> <BR>> -- hendrik<BR><BR> </body>
</html>