<html>
<head>
<style>
.hmmessage P
{
margin:0px;
padding:0px
}
body.hmmessage
{
font-size: 10pt;
font-family:Verdana
}
</style>
</head>
<body class='hmmessage'>
Reading the code ...there is a command line option to the compiler to apparently make it:<BR>
<BR> ADR (x: T) : UNTRACED REF T. <BR><BR>
Good?bad?better?different?<BR>
Seems more type safe.<BR>
I haven't tried it.<BR>
<BR> - Jay<BR><BR><BR>
<HR id=stopSpelling>
<BR>
From: hosking@cs.purdue.edu<BR>To: jkrell@elego.de<BR>Date: Mon, 5 Jan 2009 21:47:15 +1100<BR>CC: m3devel@elegosoft.com<BR>Subject: Re: [M3devel] [M3commit] CVS Update: cm3<BR><BR>According to the language spec:<BR>
<DIV><BR></DIV>
<DIV>
<DIV><SPAN class=EC_Apple-style-span style="WORD-SPACING: 0px; FONT: 12px Helvetica; TEXT-TRANSFORM: none; COLOR: rgb(0,0,0); TEXT-INDENT: 0px; WHITE-SPACE: normal; LETTER-SPACING: normal; BORDER-COLLAPSE: separate">
<DIV style="WORD-WRAP: break-word"><SPAN class=EC_Apple-style-span style="WORD-SPACING: 0px; FONT: 12px Helvetica; TEXT-TRANSFORM: none; COLOR: rgb(0,0,0); TEXT-INDENT: 0px; WHITE-SPACE: normal; LETTER-SPACING: normal; BORDER-COLLAPSE: separate"><SPAN class=EC_Apple-style-span style="WORD-SPACING: 0px; FONT: 12px Helvetica; TEXT-TRANSFORM: none; COLOR: rgb(0,0,0); TEXT-INDENT: 0px; WHITE-SPACE: normal; LETTER-SPACING: normal; BORDER-COLLAPSE: separate"><SPAN class=EC_Apple-style-span style="WORD-SPACING: 0px; FONT: 12px Helvetica; TEXT-TRANSFORM: none; COLOR: rgb(0,0,0); TEXT-INDENT: 0px; WHITE-SPACE: normal; LETTER-SPACING: normal; BORDER-COLLAPSE: separate"><SPAN class=EC_Apple-style-span style="WORD-SPACING: 0px; FONT: 12px Helvetica; TEXT-TRANSFORM: none; COLOR: rgb(0,0,0); TEXT-INDENT: 0px; WHITE-SPACE: normal; LETTER-SPACING: normal; BORDER-COLLAPSE: separate"><SPAN class=EC_Apple-style-span style="WORD-SPACING: 0px; FONT: 12px Helvetica; TEXT-TRANSFORM: none; COLOR: rgb(0,0,0); TEXT-INDENT: 0px; WHITE-SPACE: normal; LETTER-SPACING: normal; BORDER-COLLAPSE: separate"><SPAN class=EC_Apple-style-span style="WORD-SPACING: 0px; FONT: 12px Helvetica; TEXT-TRANSFORM: none; COLOR: rgb(0,0,0); TEXT-INDENT: 0px; WHITE-SPACE: normal; LETTER-SPACING: normal; BORDER-COLLAPSE: separate"><SPAN class=EC_Apple-style-span style="WORD-SPACING: 0px; FONT: 12px Helvetica; TEXT-TRANSFORM: none; COLOR: rgb(0,0,0); TEXT-INDENT: 0px; WHITE-SPACE: normal; LETTER-SPACING: normal; BORDER-COLLAPSE: separate"><SPAN class=EC_Apple-style-span style="WORD-SPACING: 0px; FONT: 12px Helvetica; TEXT-TRANSFORM: none; COLOR: rgb(0,0,0); TEXT-INDENT: 0px; WHITE-SPACE: normal; LETTER-SPACING: normal; BORDER-COLLAPSE: separate">
<DIV><SPAN class=EC_Apple-style-span style="FONT-SIZE: 16px; FONT-FAMILY: Times">
<A name=idx.208>The</A> following operations are primarily used for address arithmetic:<BR><PRE> ADR (VAR x: Any) : ADDRESS
infix + (x: ADDRESS, y:INTEGER) : ADDRESS
infix - (x: ADDRESS, y:INTEGER) : ADDRESS
infix - (x,y: ADDRESS) : INTEGER
</PRE><TT>ADR(x)</TT> is the address of the variable <TT>x</TT>. The actual argument must be a designator but need not be writable.</SPAN></DIV>
<DIV><FONT class=EC_Apple-style-span face=Times size=4><SPAN class=EC_Apple-style-span style="FONT-SIZE: 16px"><BR></SPAN></FONT></DIV>
<DIV><BR></DIV></SPAN></SPAN></SPAN></SPAN></SPAN></SPAN></SPAN></SPAN></DIV></SPAN></DIV>
<DIV>
<DIV>On 5 Jan 2009, at 08:25, Jay Krell wrote:</DIV><BR class=EC_Apple-interchange-newline>
<BLOCKQUOTE>
<DIV>CVSROOT:<SPAN class=EC_Apple-tab-span style="WHITE-SPACE: pre"> </SPAN>/usr/cvs<BR>Changes by:<SPAN class=EC_Apple-tab-span style="WHITE-SPACE: pre"> </SPAN>jkrell@birch.<SPAN class=EC_Apple-tab-span style="WHITE-SPACE: pre"> </SPAN>09/01/05 08:25:48<BR><BR>Modified files:<BR><SPAN class=EC_Apple-tab-span style="WHITE-SPACE: pre"></SPAN>cm3/m3-sys/m3front/src/builtinOps/: Adr.m3 <BR><BR>Log message:<BR><SPAN class=EC_Apple-tab-span style="WHITE-SPACE: pre"></SPAN>minor cleanup; should see about switching this? Or removing it? Looks like some indecisiveness and that the switched off way is more type-safe..<BR></DIV></BLOCKQUOTE></DIV><BR></DIV></body>
</html>