Custom Query (1030 matches)

Ethan H. Schwartz 2009-04-14 11:24:20 EDT

On DEFINE-CONDITION, The CLHS says: parent-type---a symbol naming a condition type. If no parent-types are supplied, the parent-types default to (condition).

With CCL Version 1.3-dev-r11854-working-0711 (LinuxX8664):

(defclass a () ()) #<STANDARD-CLASS A>

(define-condition foo (a) ()) FOO

(error 'foo) #<STANDARD-CLASS FOO> is not a condition class

It would be better if CCL complained at time of compilation of the condition that the parent-type argument is not a condition type.

[was ITA bug 58450]

CCL:DEFSTATIC is exported; it's counterpart, CCL::DEFSTATICVAR, isn't. It seems like they should both be exported.

Straight from CLHS DEFSTRUCT dictionary entry (the description of the :TYPE option):

;; For example:

(defstruct (quux (:type list) :named) x y)

;; should make a constructor that builds a list exactly like the one ;; that list produces, with quux as its car.

;; If this type is defined:

(deftype quux () '(satisfies quux-p))

;; then this form

(typep (make-quux) 'quux)

;; should return precisely what this one does

(typep (list 'quux nil nil) 'quux)

Compiling that, results in

;Compiling "/tmp/foo.lisp"... ;Compiler warnings for "/tmp/foo.lisp" : ; In an anonymous lambda form at position 60: Duplicate definitions of (TYPE QUUX), in this file ; In an anonymous lambda form at position 449: Duplicate definitions of (TYPE FOO), in this file

The Ironclad library makes use of this feature. So it's a real-life annoyance.