Re: [armedbear-ticket] [armedbear] #207: DECLARE should signal conditions when type declaration are violated

#207: DECLARE should signal conditions when type declaration are violated ------------------------------+--------------------------------------------- Reporter: mevenson | Owner: ehuelsmann Type: defect | Status: new Priority: major | Milestone: 1.1.0 Component: interpreter | Version: 1.1.0-dev Keywords: ansi-conformance | ------------------------------+---------------------------------------------

Comment(by mevenson):

The correct form should be:

{{{ (defun test (x) (let ((j 10)) (declare (integer x)) (+ x j))) }}}