[prev in list] [next in list] [prev in thread] [next in thread]
List: sbcl-devel
Subject: Re: [Sbcl-devel] Failed AVER: SB-C::SUCC in SB-C::UNLINK-BLOCKS
From: Charles Zhang via Sbcl-devel <sbcl-devel () lists ! sourceforge ! net>
Date: 2023-01-15 17:37:03
Message-ID: 645335245.1680071.1673804223668 () mail ! yahoo ! com
[Download RAW message or body]
[Attachment #2 (multipart/alternative)]
Fixed, thanks.
On Sunday, January 15, 2023 at 02:04:54 PM GMT+1, Eric Marsden \
<eric.marsden@risk-engineering.org> wrote:
Hi,
From random-integer testing.
This is SBCL 2.3.0.117-0dd3d1ba9, an implementation of ANSI Common Lisp.
* (defun foo (a)
(let ((v (make-array 1 :initial-element (catch 'ct 42))))
(labels ((f (&optional (x 4) &key (k a)) x))
(if nil (f) (f a)))))
; in: DEFUN FOO
; (F (&OPTIONAL (X 4) &KEY (K A)) X)
;
; caught STYLE-WARNING:
; &OPTIONAL and &KEY found in the same lambda list: (&OPTIONAL (X 4)
&KEY (K A))
debugger invoked on a SB-INT:BUG @52A534B0 in thread
#<THREAD "main thread" RUNNING {10010A0003}>:
failed AVER: SB-C::SUCC
restarts (invokable by number or by possibly-abbreviated name):
0: [ABORT] Exit debugger, returning to top level.
(SB-C::UNLINK-BLOCKS #<SB-C::CBLOCK NIL :START cNIL {10026C4113}>
#<SB-C::CBLOCK NIL :START c1 {10026E6603}>)
0]
_______________________________________________
Sbcl-devel mailing list
Sbcl-devel@lists.sourceforge.net
https://lists.sourceforge.net/lists/listinfo/sbcl-devel
[Attachment #5 (text/html)]
<html><head></head><body><div class="ydp60065a77yahoo-style-wrap" \
style="font-family:Helvetica Neue, Helvetica, Arial, \
sans-serif;font-size:16px;"><div><div dir="ltr" data-setdir="false">Fixed, \
thanks.<br></div><div><br></div><div class="ydp60065a77signature"><div><span \
style="font-size:16px;"><span style="color:rgb(0, 191, 191);"><span \
style="font-family:arial, helvetica, sans-serif;"><span id="ydp60065a77result_box" \
class="ydp60065a77short_text" lang="la"><span></span></span></span><span \
style="font-size:16px;"><span style="color:rgb(0, 191, 191);"><span \
id="ydp60065a77result_box" class="ydp60065a77short_text" lang="el"><span \
class="ydp60065a77hps"></span><span class="ydp60065a77hps"></span><span \
class="ydp60065a77hps"></span><span \
class="ydp60065a77hps"></span><span></span></span></span></span></span></span><span \
style="color:rgb(0, 191, 191);"><br></span><span style="font-size:16px;"><span \
style="color:rgb(0, 191, 191);"><span id="ydp60065a77result_box" \
class="ydp60065a77short_text" lang="el"><span \
class="ydp60065a77hps"></span></span><span id="ydp60065a77result_box" \
class="ydp60065a77short_text" lang="la"><span \
class="ydp60065a77hps"></span></span></span><br></span></div></div></div> \
<div><br></div><div><br></div>
</div><div id="ydp2d507241yahoo_quoted_3914514602" \
class="ydp2d507241yahoo_quoted">
<div style="font-family:'Helvetica Neue', Helvetica, Arial, \
sans-serif;font-size:13px;color:#26282a;">
<div>
On Sunday, January 15, 2023 at 02:04:54 PM GMT+1, Eric Marsden \
<eric.marsden@risk-engineering.org> wrote: </div>
<div><br></div>
<div><br></div>
<div><div dir="ltr">Hi,<br></div><div dir="ltr"><br></div><div \
dir="ltr"> From random-integer testing.<br></div><div dir="ltr"><br></div><div \
dir="ltr">This is SBCL 2.3.0.117-0dd3d1ba9, an implementation of ANSI Common \
Lisp.<br></div><div dir="ltr">* (defun foo (a)<br></div><div dir="ltr"> \
(let ((v (make-array 1 :initial-element (catch 'ct \
42))))<br></div><div dir="ltr"> (labels ((f \
(&optional (x 4) &key (k a)) x))<br></div><div dir="ltr"> \
(if nil (f) (f a)))))<br></div><div \
dir="ltr">; in: DEFUN FOO<br></div><div dir="ltr">; (F \
(&OPTIONAL (X 4) &KEY (K A)) X)<br></div><div dir="ltr">;<br></div><div \
dir="ltr">; caught STYLE-WARNING:<br></div><div dir="ltr">; &OPTIONAL \
and &KEY found in the same lambda list: (&OPTIONAL (X 4) <br></div><div \
dir="ltr">&KEY (K A))<br></div><div dir="ltr">debugger invoked on a SB-INT:BUG \
@52A534B0 in thread<br></div><div dir="ltr">#<THREAD "main thread" RUNNING \
{10010A0003}>:<br></div><div dir="ltr"> failed AVER: \
SB-C::SUCC<br></div><div dir="ltr">restarts (invokable by number or by \
possibly-abbreviated name):<br></div><div dir="ltr"> 0: [ABORT] Exit debugger, \
returning to top level.<br></div><div dir="ltr">(SB-C::UNLINK-BLOCKS \
#<SB-C::CBLOCK NIL :START cNIL {10026C4113}> <br></div><div \
dir="ltr">#<SB-C::CBLOCK NIL :START c1 {10026E6603}>)<br></div><div \
dir="ltr">0]<br></div><div dir="ltr"><br></div><div dir="ltr"><br></div><div \
dir="ltr"><br></div><div \
dir="ltr">_______________________________________________<br></div><div \
dir="ltr">Sbcl-devel mailing list<br></div><div dir="ltr"><a \
href="mailto:Sbcl-devel@lists.sourceforge.net" rel="nofollow" \
target="_blank">Sbcl-devel@lists.sourceforge.net</a><br></div><div dir="ltr"><a \
href="https://lists.sourceforge.net/lists/listinfo/sbcl-devel" rel="nofollow" \
target="_blank">https://lists.sourceforge.net/lists/listinfo/sbcl-devel</a><br></div></div>
</div>
</div></body></html>
_______________________________________________
Sbcl-devel mailing list
Sbcl-devel@lists.sourceforge.net
https://lists.sourceforge.net/lists/listinfo/sbcl-devel
[prev in list] [next in list] [prev in thread] [next in thread]
Configure |
About |
News |
Add a list |
Sponsored by KoreLogic