From: William Harold Newman <william.newman@ai...> - 2003-09-15 12:52:48
(from clocc-ansi-test :CMUCL-BUGS-LEGACY-593)
This is SBCL 0.8.3.65, an implementation of ANSI Common Lisp.
* (let ((z (make-concatenated-stream
debugger invoked on condition of type TYPE-ERROR:
The value NIL is not of type SB-C::LVAR.
Within the debugger, you can type HELP for help. At any command prompt (within
the debugger or not) you can type (SB-EXT:QUIT) to terminate the SBCL
executable. The condition which caused the debugger to be entered is bound to
*DEBUG-CONDITION*. You can suppress this message by clearing
restarts (invokable by number or by possibly-abbreviated name):
0: [ABORT ] Reduce debugger level (leaving debugger, returning to toplevel).
1: [TOPLEVEL] Restart at toplevel READ/EVAL/PRINT loop.
(SB-C::FIND-USES 1 NIL)[:EXTERNAL]
William Harold Newman <william.newman@...>
Sweeping the stones off the board is also an internationally understood
way of resigning.;-)
-- Bill Spight, in <http://senseis.xmp.net/?TheArtOfResignation>
PGP key fingerprint 85 CE 1C BA 79 8D 51 8C B9 25 FB EE E0 C3 E5 7C
William Harold Newman <william.newman@...> writes:
> (from clocc-ansi-test :CMUCL-BUGS-LEGACY-593)
> This is SBCL 0.8.3.65, an implementation of ANSI Common Lisp.
> * (let ((z (make-concatenated-stream
> (make-string-input-stream "abc")
> (open "/etc/hosts"))))
> (read-line z)
> (concatenated-stream-streams z)
> debugger invoked on condition of type TYPE-ERROR:
> The value NIL is not of type SB-C::LVAR.
(def-ir1-translator truly-the ((type value) start next result)
(let ((type (coerce-to-values (compiler-values-specifier-type type)))
(old (when result (find-uses result))))
(ir1-convert start next result value)
(do-uses (use result)
(unless (memq use old)
(derive-node-type use type)))))
(the-in-policy type value '((type-check . 0)) start cont))
"Alas, the spheres of truth are less transparent than those of
illusion." -- L.E.J. Brouwer