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

[armedbear]

#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)))
 }}}

-- 
Ticket URL: <http://trac.common-lisp.net/armedbear/ticket/207#comment:1>
armedbear <http://common-lisp.net/project/armedbear>
armedbear