diff --git a/chap-rationale.tex b/chap-rationale.tex index e927af90..1d510b62 100644 --- a/chap-rationale.tex +++ b/chap-rationale.tex @@ -712,8 +712,9 @@ \section{Object Types Are Not Addresses} unique identifier for the type itself. The architecture we have chosen is conceptually simpler and easier to -explain. It has the disadvantage that the type field is only 24 bits, -as there is insufficient space inside the capability for more. +explain. It has the disadvantage that the type field is constrained to +a limited number of bits, as there is insufficient space inside the +capability for more. The alternative of treating the set of object type identifiers as being the same as the set of memory addresses enables the saving of some bits within