[Top][All Lists]
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
[Bug-kawa] [bug #6302] Internal define causes class cast exception
|
From: |
nobody |
|
Subject: |
[Bug-kawa] [bug #6302] Internal define causes class cast exception |
|
Date: |
Sun, 02 Nov 2003 03:38:23 -0500 |
|
User-agent: |
Mozilla/5.0 (Macintosh; U; PPC Mac OS X Mach-O; en-US; rv:1.5b) Gecko/20030827 |
=================== BUG #6302: LATEST MODIFICATIONS ==================
http://savannah.gnu.org/bugs/?func=detailbug&bug_id=6302&group_id=145
Changes by: Per Bothner <address@hidden>
Date: Sun 11/02/2003 at 08:38 (GMT)
What | Removed | Added
---------------------------------------------------------------------------
Category | Code generation | Scheme language
Bug Group | Run-time exception | Bad diagnostic
------------------ Additional Follow-up Comments ----------------------------
The code is more than strange - it is not valid Scheme code.
You can have "internal definitions" in a <body>, but function
parameters are not a <body> in Scheme syntax.
The bug here is in Kawa not rejecting the program at
compile-time as having invalid syntax.
=================== BUG #6302: FULL BUG SNAPSHOT ===================
Submitted by: ctdean Project: Kawa
Submitted on: Sun 11/02/2003 at 00:21
Category: Scheme language Severity: 5 - Major
Bug Group: Bad diagnostic Resolution: None
Assigned to: None Status: Open
Summary: Internal define causes class cast exception
Original Submission: After compiling this (admittedly strange) code, we get a
class cast excpetion when run. This code occurs in some autogenerated ares and
is difficult to remove.
(define (foo)
(format "~A" (define (bar) 1)))
(format #t "result is ~S~%" (foo2))
This gives:
((Foo) this).id$bar = (Symbol) (gnu.mapping.Procedure) bar$Fn1;
The cast to (Symbol) is not the right bytecode to generate.
Follow-up Comments
*******************
-------------------------------------------------------
Date: Sun 11/02/2003 at 08:38 By: bothner
The code is more than strange - it is not valid Scheme code.
You can have "internal definitions" in a <body>, but function
parameters are not a <body> in Scheme syntax.
The bug here is in Kawa not rejecting the program at
compile-time as having invalid syntax.
CC list is empty
No files currently attached
For detailed info, follow this link:
http://savannah.gnu.org/bugs/?func=detailbug&bug_id=6302&group_id=145
_______________________________________________
Message sent via/by Savannah
http://savannah.gnu.org/