Skip to content
Snippets Groups Projects
Commit 5850c63c authored by toy's avatar toy
Browse files

Correct a missing cross-ref.

parent ff13d3d1
No related branches found
No related tags found
No related merge requests found
......@@ -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
......
\chapter{Object Format}
\label{sec:tagging}
\section{Tagging}
The following is a key of the three bit low-tagging scheme:
......
0% Loading or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment