Commit [659a62] Maximize Restore History

Add PROCLAIM-[F]TYPE; use in PROCLAIM and PREINFORM-COMPILER-ABOUT-ACCESSORS

* New functions have been PROCLAIM-[F]TYPE extracted from PROCLAIM

* PROCLAIM could be slightly simplified

* FIXME about not being able to use TYPE-PROCLAMATION-MISMATCH has
been resolved

* As suggested in a FIXME comment, PREINFORM-COMPILER-ABOUT-ACCESSORS
now uses PROCLAIM-FTYPE instead of duplicating the logic

* The proclamation-related condition hierarchy now looks like this

condition-----------------------+---------------+
| | |
| | |
proclamation-mismatch style-warning error
| | | |
| | | |
type-p-m ftype-p-m-----------------+ |
| | | | |
| +-----------|-------+ | |
| | | | | |
type-p-m-warning ftype-p-m-warning ftype-p-m-error

Report functions of these condition are more regular now and should
work a bit better in logical blocks

Jan Moringen Jan Moringen 2013-07-16

Christophe Rhodes Christophe Rhodes 2014-01-22

changed src/code/condition.lisp
changed src/code/target-error.lisp
changed src/compiler/proclaim.lisp
changed src/pcl/defclass.lisp
changed package-data-list.lisp-expr
src/code/condition.lisp Diff Switch to side-by-side view
Loading...
src/code/target-error.lisp Diff Switch to side-by-side view
Loading...
src/compiler/proclaim.lisp Diff Switch to side-by-side view
Loading...
src/pcl/defclass.lisp Diff Switch to side-by-side view
Loading...
package-data-list.lisp-expr Diff Switch to side-by-side view
Loading...