| commit | 1e2e54294c61550f75b7725fb182c573d2769e28 | |
| author | Douglas Katzman <dougk@google.com> | |
| Sun, 1 Mar 2015 14:22:43 +0000 (1 09:22 -0500) | ||
| committer | Douglas Katzman <dougk@google.com> | |
| Sun, 1 Mar 2015 14:22:43 +0000 (1 09:22 -0500) | ||
| tree | b3329add2f75fccdd6f36c59f7683ef2184c2057 | treesnapshot (tar.gz zip) |
| parent | 4bf5bfa7545d01486194f5749ee1d3f7db1ec9f4 | commitdiff |
Remove quasi-builtin non-atomic types.
Having (MOD 2) etc. considered builtin is unimportant. It was previously
an assurance that parsing returned the same object every time, but other
mechanisms besides globaldb do that: caching and interning. Interning is
stronger as it equates all spellings of one type, e.g. (MOD 4) is EQ to
(UNSIGNED-BYTE 2), (INTEGER 0 3), (INTEGER (-1) 3) and infinitely more.
Having (MOD 2) etc. considered builtin is unimportant. It was previously
an assurance that parsing returned the same object every time, but other
mechanisms besides globaldb do that: caching and interning. Interning is
stronger as it equates all spellings of one type, e.g. (MOD 4) is EQ to
(UNSIGNED-BYTE 2), (INTEGER 0 3), (INTEGER (-1) 3) and infinitely more.
| src/code/late-type.lisp | diffblobblamehistory | |
| src/code/type-init.lisp | diffblobblamehistory | |
| src/compiler/globaldb.lisp | diffblobblamehistory |