projects / sbcl.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 15ea576) | patch
1.0.32.36: (subtypep 'symbol 'keyword) must be NIL, T
authorChristophe Rhodes <csr21@cantab.net>
Fri, 20 Nov 2009 21:33:51 +0000 (21:33 +0000)
committerChristophe Rhodes <csr21@cantab.net>
Fri, 20 Nov 2009 21:33:51 +0000 (21:33 +0000)
commit8c74121c546327088c6693e5d4bf673ac97feb64
treee9c8cb4a2016314e67ff06bb5b2255dc27526ab4tree | snapshot
parent15ea576825e88e331bf03f5634a2a2dd1a0cdc10commit | diff
1.0.32.36: (subtypep 'symbol 'keyword) must be NIL, T

Special-case the hairy type (SATISFIES KEYWORDP) and its interaction with the
SYMBOL type.  (We could potentially be cleverer at this point and additionally
tell the system that all non-symbols are non-(SATISFIES KEYWORDP) types, but
we're somewhat late in the development cycle now)

Fixes bug #485972
NEWS diff | blob | history
src/code/late-type.lisp diff | blob | history
tests/type.pure.lisp diff | blob | history
version.lisp-expr diff | blob | history
Mirror of Steel Bank Common Lisp SBCL's official repository