<html><head><base href="x-msg://1734/"></head><body style="word-wrap: break-word; -webkit-nbsp-mode: space; -webkit-line-break: after-white-space; ">Nah, not necessary.<div><br></div><div><div>
<span class="Apple-style-span" style="border-collapse: separate; color: rgb(0, 0, 0); font-family: Helvetica; font-size: 12px; font-style: normal; font-variant: normal; font-weight: normal; letter-spacing: normal; line-height: normal; orphans: 2; text-align: auto; text-indent: 0px; text-transform: none; white-space: normal; widows: 2; word-spacing: 0px; -webkit-border-horizontal-spacing: 0px; -webkit-border-vertical-spacing: 0px; -webkit-text-decorations-in-effect: none; -webkit-text-size-adjust: auto; -webkit-text-stroke-width: 0; "><span class="Apple-style-span" style="border-collapse: separate; -webkit-border-horizontal-spacing: 0px; -webkit-border-vertical-spacing: 0px; color: rgb(0, 0, 0); font-family: Helvetica; font-size: 12px; font-style: normal; font-variant: normal; font-weight: normal; letter-spacing: normal; line-height: normal; -webkit-text-decorations-in-effect: none; text-indent: 0px; -webkit-text-size-adjust: auto; text-transform: none; orphans: 2; white-space: normal; widows: 2; word-spacing: 0px; "><div style="word-wrap: break-word; -webkit-nbsp-mode: space; -webkit-line-break: after-white-space; "><span class="Apple-style-span" style="border-collapse: separate; -webkit-border-horizontal-spacing: 0px; -webkit-border-vertical-spacing: 0px; color: rgb(0, 0, 0); font-family: Helvetica; font-size: 12px; font-style: normal; font-variant: normal; font-weight: normal; letter-spacing: normal; line-height: normal; -webkit-text-decorations-in-effect: none; text-indent: 0px; -webkit-text-size-adjust: auto; text-transform: none; orphans: 2; white-space: normal; widows: 2; word-spacing: 0px; "><span class="Apple-style-span" style="border-collapse: separate; -webkit-border-horizontal-spacing: 0px; -webkit-border-vertical-spacing: 0px; color: rgb(0, 0, 0); font-family: Helvetica; font-size: 12px; font-style: normal; font-variant: normal; font-weight: normal; letter-spacing: normal; line-height: normal; -webkit-text-decorations-in-effect: none; text-indent: 0px; -webkit-text-size-adjust: auto; text-transform: none; orphans: 2; white-space: normal; widows: 2; word-spacing: 0px; "><span class="Apple-style-span" style="border-collapse: separate; -webkit-border-horizontal-spacing: 0px; -webkit-border-vertical-spacing: 0px; color: rgb(0, 0, 0); font-family: Helvetica; font-size: 12px; font-style: normal; font-variant: normal; font-weight: normal; letter-spacing: normal; line-height: normal; -webkit-text-decorations-in-effect: none; text-indent: 0px; -webkit-text-size-adjust: auto; text-transform: none; orphans: 2; white-space: normal; widows: 2; word-spacing: 0px; "><span class="Apple-style-span" style="border-collapse: separate; -webkit-border-horizontal-spacing: 0px; -webkit-border-vertical-spacing: 0px; color: rgb(0, 0, 0); font-family: Helvetica; font-size: 12px; font-style: normal; font-variant: normal; font-weight: normal; letter-spacing: normal; line-height: normal; -webkit-text-decorations-in-effect: none; text-indent: 0px; -webkit-text-size-adjust: auto; text-transform: none; orphans: 2; white-space: normal; widows: 2; word-spacing: 0px; "><span class="Apple-style-span" style="border-collapse: separate; -webkit-border-horizontal-spacing: 0px; -webkit-border-vertical-spacing: 0px; color: rgb(0, 0, 0); font-family: Helvetica; font-size: 12px; font-style: normal; font-variant: normal; font-weight: normal; letter-spacing: normal; line-height: normal; -webkit-text-decorations-in-effect: none; text-indent: 0px; -webkit-text-size-adjust: auto; text-transform: none; orphans: 2; white-space: normal; widows: 2; word-spacing: 0px; "><span class="Apple-style-span" style="border-collapse: separate; -webkit-border-horizontal-spacing: 0px; -webkit-border-vertical-spacing: 0px; color: rgb(0, 0, 0); font-family: Helvetica; font-size: 12px; font-style: normal; font-variant: normal; font-weight: normal; letter-spacing: normal; line-height: normal; -webkit-text-decorations-in-effect: none; text-indent: 0px; -webkit-text-size-adjust: auto; text-transform: none; orphans: 2; white-space: normal; widows: 2; word-spacing: 0px; "><span class="Apple-style-span" style="border-collapse: separate; -webkit-border-horizontal-spacing: 0px; -webkit-border-vertical-spacing: 0px; color: rgb(0, 0, 0); font-family: Helvetica; font-size: 12px; font-style: normal; font-variant: normal; font-weight: normal; letter-spacing: normal; line-height: normal; -webkit-text-decorations-in-effect: none; text-indent: 0px; -webkit-text-size-adjust: auto; text-transform: none; orphans: 2; white-space: normal; widows: 2; word-spacing: 0px; "><span class="Apple-style-span" style="border-collapse: separate; -webkit-border-horizontal-spacing: 0px; -webkit-border-vertical-spacing: 0px; color: rgb(0, 0, 0); font-family: Helvetica; font-size: 12px; font-style: normal; font-variant: normal; font-weight: normal; letter-spacing: normal; line-height: normal; -webkit-text-decorations-in-effect: none; text-indent: 0px; -webkit-text-size-adjust: auto; text-transform: none; orphans: 2; white-space: normal; widows: 2; word-spacing: 0px; "><div><font class="Apple-style-span" color="#0000FF"><font class="Apple-style-span" face="Gill Sans"><span class="Apple-style-span" style="color: rgb(0, 0, 255); font-family: 'Gill Sans'; "><span class="Apple-style-span" style="color: rgb(0, 0, 255); font-family: 'Gill Sans'; ">Antony Hosking</span></span></font></font><font class="Apple-style-span" face="Gill Sans"><span class="Apple-style-span" style="font-family: 'Gill Sans'; "><span class="Apple-style-span" style="font-family: 'Gill Sans'; "><span class="Apple-converted-space"> </span>|<span class="Apple-converted-space"> </span></span></span><span class="Apple-style-span" style="font-family: 'Gill Sans'; "><span class="Apple-style-span" style="font-family: 'Gill Sans'; ">Associate Professor</span></span><span class="Apple-style-span" style="font-family: 'Gill Sans'; "><span class="Apple-style-span" style="font-family: 'Gill Sans'; "> | Computer Science | Purdue University</span></span></font></div><div><font class="Apple-style-span" face="GillSans-Light"><span class="Apple-style-span" style="font-family: GillSans-Light; ">305 N. University Street | West Lafayette | IN 47907 | USA</span></font></div><div><font class="Apple-style-span" color="#0000FF" face="Gill Sans"><span class="Apple-style-span" style="color: rgb(0, 0, 255); font-family: 'Gill Sans'; "><span class="Apple-style-span" style="color: rgb(0, 0, 255); font-family: 'Gill Sans'; ">Office</span></span></font><font class="Apple-style-span" face="GillSans-Light"><span class="Apple-style-span" style="font-family: GillSans-Light; "><span class="Apple-style-span" style="font-family: GillSans-Light; "> +1 765 494 6001 |<span class="Apple-converted-space"> </span></span></span></font><font class="Apple-style-span" color="#0000FF" face="Gill Sans"><span class="Apple-style-span" style="color: rgb(0, 0, 255); font-family: 'Gill Sans'; "><span class="Apple-style-span" style="color: rgb(0, 0, 255); font-family: 'Gill Sans'; ">Mobile</span></span></font><font class="Apple-style-span" face="GillSans-Light"><span class="Apple-style-span" style="font-family: GillSans-Light; "><span class="Apple-style-span" style="font-family: GillSans-Light; "><span class="Apple-converted-space"> </span>+1 765 427 5484</span></span></font></div><div><font class="Apple-style-span" face="GillSans-Light"><br class="khtml-block-placeholder"></font></div></span></span></span></span></span></span></span><br class="Apple-interchange-newline"></span></div></span></span><br class="Apple-interchange-newline">
</div>
<br><div><div>On 7 Feb 2010, at 21:15, Jay K wrote:</div><br class="Apple-interchange-newline"><blockquote type="cite"><span class="Apple-style-span" style="border-collapse: separate; font-family: Helvetica; font-size: medium; font-style: normal; font-variant: normal; font-weight: normal; letter-spacing: normal; line-height: normal; orphans: 2; text-indent: 0px; text-transform: none; white-space: normal; widows: 2; word-spacing: 0px; -webkit-border-horizontal-spacing: 0px; -webkit-border-vertical-spacing: 0px; -webkit-text-decorations-in-effect: none; -webkit-text-size-adjust: auto; -webkit-text-stroke-width: 0px; "><div class="hmmessage" style="font-size: 10pt; font-family: Verdana; ">I wonder if we need<br> TInt8, TInt16, TInt32, TInt64, TInt, TLong<br> TWord8, TWord16, TWord32, TWord64, TWord, TLongWord<br> <br>that accurately implement ints/words of the exact specified size,<br>with TInt/TWord/TLong/TLongWord depending on the target.<br>I wouldn't mind trying to remove this word "Word".<br>And replace it with UInt or such.<br>TInt, TUInt, TLong, TULong?<br>TSignedInt, TUnsignedInt, TSignedLong, TUnsignedLong?<br>TInt, TUnsignedInt, TLong, TUnsignedLong?<br> <br>TInt.Zero is just always 8 bytes.<br>The size is I believe meant to be fairly opaque to the user.<br>This is the first I've noticed it being visible, such that TInt.EQ is true for values with "quite different" behavior. I would have "thunk" (thought without much thought) that anything TInt.EQ is more equivalent than they actually are.<br> <br> <br> - Jay<br><br> <br><hr id="stopSpelling">From:<span class="Apple-converted-space"> </span><a href="mailto:jay.krell@cornell.edu">jay.krell@cornell.edu</a><br>To:<span class="Apple-converted-space"> </span><a href="mailto:hosking@cs.purdue.edu">hosking@cs.purdue.edu</a><br>Date: Mon, 8 Feb 2010 01:47:59 +0000<br>CC:<span class="Apple-converted-space"> </span><a href="mailto:m3commit@elegosoft.com">m3commit@elegosoft.com</a><br>Subject: Re: [M3commit] CVS Update: cm3<br><br>hm. Bug perhaps in TWord:<br> <br>PROCEDURE Extract (READONLY x: Int; i, n: CARDINAL; VAR r: Int): BOOLEAN =<br> VAR w, b: INTEGER;<br> size := x.n * BITSIZE (IByte);<br> BEGIN<br> IF i + n > size THEN RETURN FALSE; END;<br> Shift (x, -i, r);<br><br> <br>and maybe:<br> <br> <br>PROCEDURE Insert (READONLY x, y: Int; i, n: CARDINAL; VAR r: Int): BOOLEAN =<br> VAR yy, yyy, yyyy: Int;<br> size := x.n * BITSIZE (IByte);<br> BEGIN<br> IF i + n > size THEN RETURN FALSE; END;<br><br> <br>I propose that TWord.Extract interpret all values as infinitely extended with zeros.<br>Er, well, except that it makes me a bit scared too (esp. I'm currently without my good editor to really search/read the code).<br>And Insert widen infinitely to fit whatever is being inserted?<br> <br> <br>Will it break stuff?<br> <br> <br> - Jay<br><br> <br><hr id="ecxstopSpelling">From:<span class="Apple-converted-space"> </span><a href="mailto:jay.krell@cornell.edu">jay.krell@cornell.edu</a><br>To:<span class="Apple-converted-space"> </span><a href="mailto:hosking@cs.purdue.edu">hosking@cs.purdue.edu</a><br>Date: Mon, 8 Feb 2010 01:40:46 +0000<br>CC:<span class="Apple-converted-space"> </span><a href="mailto:m3commit@elegosoft.com">m3commit@elegosoft.com</a><br>Subject: Re: [M3commit] CVS Update: cm3<br><br>This really puzzles me, that using TInt.Zero makes it fail.<br>I do see a subtle difference, n of TInt.Zero is always 8,<br>but the CG.m3 code uses 4 for for 32bit.<br> <br> - Jay<br> <br><hr id="ecxecxstopSpelling">From:<span class="Apple-converted-space"> </span><a href="mailto:jay.krell@cornell.edu">jay.krell@cornell.edu</a><br>To:<span class="Apple-converted-space"> </span><a href="mailto:hosking@cs.purdue.edu">hosking@cs.purdue.edu</a><br>Date: Mon, 8 Feb 2010 01:27:30 +0000<br>CC:<span class="Apple-converted-space"> </span><a href="mailto:m3commit@elegosoft.com">m3commit@elegosoft.com</a><br>Subject: Re: [M3commit] CVS Update: cm3<br><br>Oddly, just using TInt.Zero apparently breaks it all.<br>Assertion failures all over ThreadWin32.m3.<br>I'll dig a *little*.<br>Well, er, maybe just try your change without the TInt.Zero part?<br> <br> - Jay<br> <br><hr id="ecxecxecxstopSpelling">From:<span class="Apple-converted-space"> </span><a href="mailto:jay.krell@cornell.edu">jay.krell@cornell.edu</a><br>To:<span class="Apple-converted-space"> </span><a href="mailto:hosking@cs.purdue.edu">hosking@cs.purdue.edu</a><br>Date: Mon, 8 Feb 2010 01:09:42 +0000<br>CC:<span class="Apple-converted-space"> </span><a href="mailto:m3commit@elegosoft.com">m3commit@elegosoft.com</a><br>Subject: Re: [M3commit] CVS Update: cm3<br><br>Same thing on Linux/x86.<br>i.e. it breaks everything.<br> <br> - Jay<br><br> <br><hr id="ecxecxecxecxstopSpelling">From:<span class="Apple-converted-space"> </span><a href="mailto:jay.krell@cornell.edu">jay.krell@cornell.edu</a><br>To:<span class="Apple-converted-space"> </span><a href="mailto:hosking@cs.purdue.edu">hosking@cs.purdue.edu</a><br>Date: Mon, 8 Feb 2010 01:05:58 +0000<br>CC:<span class="Apple-converted-space"> </span><a href="mailto:m3commit@elegosoft.com">m3commit@elegosoft.com</a><br>Subject: Re: [M3commit] CVS Update: cm3<br><br>I'll look a bit.<br>I'll double check the starting point, and try on Linux. This was on NT386, which has another problem initializing things larger than integer.<br> <br> - Jay<br><br> <br><hr id="ecxecxecxecxecxstopSpelling">Subject: Re: [M3commit] CVS Update: cm3<br>From:<span class="Apple-converted-space"> </span><a href="mailto:hosking@cs.purdue.edu">hosking@cs.purdue.edu</a><br>Date: Sun, 7 Feb 2010 19:57:17 -0500<br>CC:<span class="Apple-converted-space"> </span><a href="mailto:m3commit@elegosoft.com">m3commit@elegosoft.com</a><br>To:<span class="Apple-converted-space"> </span><a href="mailto:jay.krell@cornell.edu">jay.krell@cornell.edu</a><br><br>Rats! I'll look into it.<div><br><div><span class="ecxecxecxecxecxecxApple-style-span" style="text-transform: none; text-indent: 0px; border-collapse: separate; font: normal normal normal 12px/normal Helvetica; white-space: normal; letter-spacing: normal; color: rgb(0, 0, 0); word-spacing: 0px; "><span class="ecxecxecxecxecxecxApple-style-span" style="text-transform: none; text-indent: 0px; border-collapse: separate; font: normal normal normal 12px/normal Helvetica; white-space: normal; letter-spacing: normal; color: rgb(0, 0, 0); word-spacing: 0px; "><div style="word-wrap: break-word; "><span class="ecxecxecxecxecxecxApple-style-span" style="text-transform: none; text-indent: 0px; border-collapse: separate; font: normal normal normal 12px/normal Helvetica; white-space: normal; letter-spacing: normal; color: rgb(0, 0, 0); word-spacing: 0px; "><span class="ecxecxecxecxecxecxApple-style-span" style="text-transform: none; text-indent: 0px; border-collapse: separate; font: normal normal normal 12px/normal Helvetica; white-space: normal; letter-spacing: normal; color: rgb(0, 0, 0); word-spacing: 0px; "><span class="ecxecxecxecxecxecxApple-style-span" style="text-transform: none; text-indent: 0px; border-collapse: separate; font: normal normal normal 12px/normal Helvetica; white-space: normal; letter-spacing: normal; color: rgb(0, 0, 0); word-spacing: 0px; "><span class="ecxecxecxecxecxecxApple-style-span" style="text-transform: none; text-indent: 0px; border-collapse: separate; font: normal normal normal 12px/normal Helvetica; white-space: normal; letter-spacing: normal; color: rgb(0, 0, 0); word-spacing: 0px; "><span class="ecxecxecxecxecxecxApple-style-span" style="text-transform: none; text-indent: 0px; border-collapse: separate; font: normal normal normal 12px/normal Helvetica; white-space: normal; letter-spacing: normal; color: rgb(0, 0, 0); word-spacing: 0px; "><span class="ecxecxecxecxecxecxApple-style-span" style="text-transform: none; text-indent: 0px; border-collapse: separate; font: normal normal normal 12px/normal Helvetica; white-space: normal; letter-spacing: normal; color: rgb(0, 0, 0); word-spacing: 0px; "><span class="ecxecxecxecxecxecxApple-style-span" style="text-transform: none; text-indent: 0px; border-collapse: separate; font: normal normal normal 12px/normal Helvetica; white-space: normal; letter-spacing: normal; color: rgb(0, 0, 0); word-spacing: 0px; "><span class="ecxecxecxecxecxecxApple-style-span" style="text-transform: none; text-indent: 0px; border-collapse: separate; font: normal normal normal 12px/normal Helvetica; white-space: normal; letter-spacing: normal; color: rgb(0, 0, 0); word-spacing: 0px; "><div><font class="ecxecxecxecxecxecxApple-style-span" color="#0000ff"><font class="ecxecxecxecxecxecxApple-style-span" face="Gill Sans"><span class="ecxecxecxecxecxecxApple-style-span" style="font-family: 'Gill Sans'; color: rgb(0, 0, 255); "><span class="ecxecxecxecxecxecxApple-style-span" style="font-family: 'Gill Sans'; color: rgb(0, 0, 255); ">Antony Hosking</span></span></font></font><font class="ecxecxecxecxecxecxApple-style-span" face="Gill Sans"><span class="ecxecxecxecxecxecxApple-style-span" style="font-family: 'Gill Sans'; "><span class="ecxecxecxecxecxecxApple-style-span" style="font-family: 'Gill Sans'; "><span class="ecxecxecxecxecxecxApple-converted-space"> </span>|<span class="ecxecxecxecxecxecxApple-converted-space"> </span></span></span><span class="ecxecxecxecxecxecxApple-style-span" style="font-family: 'Gill Sans'; "><span class="ecxecxecxecxecxecxApple-style-span" style="font-family: 'Gill Sans'; ">Associate Professor</span></span><span class="ecxecxecxecxecxecxApple-style-span" style="font-family: 'Gill Sans'; "><span class="ecxecxecxecxecxecxApple-style-span" style="font-family: 'Gill Sans'; "> | Computer Science | Purdue University</span></span></font></div><div><font class="ecxecxecxecxecxecxApple-style-span" face="GillSans-Light"><span class="ecxecxecxecxecxecxApple-style-span" style="font-family: GillSans-Light; ">305 N. University Street | West Lafayette | IN 47907 | USA</span></font></div><div><font class="ecxecxecxecxecxecxApple-style-span" color="#0000ff" face="Gill Sans"><span class="ecxecxecxecxecxecxApple-style-span" style="font-family: 'Gill Sans'; color: rgb(0, 0, 255); "><span class="ecxecxecxecxecxecxApple-style-span" style="font-family: 'Gill Sans'; color: rgb(0, 0, 255); ">Office</span></span></font><font class="ecxecxecxecxecxecxApple-style-span" face="GillSans-Light"><span class="ecxecxecxecxecxecxApple-style-span" style="font-family: GillSans-Light; "><span class="ecxecxecxecxecxecxApple-style-span" style="font-family: GillSans-Light; "> +1 765 494 6001 |<span class="ecxecxecxecxecxecxApple-converted-space"> </span></span></span></font><font class="ecxecxecxecxecxecxApple-style-span" color="#0000ff" face="Gill Sans"><span class="ecxecxecxecxecxecxApple-style-span" style="font-family: 'Gill Sans'; color: rgb(0, 0, 255); "><span class="ecxecxecxecxecxecxApple-style-span" style="font-family: 'Gill Sans'; color: rgb(0, 0, 255); ">Mobile</span></span></font><font class="ecxecxecxecxecxecxApple-style-span" face="GillSans-Light"><span class="ecxecxecxecxecxecxApple-style-span" style="font-family: GillSans-Light; "><span class="ecxecxecxecxecxecxApple-style-span" style="font-family: GillSans-Light; "><span class="ecxecxecxecxecxecxApple-converted-space"> </span>+1 765 427 5484</span></span></font></div><div><font class="ecxecxecxecxecxecxApple-style-span" face="GillSans-Light"><br class="ecxecxecxecxecxecxkhtml-block-placeholder"></font></div></span></span></span></span></span></span></span><br class="ecxecxecxecxecxecxApple-interchange-newline"></span></div></span></span><br class="ecxecxecxecxecxecxApple-interchange-newline"></div><br><div><div>On 7 Feb 2010, at 19:49, Jay K wrote:</div><br class="ecxecxecxecxecxecxApple-interchange-newline"><blockquote><span class="ecxecxecxecxecxecxApple-style-span" style="text-transform: none; text-indent: 0px; border-collapse: separate; font: normal normal normal medium/normal Helvetica; white-space: normal; letter-spacing: normal; word-spacing: 0px; "><div class="ecxecxecxecxecxecxhmmessage" style="font-family: Verdana; font-size: 10pt; ">new source -> compiling RTHooks.m3<br>"..\src\runtime\common\RTHooks.m3", line 18: ** INTERNAL CG ERROR *** unable to<br>convert or initialize bit field value?? n_bytes=4 size=32<br>"..\src\runtime\common\RTHooks.m3", line 18: ** INTERNAL CG ERROR *** unable to<br>convert or initialize bit field value?? n_bytes=4 size=32<br>"..\src\runtime\common\RTHooks.m3", line 18: ** INTERNAL CG ERROR *** unable to<br>convert or initialize bit field value?? n_bytes=4 size=32<br>"..\src\runtime\common\RTHooks.m3", line 18: ** INTERNAL CG ERROR *** unable to<br>convert or initialize bit field value?? n_bytes=4 size=32<br>"..\src\runtime\common\RTHooks.m3", line 18: ** INTERNAL CG ERROR *** unable to<br>convert or initialize bit field value?? n_bytes=4 size=32<br>"..\src\runtime\common\RTHooks.m3", line 18: ** INTERNAL CG ERROR *** unable to<br><br><br> - Jay<br><br> <br>> Date: Mon, 8 Feb 2010 01:18:13 +0000<br>> To:<span class="ecxecxecxecxecxecxApple-converted-space"> </span><a href="mailto:m3commit@elegosoft.com">m3commit@elegosoft.com</a><br>> From:<span class="ecxecxecxecxecxecxApple-converted-space"> </span><a href="mailto:hosking@elego.de">hosking@elego.de</a><br>> Subject: [M3commit] CVS Update: cm3<br>><span class="ecxecxecxecxecxecxApple-converted-space"> </span><br>> CVSROOT: /usr/cvs<br>> Changes by: hosking@birch. 10/02/08 01:18:13<br>><span class="ecxecxecxecxecxecxApple-converted-space"> </span><br>> Modified files:<br>> cm3/m3-sys/m3front/src/misc/: CG.m3<span class="ecxecxecxecxecxecxApple-converted-space"> </span><br>><span class="ecxecxecxecxecxecxApple-converted-space"> </span><br>> Log message:<br>> Fix bug for constant initialization of LONGINT static data:<br>><span class="ecxecxecxecxecxecxApple-converted-space"> </span><br>> MODULE Main;<br>> VAR a := 1L;<br>> BEGIN<br>> END Main.<br>><span class="ecxecxecxecxecxecxApple-converted-space"> </span><br></div></span></blockquote></div><br></div></div></span><br class="Apple-interchange-newline"></blockquote></div><br></div></body></html>