[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 | ------------------------------+--------------------------------------------- On #abcl, chtune notes http://paste.lisp.org/display/129139:

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

(test 10.4) ; => 20.4

; I would expect this to throw a type error }}}