[Sbcl-bugs] error handling issue (using with-input-from-string)

[Matt K. <kau...@cs...>]

Hi,

Below is a log showing evaluation that invokes the debugger in SBCL
2.0.5 when that didn't happen in earlier versions -- at least, I
checked 2.0.4, 2.0.3, 2.0.2, and 1.5.6, both at startup and after
evaluating the form (declaim (optimize (safety 0))), and none invoked
the debugger when evaluating the handler-case form below.  The log
also shows that the problem disappears even in 2.0.5 at safety 3,
giving the expected result (as in the previous versions mentioned).
This might be related to https://bugs.launchpad.net/sbcl/+bug/1333327.

ginger:~% /projects/acl2/lisps/sbcl/sbcl-2.0.5/run-sbcl.sh
This is SBCL 2.0.5, an implementation of ANSI Common Lisp.
More information about SBCL is available at <http://www.sbcl.org/>.

SBCL is free software, provided as is, with absolutely no warranty.
It is mostly in the public domain; some portions are provided under
BSD-style licenses.  See the CREDITS and COPYING files in the
distribution for more information.
* (handler-case (with-input-from-string
		 (stream "#w")
		 (read stream nil nil))
    (error (condition)
	   (format nil "~A" condition)))

debugger invoked on a SB-KERNEL:CASE-FAILURE in thread
#<THREAD "main thread" RUNNING {10010900C3}>:
  4204957270942526853 fell through ECASE expression.
  Wanted one of (:FLUSH :OBSOLETE).

Type HELP for debugger help, or (SB-EXT:EXIT) to exit from SBCL.

restarts (invokable by number or by possibly-abbreviated name):
  0: [ABORT] Exit debugger, returning to top level.

((FLET SB-THREAD::WITH-RECURSIVE-LOCK-THUNK :IN SB-PCL::CHECK-WRAPPER-VALIDITY))
0] 0
* (declaim (optimize (safety 3)))
NIL
* (handler-case (with-input-from-string
		 (stream "#w")
		 (read stream nil nil))
    (error (condition)
	   (format nil "~A" condition)))
"no dispatch function defined for #\\W

  Stream: #<SB-IMPL::STRING-INPUT-STREAM {10024131B3}>"
* (quit)
ginger:~% 

Thank you,
Matt Kaufmann