[armedbear-ticket] [armedbear] #113: DEFSTRUCT redefinition can crash ABCL on MAKE-STRUCT

armedbear armedbear-devel at common-lisp.net
Sat Jul 28 14:47:54 UTC 2012


#113: DEFSTRUCT redefinition can crash ABCL on MAKE-STRUCT
------------------------+---------------------------------------------------
 Reporter:  mseddon     |       Owner:  mevenson
     Type:  defect      |      Status:  assigned
 Priority:  critical    |   Milestone:  1.1.0   
Component:  java        |     Version:          
 Keywords:  needs-test  |  
------------------------+---------------------------------------------------

Comment(by ehuelsmann):

 Problem is that we have DEFSTRUCTs in our code; we can't just reject
 redefinition, because that'd negatively interact with our current
 bootstrapping procedure.

 Analysis of other implementations:
 1. SBCL offers a restart Continue/recklessly-continue/Abort
 2. clisp just continues

 The solution we want to see implemented is: detect differences in
 definition and offer a restart to continue (change it).

 This doesn't affect our bootstrapping since we always define to the same
 definition.

-- 
Ticket URL: <http://trac.common-lisp.net/armedbear/ticket/113#comment:9>
armedbear <http://common-lisp.net/project/armedbear>
armedbear


More information about the armedbear-ticket mailing list