| commit | d3048400e96a3dbfb6a24ceb0b60dfc1257c8723 | |
| author | Douglas Katzman <dougk@google.com> | |
| Tue, 8 Sep 2015 03:10:19 +0000 (7 23:10 -0400) | ||
| committer | Douglas Katzman <dougk@google.com> | |
| Tue, 8 Sep 2015 03:10:19 +0000 (7 23:10 -0400) | ||
| tree | 46bb46c6893fc3a3c241fdc78dcdbcb31d703f2e | treesnapshot (tar.gz zip) |
| parent | 1b97826a516aaaa056d14c06e8e988e9a7786505 | commitdiff |
Add EXPLICIT-CHECK attribute to 6 more functions.
UPGRADED-{COMPLEX-PART,ARRAY-ELEMENT}-TYPE, SUBTYPEP, TYPEP,
MAKE-CONDITION, MAKE-SEQUENCE.
The common theme is that they call either SPECIFIER-TYPE
or TYPEXPAND on one or more arguments of type TYPE-SPECIFIER.
UPGRADED-{COMPLEX-PART,ARRAY-ELEMENT}-TYPE, SUBTYPEP, TYPEP,
MAKE-CONDITION, MAKE-SEQUENCE.
The common theme is that they call either SPECIFIER-TYPE
or TYPEXPAND on one or more arguments of type TYPE-SPECIFIER.