[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  |  
------------------------------+---------------------------------------------
 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
 }}}

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