Re: [Gcl-devel] Compiler bug from random type prop tester: keywords in member types?

[Camm Maguire]

Greetings!  I believe this is fixed now in cvs head.  Working on a t5
cleanup tag.

Take care,


"Paul F. Dietz" <address@hidden> writes:

> The following rather odd bug has showed up (from running
> random-type-prop.typep.1):
> 
> (deftest misc.612
>    (funcall
>     (compile nil '(lambda (p1 p2)
>                    ((lambda (x y) (typep x (type-of y))) p1
>                     (the (member "foo" #\- :b "bar") p2))))
>     #*1 :b)
>    nil)
> 
> 
> CL-TEST>(do-test 'misc.612 :catch-errors nil)
> 
> Error in COMPILER::POSSIBLE-EQ-LIST-SEARCH [or a callee]: 
> COMPILER::POSSIBLE-EQ-LIST-SEARCH does not allow the keyword :B.
> 
> Fast links are on: do (si::use-fast-links nil) for debugging
> Broken at COMPILER::POSSIBLE-EQ-LIST-SEARCH.  Type :H for Help.
>   1 (Continue) (SYSTEM:ERROR-SET
>                    '(EVAL '(FUNCALL '#<compiled-function 
> COMPILER::MEMBER-COMPILER-MACRO>
>                                     '(MEMBER
>                                       (LOAD-TIME-VALUE
>                                        (SYSTEM:NANI 26245304))
>                                       (LOAD-TIME-VALUE
>                                        (SYSTEM:NANI 6435616))
>                                       :B
>                                       (LOAD-TIME-VALUE
>                                        (SYSTEM:NANI 26245280)))
>                                     NIL)))
>   2 Return to top level.
> dbl:CL-TEST>>
> 
> 
> It looks like the keyword :b is confusing something into thinking that's
> a keyword parameter, when it's actually just a value.
> 
> 
>       Paul
> 
> 
> 
> 
> _______________________________________________
> Gcl-devel mailing list
> address@hidden
> http://lists.gnu.org/mailman/listinfo/gcl-devel
> 
> 
> 

-- 
Camm Maguire                                            address@hidden
==========================================================================
"The earth is but one country, and mankind its citizens."  --  Baha'u'llah