• Raymond Toy's avatar
    Make NOT-MORE-CONTAGIOUS support member and union types. · f36a31aa
    Raymond Toy authored
    This change allow cmucl to fold identity operations as in
    (defun foo (x)
      (declare (float x))
      (* x 1))
    Previously, cmucl wouldn't change (* x 1) to just x. because the
    declaration of x is represented internally as a union type.