Make NOT-MORE-CONTAGIOUS support member and union types.
authorRaymond Toy <toy.raymond@gmail.com>
Fri, 5 Jul 2013 13:56:29 +0000 (06:56 -0700)
committerRaymond Toy <toy.raymond@gmail.com>
Fri, 5 Jul 2013 13:56:29 +0000 (06:56 -0700)
commitf36a31aaf95b60e2cc210648d951b41d3112a73a
tree6a9e9366b35d86c0f114f49f50d4e0ec955aeff5
parentbb56dbb6572939222d731530c3045b4a87ee7f51
Make NOT-MORE-CONTAGIOUS support member and union types.

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.
src/compiler/srctran.lisp