Learn how easy it is to sync an existing GitHub or Google Code repo to a SourceForge project! See Demo

Close

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 package-data-list.lisp-expr
changed src
changed src/code
changed src/code/condition.lisp
changed src/code/target-error.lisp
changed src/compiler
changed src/compiler/proclaim.lisp
changed src/pcl
changed src/pcl/defclass.lisp
package-data-list.lisp-expr Diff Switch to side-by-side view
Loading...
src
Directory.
src/code
Directory.
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
Directory.
src/compiler/proclaim.lisp Diff Switch to side-by-side view
Loading...
src/pcl
Directory.
src/pcl/defclass.lisp Diff Switch to side-by-side view
Loading...