<table cellspacing="0" cellpadding="0" border="0" ><tr><td valign="top" style="font: inherit;">Hi all:<br>Without trying to spam (sorry if anybody thinks so), the problem might be in the compiler itself rather than in the source code in last revision.<br>But now, who can give it a try of compiling that with the Modula-3 front-end and verify that the compiler is wrong (and the only thing that comes to mind is the Olivetti Modula-3 pragmas, somehow we should develop verification condition generator for that in an effort to correct this), perhaps that's easier to proof I assume, rather than trying to check for erasing changes over and over (I mean one would never finish as C-based SE has proved).<br><br>Thanks in advance<br><br>Thanks in advance<br><br>--- El <b>sáb, 18/2/12, Jay K <i><jay.krell@cornell.edu></i></b> escribió:<br><blockquote style="border-left: 2px solid rgb(16, 16, 255); margin-left: 5px; padding-left: 5px;"><br>De: Jay K
<jay.krell@cornell.edu><br>Asunto: RE: [M3devel] compile errors in m3front's Formal.m3<br>Para: dabenavidesd@yahoo.es, "m3devel" <m3devel@elegosoft.com>, rcolebur@scires.com, "Tony" <hosking@cs.purdue.edu><br>Fecha: sábado, 18 de febrero, 2012 17:14<br><br><div id="yiv1612936010">
<style><!--
#yiv1612936010 .yiv1612936010hmmessage P
{
margin:0px;padding:0px;}
#yiv1612936010 body.yiv1612936010hmmessage
{
font-size:10pt;font-family:Tahoma;}
--></style><div><div dir="ltr">
Tony broke this in December.<br> <br><a rel="nofollow" target="_blank" href="https://mail.elegosoft.com/pipermail/m3commit/2011-December/date.html">https://mail.elegosoft.com/pipermail/m3commit/2011-December/date.html</a><br> <br> - Jay<br> <br><div><div id="yiv1612936010SkyDrivePlaceholder"></div><hr id="yiv1612936010stopSpelling">Date: Sat, 18 Feb 2012 20:20:26 +0000<br>From: dabenavidesd@yahoo.es<br>To: m3devel@elegosoft.com; rcolebur@SCIRES.COM<br>Subject: Re: [M3devel] compile errors in m3front's Formal.m3<br><br><table border="0" cellpadding="0" cellspacing="0"><tbody><tr><td style="font-family: inherit; font-style: inherit; font-variant: inherit; font-weight: inherit; font-size: inherit; line-height: inherit; font-size-adjust: inherit; font-stretch: inherit;" valign="top">Hi all:<br>
Randy; I'm trying to verify with head all is OK but currently I can't bootstrap since I hit the same errors.<br>
The other option will be trying to restore the old version (rev 1.13, I
assume I have that already, but I refuse to downgrade unless it is a real error, who knows if the compiler has that error, I
guess there is a way to bootstrap that again, but I can't do anything
else if the compiler can't compile it) in any event:<br>
http://modula3.elegosoft.com/cgi-bin/cvsweb.cgi/~checkout~/cm3/m3-sys/m3front/src/values/Formal.m3?rev=1.13;content-type=text%2Fplain<br>
<br>
Thanks in advance<br><br>--- El <b>vie, 17/2/12, Coleburn, Randy <i><rcolebur@SCIRES.COM></i></b> escribió:<br><blockquote style="padding-left: 5px; margin-left: 5px;"><br>De: Coleburn, Randy <rcolebur@SCIRES.COM><br>Asunto: [M3devel] compile errors in m3front's Formal.m3<br>Para: "m3devel" <m3devel@elegosoft.com><br>Fecha: viernes, 17 de febrero, 2012 17:51<br><br><div id="yiv1612936010ecxyiv1293036">
<style>
</style><style>
#yiv1612936010 .yiv1612936010ExternalClass #yiv1612936010ecxyiv1293036 P
{margin-bottom:0px;}
</style>
<div>
<div style="color: rgb(0, 0, 0); font-family: Tahoma; font-size: x-small; direction: ltr;">
<div></div>
<div dir="ltr"><font color="#000000" face="Tahoma" size="2">I was rebuilding from HEAD branch and ran into following errors</font></div>
<div dir="ltr"><font face="tahoma">trying to rebuild m3front.</font></div>
<div dir="ltr"><font face="tahoma"></font> </div>
<div dir="ltr"><font color="#000000" face="Tahoma" size="2">new source -> compiling Formal.m3<br>
"..\src\values\Formal.m3", line 353: parameter not specified (traced)<br>
"..\src\values\Formal.m3", line 432: unknown parameter (rhs)<br>
"..\src\values\Formal.m3", line 432: incompatible types (traced)<br>
"..\src\values\Formal.m3", line 437: parameter not specified (traced)<br>
"..\src\values\Formal.m3", line 492: unknown parameter (rhs)<br>
"..\src\values\Formal.m3", line 492: incompatible types (traced)<br>
"..\src\values\Formal.m3", line 498: parameter not specified (traced)<br>
"..\src\values\Formal.m3", line 512: unknown parameter (rhs)<br>
"..\src\values\Formal.m3", line 512: incompatible types (traced)<br>
"..\src\values\Formal.m3", line 515: parameter not specified (traced)<br>
"..\src\values\Formal.m3", line 530: unknown parameter (rhs)<br>
"..\src\values\Formal.m3", line 530: incompatible types (traced)<br>
"..\src\values\Formal.m3", line 536: parameter not specified (traced)<br>
"..\src\values\Formal.m3", line 552: unknown parameter (rhs)<br>
"..\src\values\Formal.m3", line 552: incompatible types (traced)<br>
"..\src\values\Formal.m3", line 555: parameter not specified (traced)<br>
"..\src\values\Formal.m3", line 608: unknown parameter (rhs)<br>
"..\src\values\Formal.m3", line 608: incompatible types (traced)<br>
"..\src\values\Formal.m3", line 611: parameter not specified (traced)<br>
"..\src\values\Formal.m3", line 627: unknown parameter (rhs)<br>
"..\src\values\Formal.m3", line 627: incompatible types (traced)<br>
"..\src\values\Formal.m3", line 630: parameter not specified (traced)<br>
"..\src\values\Formal.m3", line 649: unknown parameter (rhs)<br>
"..\src\values\Formal.m3", line 649: incompatible types (traced)<br>
"..\src\values\Formal.m3", line 656: parameter not specified (traced)<br>
25 errors encountered</font></div>
<div dir="ltr"><font face="tahoma"></font> </div>
<div dir="ltr"><font face="tahoma">Apparently, someone has checked in a change to Formal.m3 that</font></div>
<div dir="ltr"><font face="tahoma">has compile errors.</font></div>
<div dir="ltr"><font face="tahoma"></font> </div>
<div dir="ltr"><font face="tahoma">Can whoever made the change please take a look and correct the problem.</font></div>
<div dir="ltr"><font face="tahoma"></font> </div>
<div dir="ltr"><font face="tahoma">Thanks,</font></div>
<div dir="ltr"><font face="tahoma">Randy Coleburn</font></div>
</div>
</div>
</div></blockquote></td></tr></tbody></table></div> </div></div>
</div></blockquote></td></tr></table>