Commit [6a0391] Maximize Restore History

Type system: contains-unknown-type also walks down negation types

Low occurrence, but negated unknown types can have pretty far-ranging
effects (e.g., `(and vector (not foo)), where 'foo is eventually
'vector).

Paul Khuong Paul Khuong 2014-06-09

changed src/code/late-type.lisp
src/code/late-type.lisp Diff Switch to side-by-side view
Loading...