[M3devel] compile errors in m3front's Formal.m3

[Daniel Alejandro Benavides D.]

Hi all:
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.
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).

Thanks in advance

Thanks in advance

--- El sáb, 18/2/12, Jay K <jay.krell at cornell.edu> escribió:

De: Jay K <jay.krell at cornell.edu>
Asunto: RE: [M3devel] compile errors in m3front's Formal.m3
Para: dabenavidesd at yahoo.es, "m3devel" <m3devel at elegosoft.com>, rcolebur at scires.com, "Tony" <hosking at cs.purdue.edu>
Fecha: sábado, 18 de febrero, 2012 17:14




Tony broke this in December.
 
https://mail.elegosoft.com/pipermail/m3commit/2011-December/date.html
 
 - Jay
 
Date: Sat, 18 Feb 2012 20:20:26 +0000
From: dabenavidesd at yahoo.es
To: m3devel at elegosoft.com; rcolebur at SCIRES.COM
Subject: Re: [M3devel] compile errors in m3front's Formal.m3

Hi all:

Randy; I'm trying to verify with head all is OK but currently I can't bootstrap since I hit the same errors.

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:

http://modula3.elegosoft.com/cgi-bin/cvsweb.cgi/~checkout~/cm3/m3-sys/m3front/src/values/Formal.m3?rev=1.13;content-type=text%2Fplain



Thanks in advance

--- El vie, 17/2/12, Coleburn, Randy <rcolebur at SCIRES.COM> escribió:

De: Coleburn, Randy <rcolebur at SCIRES.COM>
Asunto: [M3devel] compile errors in m3front's Formal.m3
Para: "m3devel" <m3devel at elegosoft.com>
Fecha: viernes, 17 de febrero, 2012 17:51


 
 


#yiv1612936010 .yiv1612936010ExternalClass #yiv1612936010ecxyiv1293036 P
{margin-bottom:0px;}





I was rebuilding from HEAD branch and ran into following errors
trying to rebuild m3front.
 
new source -> compiling Formal.m3

"..\src\values\Formal.m3", line 353: parameter not specified (traced)

"..\src\values\Formal.m3", line 432: unknown parameter (rhs)

"..\src\values\Formal.m3", line 432: incompatible types (traced)

"..\src\values\Formal.m3", line 437: parameter not specified (traced)

"..\src\values\Formal.m3", line 492: unknown parameter (rhs)

"..\src\values\Formal.m3", line 492: incompatible types (traced)

"..\src\values\Formal.m3", line 498: parameter not specified (traced)

"..\src\values\Formal.m3", line 512: unknown parameter (rhs)

"..\src\values\Formal.m3", line 512: incompatible types (traced)

"..\src\values\Formal.m3", line 515: parameter not specified (traced)

"..\src\values\Formal.m3", line 530: unknown parameter (rhs)

"..\src\values\Formal.m3", line 530: incompatible types (traced)

"..\src\values\Formal.m3", line 536: parameter not specified (traced)

"..\src\values\Formal.m3", line 552: unknown parameter (rhs)

"..\src\values\Formal.m3", line 552: incompatible types (traced)

"..\src\values\Formal.m3", line 555: parameter not specified (traced)

"..\src\values\Formal.m3", line 608: unknown parameter (rhs)

"..\src\values\Formal.m3", line 608: incompatible types (traced)

"..\src\values\Formal.m3", line 611: parameter not specified (traced)

"..\src\values\Formal.m3", line 627: unknown parameter (rhs)

"..\src\values\Formal.m3", line 627: incompatible types (traced)

"..\src\values\Formal.m3", line 630: parameter not specified (traced)

"..\src\values\Formal.m3", line 649: unknown parameter (rhs)

"..\src\values\Formal.m3", line 649: incompatible types (traced)

"..\src\values\Formal.m3", line 656: parameter not specified (traced)

25 errors encountered
 
Apparently, someone has checked in a change to Formal.m3 that
has compile errors.
 
Can whoever made the change please take a look and correct the problem.
 
Thanks,
Randy Coleburn


 		 	   		  
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://m3lists.elegosoft.com/pipermail/m3devel/attachments/20120218/38beb1ae/attachment-0002.html>