Custom Query (1030 matches)

(reported on #ccl)

(defstruct (foo (:constructor make-foo (&aux x)))
  (x nil :type fixnum))

(make-foo) ; shouldn't signal a TYPE-ERROR, per bizarre nonsense in 3.4.6

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.

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