[armedbear-ticket] [armedbear] #61: Compilation of THE with DEFTYPE (was: Compilation of THE with macros)

[armedbear]

#61: Compilation of THE with DEFTYPE
-----------------------+----------------------------------------------------
  Reporter:  mevenson  |       Owner:  ehuelsmann 
      Type:  defect    |      Status:  closed     
  Priority:  major     |   Milestone:  unscheduled
 Component:  compiler  |     Version:  1.0        
Resolution:  fixed     |    Keywords:             
-----------------------+----------------------------------------------------
Changes (by mevenson):

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


Comment:

 Erik fixed (and reverted r12119) with r12124 by punting on the
 verification of the type of a DEFTYPEd form.

 He comments in (armedbear-devel)

 {{{
 I must say that I intentionally did not
 use TYPEP because of 2 reasons:

 1. It's not quite clear when it becomes available to the interpreter
    while I wanted type validation from the start

 2. It will expand all types, but some Lisp types take a lot of time to
 verify so, I   choose the same policy as the compiler under *safety*
 settings lower than 3

 }}}

 My proposed further solution (call Lisp TYPEP at the end of the Java
 typep() override chain) would create a recursive dependency.

 We close this ticket, by noting that ABCL's THE special operator is a bit
 better than before, but won't verify all types (this is allowed by the
 ANSI specification).

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