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

[Paul F. Dietz]

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