Skip to content
Snippets Groups Projects
Forked from cmucl / cmucl
Source project has a limited visibility.
  • gerd's avatar
    b0f45727
    (compile nil '(lambda (x) (typep x '(not (member 0d0))))) recurses · b0f45727
    gerd authored
    	infinitely.  The same symptom could be observed when compiling
    	CLOCC's cllib:rnd.lisp.  From Alexey Dejneka on cmucl-imp.
    
    	* src/compiler/typetran.lisp (source-transform-union-typep):
    	Produce (or (listp ...) ...) only if a member-type is among the
    	union types, that member-type contains nil, and the rest of
    	union types contains the cons type.
    b0f45727
    History
    (compile nil '(lambda (x) (typep x '(not (member 0d0))))) recurses
    gerd authored
    	infinitely.  The same symptom could be observed when compiling
    	CLOCC's cllib:rnd.lisp.  From Alexey Dejneka on cmucl-imp.
    
    	* src/compiler/typetran.lisp (source-transform-union-typep):
    	Produce (or (listp ...) ...) only if a member-type is among the
    	union types, that member-type contains nil, and the rest of
    	union types contains the cons type.