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

[armedbear]

#207: DECLARE should signal conditions when type declarations are violated
--------------------------+-------------------------------------------------
  Reporter:  mevenson     |       Owner:  ehuelsmann      
      Type:  defect       |      Status:  closed          
  Priority:  major        |   Milestone:  1.1.0           
 Component:  interpreter  |     Version:  1.1.0-dev       
Resolution:  invalid      |    Keywords:  ansi-conformance
--------------------------+-------------------------------------------------
Changes (by ehuelsmann):

  * status:  new => closed
  * resolution:  => invalid


Comment:

 the type declaration is in the wrong place. the function should have read:

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

 But that doesn't err on our side either, which is perfectly fine according
 to the spec, which says in
 [http://www.lispworks.com/documentation/HyperSpec/Body/d_type.htm
 Declaration TYPE]:

 3. At the moment the scope of the declaration is entered, the consequences
 are undefined if the value of the declared variable is not of the declared
 type.

 Closing as invalid.

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