<html>
<head>
<style><!--
.hmmessage P
{
margin:0px;
padding:0px
}
body.hmmessage
{
font-size: 10pt;
font-family:Verdana
}
--></style>
</head>
<body class='hmmessage'>
I can't find Rodney's proposal but I think I understand<br>a lot of it from today's mail.<br><br><br>Can we revisit this?<br><br><br>My understanding is that Rodney's proposal<br>deems INTEGER assignable to LONGINT,<br>and vice versa, and that assignments of LONGINT<br>to INTEGER undergo runtime range checks,<br>can raise exceptions.<br><br><br>I assume it also follows that:<br><br><br>LONGINT can be added/subtracted/modded to INTEGER,<br>yielding LONGINT.<br><br><br>INTEGER MOD LONGINT would range check the LONGINT.<br><br><br>INC/DEC(LONGINT, INTEGER) would just work<br><br><br>INC/DEC(INTEGER, LONGINT) would range check.<br><br><br>The downside is that the chance for failure would be<br>silently injected into various places.<br><br><br>Another proposal would be that INTEGER is assignable to LONGINT,<br>but not vice versa. I really don't see why not.<br><br><br> LONGINT := INTEGER <br> LONGINT + INTEGER => LONGINT <br>
LONGINT - INTEGER => LONGINT <br>
LONGINT * INTEGER => LONGINT <br> LONGINT / INTEGER => LONGINT <br>
LONGINT MOD INTEGER => INTEGER (think about it) <br> INC(LONGINT, INTEGER)<br>
DEC(LONGINT, INTEGER)<br>
<br><br>all seem very reasonable.<br><br><br> - Jay<br><br> </body>
</html>