[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 14:07:25 -0500 |
|
User-agent: |
Mozilla/5.0 (Windows; U; Windows NT 5.1; en-US; rv:1.5) Gecko/20031007 Firebird/0.7 |
=================== BUG #6302: LATEST MODIFICATIONS ==================
http://savannah.gnu.org/bugs/?func=detailbug&bug_id=6302&group_id=145
Changes by: Chris Dean <address@hidden>
Date: Sun 11/02/2003 at 11:07 (US/Pacific)
------------------ Additional Follow-up Comments ----------------------------
Sure, I understand all that. A compile time error is a fine solution. Kawa is
usually more forgiving than R5RS syntax, which is why I phrased it as I did.
Thanks!
=================== BUG #6302: FULL BUG SNAPSHOT ===================
Submitted by: ctdean Project: Kawa
Submitted on: Sat 11/01/2003 at 16: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 11:07 By: ctdean
Sure, I understand all that. A compile time error is a fine solution. Kawa is
usually more forgiving than R5RS syntax, which is why I phrased it as I did.
Thanks!
-------------------------------------------------------
Date: Sun 11/02/2003 at 00: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/