[Bug-kawa] [bugs #8955] VerifyError in srfi1.scm

[Per Bothner]

This mail is an automated notification from the bugs tracker
 of the project: Kawa.

/**************************************************************************/
[bugs #8955] Latest Modifications:

Changes by: 
                Per Bothner <address@hidden>
'Date: 
                Tue 05/18/04 at 00:21 (GMT)

            What     | Removed                   | Added
---------------------------------------------------------------------------
          Resolution | None                      | Fixed
         Assigned to | None                      | bothner
              Status | Open                      | Closed


------------------ Additional Follow-up Comments ----------------------------
I checked in to CVS the testcase and a fix (attached).






/**************************************************************************/
[bugs #8955] Full Item Snapshot:

URL: <http://savannah.gnu.org/bugs/?func=detailitem&item_id=8955>
Project: Kawa
Submitted by: 0
On: Fri 05/14/04 at 02:09

Category:  Code generation
Severity:  5 - Average
Item Group:  Compile-time exception
Resolution:  Fixed
Assigned to:  bothner
Status:  Closed


Summary:  VerifyError in srfi1.scm

Original Submission:  Latest code generates class files that cause a VerifyError
when loaded.  Patch to testsuite attached that shows the
problem.

Follow-up Comments
------------------


-------------------------------------------------------
Date: Tue 05/18/04 at 00:21         By: bothner
I checked in to CVS the testcase and a fix (attached).

-------------------------------------------------------
Date: Fri 05/14/04 at 07:08         By: ctdean
I forgot to mention that I believe the problem was
introduced by the 22 Apr 2004 checkin to LambdaExp.java and
ApplyExp.java:


        * LambdaExp.java (loadHeapFrame):  May need to use closureEnv,
        even when this is curLambda.  Fix verification error on psyntax.pp
        * LambdaExp.java (compileEnd):  Don't popScope if inlineOnly,
        since closureEnv may be needed for nested inlined methods.
        * ApplyExp.java (compile): Do popScope later after compileChildMethods.









File Attachments
-------------------

-------------------------------------------------------
Date: Tue 05/18/04 at 00:21  Name: inlinedIn.patch  Size: 933KB   By: bothner
Patch.
http://savannah.gnu.org/bugs/download.php?item_id=8955&amp;item_file_id=1315

-------------------------------------------------------
Date: Fri 05/14/04 at 02:09  Name: misc-test.patch  Size: 607KB   By: None

http://savannah.gnu.org/bugs/download.php?item_id=8955&amp;item_file_id=1301






For detailed info, follow this link:
<http://savannah.gnu.org/bugs/?func=detailitem&item_id=8955>

_______________________________________________
  Message sent via/by Savannah
  http://savannah.gnu.org/