diff --git a/docs/internals/glossary.tex b/docs/internals/glossary.tex index 1befb2191c32a92062858ef6f420aa4b9b8c6644..1ed4694fe2073ffec77957fd02ff5513a702e143 100644 --- a/docs/internals/glossary.tex +++ b/docs/internals/glossary.tex @@ -227,7 +227,7 @@ following: \item a single word pointing to an object (structures, conses, etc.) \end{itemize} These are tagged with three low-tag bits as described in the section -\ref{tagging} This is synonymous with {\it descriptor}. +\ref{sec:tagging} This is synonymous with {\it descriptor}. In other parts of the documentation, may be used more loosely to refer to a {\it lisp object}. @@ -313,9 +313,9 @@ FSC full call function attribute function - "real" (allocates environment) - meaning function-entry - more vague (any lambda?) + "real" (allocates environment) + meaning function-entry + more vague (any lambda?) funny function GEN (kill and...) global TN, conflicts, preference @@ -347,22 +347,22 @@ optional-dispatch pack, packing, packed pass (in a transform) passing - locations (value) - conventions (known, unknown) + locations (value) + conventions (known, unknown) policy (safe, fast, small, ...) predecessor block primitive-type reaching definition REF representation - selection - for value + selection + for value result continuation (for function) result type assertion (for template) (or is it restriction) restrict - a TN to finite SBs - a template operand to a primitive type (boxed...) - a tn-ref to particular SCs + a TN to finite SBs + a template operand to a primitive type (boxed...) + a tn-ref to particular SCs return (node, vops) safe, safety @@ -371,17 +371,17 @@ SB SC (restriction) semi-inline side-effect - in ICR - in VMR + in ICR + in VMR sparse set splitting (of VMR blocks) SSET SUBPRIMITIVE successor block tail recursion - tail recursive - tail recursive loop - user tail recursion + tail recursive + tail recursive loop + user tail recursion template TN @@ -389,12 +389,12 @@ TNBIND TN-REF transform (source, ICR) type - assertion - inference - top-down, bottom-up - assertion propagation + assertion + inference + top-down, bottom-up + assertion propagation derived, asserted - descriptor, specifier, intersection, union, member type + descriptor, specifier, intersection, union, member type check type-check (in continuation) UNBOXED (boxed) descriptor diff --git a/docs/internals/object.tex b/docs/internals/object.tex index 04a673c5893493669e119c4cdc72b68707696087..abaefa01681799938606c5019637f439d53733d2 100644 --- a/docs/internals/object.tex +++ b/docs/internals/object.tex @@ -1,6 +1,9 @@ \chapter{Object Format} + +\label{sec:tagging} + \section{Tagging} The following is a key of the three bit low-tagging scheme: