[Bug-openmcl] ASSOC bug

[Chris Wright]

Hello,

In OpenMCL version 0.14-031220, CCL::ASSEQL (as called by ASSOC)
doesn't signal a TYPE-ERROR when given certain types of bad association
lists.  I haven't kept up with the lastest CVS, so I don't know if this
has been fixed already.

Someshta:/Volumes/Tundra/Programming/lisp/ccl cwright$ ./dppccl
Welcome to OpenMCL Version (Alpha: Darwin) 0.14-031220!
? (assoc 3 '(3))
Unhandled exception 11 at 0x020a3e9c, context->regs at #xf0135738
Read operation to unmapped address 0x0000000f
 While executing: #<Function ASSEQL #x06076f36>
? for help
[3598] OpenMCL kernel debugger: B


(#xF0135C20) #x00004E9C : (subprimitive _ret1valn)
(#xF0135C30) #x021166D4 : #<Function CALL-CHECK-REGS #x0611a22e> + 72
(#xF0135C40) #x00004E9C : (subprimitive _ret1valn)
(#xF0135C50) #x02115294 : #<Function TOPLEVEL-EVAL #x061187e6> + 128
(#xF0135C60) #x02115944 : #<Function READ-LOOP #x06118d96> + 824
(#xF0135C70) #x02115960 : #<Function READ-LOOP #x06118d96> + 852
(#xF0135C80) #x0211598C : #<Function READ-LOOP #x06118d96> + 896
(#xF0135C90) #x021159B8 : #<Function READ-LOOP #x06118d96> + 940
(#xF0135CA0) #x02116620 : #<Function TOPLEVEL-LOOP #x06119ffe> + 44
(#xF0135CB0) #x02116628 : #<Function TOPLEVEL-LOOP #x06119ffe> + 52
(#xF0135CC0) #x02111244 : #<Anonymous Function #x0610ef96> + 104
(#xF0135CD0) #x00004E9C : (subprimitive _ret1valn)
(#xF0135CE0) #x02123CB8 : #<Anonymous Function #x061389f6> + 500
(#xF0135CF0) #x02123B30 : #<Anonymous Function #x061389f6> + 108
(#xF0135D00) #x02100EF0 : #<Function RUN-PROCESS-INITIAL-FORM
#x060fc20e> + 348
(#xF0135D10) #x02100F28 : #<Function RUN-PROCESS-INITIAL-FORM
#x060fc20e> + 404
(#xF0135D20) #x02100F6C : #<Function RUN-PROCESS-INITIAL-FORM
#x060fc20e> + 472
(#xF0135D30) #x00004E9C : (subprimitive _ret1valn)
(#xF0135D40) #x021010E4 : #<Anonymous Function #x060fc336> + 152
(#xF0135D50) #x021010CC : #<Anonymous Function #x060fc336> + 128
(#xF0135D60) #x020FD278 : #<Anonymous Function #x060f7c3e> + 172
(#xF0135D70) #x0000895C : (subprimitive toplevel_loop)
(#xF0135D80) #x00008968 : (subprimitive toplevel_loop)
(#xf0135d90) #x00008A34 : _start_lisp + 180
(#xf0135e50) #x000133AC : _lisp_thread_entry + 152
(#xf0135eb0) #x900247E8 : __pthread_body + 40
(#xf0135f00) #x00000000 : (null) + 0


cstack area #x00300580


(#xBFFFFC30) #x020FE060 : #<Function %NANOSLEEP #x060f8c36> + 268
(#xBFFFFC40) #x021111C0 : #<Anonymous Function #x0610eee6> + 52
(#xBFFFFC50) #x0000895C : (subprimitive toplevel_loop)
(#xBFFFFC60) #x00008968 : (subprimitive toplevel_loop)
(#xbffffc70) #x00008A34 : _start_lisp + 180
[3604] OpenMCL kernel debugger: 


A quick look in the source makes me think that the use of CCL::%CAR on
the list elements is the culprit, but a toplevel (CCL::%CAR 3) doesn't
drop into the kernel debugger, and (ASSOC 3 '(foo)) returns NIL.

Cheers,

Chris Wright



		
__________________________________
Do you Yahoo!?
Yahoo! Mail - You care about security. So do we.
http://promotions.yahoo.com/new_mail