Make more (SATISFIES p) types not entirely opaque to type-intersection.
commitf6f71755f6afb81ab2794377b6670da94147ed9f
authorDouglas Katzman <dougk@google.com>
Fri, 21 Aug 2015 02:42:24 +0000 (20 22:42 -0400)
committerDouglas Katzman <dougk@google.com>
Fri, 21 Aug 2015 03:47:04 +0000 (20 23:47 -0400)
treee91a110c8afa1e50a2cf78c228a60f5c4f3a7af6
parenta8dd86cf2b0f2e430c8e9038912a39ca1bdf86e9
Make more (SATISFIES p) types not entirely opaque to type-intersection.
src/code/condition.lisp
src/code/early-type.lisp
src/code/late-type.lisp
src/compiler/globaldb.lisp