From 5850c63c76e0bdb47ec2c75ad3332ab950e40cfd Mon Sep 17 00:00:00 2001 From: toy <toy> Date: Fri, 4 Oct 2002 17:06:40 +0000 Subject: [PATCH] Correct a missing cross-ref. --- docs/internals/glossary.tex | 42 ++++++++++++++++++------------------- docs/internals/object.tex | 3 +++ 2 files changed, 24 insertions(+), 21 deletions(-) diff --git a/docs/internals/glossary.tex b/docs/internals/glossary.tex index 1befb2191..1ed4694fe 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 04a673c58..abaefa016 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: -- GitLab