Custom Query (1030 matches)

Dan Weinreb 2010-05-07 16:29:48 EDT

In a case such as this:

(defun foo (x y)
  (handler-case
      (/ x y)
    ((error serious-condition) ()
      5)))

it would be nice if the compiler could detect that (error serious-condition) is not a valid type (i.e. the programmer omitted the "or").

In

(defun bar (x)
  (check-type x (error serious-condition))
  x)

the compiler does, correctly, issue a warning; could that same mechanism be applied to handler-case?

NB: This was ITA bug 79938.

./lx86cl
(load "home:quicklisp;setup")
(ql:quickload :manardb)
(in-package :manardb)
(defun junk () (lisp-object-to-mptr nil))
> Error: Compiler bug or inconsistency:
>        x862-form to freg #<ACODE nil NIL>

see <​https://lists.clozure.com/pipermail/openmcl-devel/2016-May/011274.html>