[armedbear-ticket] [armedbear] #61: Compilation of THE with macros

[armedbear]

#61: Compilation of THE with macros
----------------------+-----------------------------------------------------
 Reporter:  mevenson  |       Owner:  ehuelsmann 
     Type:  defect    |      Status:  new        
 Priority:  major     |   Milestone:  unscheduled
Component:  compiler  |     Version:  1.0        
 Keywords:            |  
----------------------+-----------------------------------------------------
 As reported in http://article.gmane.org/gmane.lisp.armedbear.devel/152 by
 Eric Marsden, the recent work on THE forms has broken the compilation of
 THE forms involving macros as follows:

 #|
   COMPILE-FILE for this file fails with [svn r12114].
 |#
 (defconstant +foo-OK+ (the (integer 0 10) 5))

 (deftype foo () '(integer 0 10))

 (defmacro assemble-foo (x) `(the foo ,x))

 (defconstant +foo+ (assemble-foo 6))

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