declaim doesn't seem to be implemented

ID	Created	Type	mocl Version	Dev OS	Target	Status
#62	by informatimago on 2015-02-26 (1459 days ago)	defect	14.08	Mac OS X	n/a	open

Description

Summary:

DECLAIM doesn't seem to be processed
DECLAIM doesn't seem to be a macro.


Steps to Reproduce:

(declaim (declaration stepper))
(defun f ()
  (declare (stepper disable))
  'hi)

(eval-when (:compile-toplevel :load-toplevel :execute)
  (pprint (macroexpand-1 '(declaim (declaration stepper)))))

Expected Results:

1- Compile a function F ignoring the declaration.

2- prints something like:

(eval-when (:compile-toplevel :load-toplevel :execute)
  (proclaim '(declaration stepper)))


Actual Results:

1- produces a warning:

defun        f
Warning: The declaration specifier STEPPER is unknown.

2- prints:

(DECLAIM (DECLARATION STEPPER))

Notes:

Using:

#+mocl
(eval-when (:compile-toplevel :load-toplevel :execute)
  (proclaim '(declaration stepper)))

#-mocl
(declaim (declaration stepper))


still produces the warning:

Warning: The declaration specifier STEPPER is unknown.

Comments

For clarity, mocl does support declaim itself. For instance, the call-in syntax uses declaim. It looks like the issue here is with "declaration". I'll look into a fix.

- Wukix, 1458 days ago