From 31d4431b0a0a90e182d2293dcb768e92f02fb37f Mon Sep 17 00:00:00 2001 From: Mark Wooding Date: Thu, 26 May 2016 09:26:09 +0100 Subject: [PATCH 1/1] doc/*.tex: Whitespace hacking. --- doc/clang.tex | 23 +++++++++++++++++++---- doc/meta.tex | 1 + 2 files changed, 20 insertions(+), 4 deletions(-) diff --git a/doc/clang.tex b/doc/clang.tex index 99ad30a..e9ea08a 100644 --- a/doc/clang.tex +++ b/doc/clang.tex @@ -88,6 +88,7 @@ similar names. Neither generic function defines a default primary method; subclasses of @|c-type| must define their own methods in order to print correctly. + \subsection{The C type root class} \label{sec:clang.c-types.root} \begin{describe}{cls}{c-type ()} @@ -100,6 +101,7 @@ Neither generic function defines a default primary method; subclasses of The class @|c-type| is abstract. \end{describe} + \subsection{C type S-expression notation} \label{sec:clang.c-types.sexp} The S-expression representation of a type is described syntactically as a @@ -169,6 +171,7 @@ type specifier. Type specifiers fit into two syntactic categories. default method. \end{describe} + \subsection{Comparing C types} \label{sec:clang.c-types.cmp} It is necessary to compare C types for equality, for example when checking @@ -199,6 +202,7 @@ argument lists for methods. This is done by @|c-type-equal-p|. \end{describe} \end{describe} + \subsection{Outputting C types} \label{sec:clang.c-types.output} \begin{describe}{gf}{pprint-c-type @ @ @} @@ -282,6 +286,7 @@ argument lists for methods. This is done by @|c-type-equal-p|. within the @
s. \end{describe} + \subsection{Type qualifiers and qualifiable types} \label{sec:clang.ctypes.qual} @@ -295,8 +300,8 @@ argument lists for methods. This is done by @|c-type-equal-p|. qualifiers; others keywords may be used, though this isn't recommended. Two qualifiable types are equal only if they have \emph{matching - qualifiers}: i.e., every qualifier attached to one is also attached to - the other: order is not significant, and neither is multiplicity. + qualifiers}: i.e., every qualifier attached to one is also attached to the + other: order is not significant, and neither is multiplicity. The class @|qualifiable-c-type| is abstract. \end{describe} @@ -322,6 +327,7 @@ argument lists for methods. This is done by @|c-type-equal-p|. non-null then the final character of the returned string will be a space. \end{describe} + \subsection{Leaf types} \label{sec:clang.c-types.leaf} A \emph{leaf type} is a type which is not defined in terms of another type. @@ -499,6 +505,7 @@ In Sod, the leaf types are keywords). \end{describe} + \subsection{Compound C types} \label{sec:code.c-types.compound} Some C types are \emph{compound types}: they're defined in terms of existing @@ -510,6 +517,7 @@ protocol. this means depends on the class of @. \end{describe} + \subsection{Pointer types} \label{sec:clang.c-types.pointer} Pointers compound types. The subtype of a pointer type is the type it points @@ -542,6 +550,7 @@ to. interned also. \end{describe} + \subsection{Array types} \label{sec:clang.c-types.array} Arrays implement the compound-type protocol. The subtype of an array type is @@ -583,6 +592,7 @@ the array element type. Returns the dimensions of @, an array type, as an immutable list. \end{describe} + \subsection{Function types} \label{sec:clang.c-types.fun} Function types implement the compound-type protocol. The subtype of a @@ -609,8 +619,8 @@ function type is the type of the function's return value. \end{describe} \begin{describe*} - {\dhead{fun}{argument-name @ @> @} - \dhead{fun}{argument-type @ @> @}} + {\dhead{fun}{argument-name @ @> @} + \dhead{fun}{argument-type @ @> @}} Accessor functions for @|argument| objects. They return the name (for @|argument-name|) or type (for @|argument-type|) from the object, as passed to @|make-argument|. @@ -725,6 +735,7 @@ function type is the type of the function's return value. @|commentify-argument-names| to the argument list of the given type. \end{describe} + \subsection{Parsing C types} \label{sec:clang.c-types.parsing} \begin{describe}{fun} @@ -737,6 +748,7 @@ function type is the type of the function's return value. \nlret @ @ @} \end{describe} + \subsection{Class types} \label{sec:clang.c-types.class} \begin{describe}{cls} @@ -771,6 +783,7 @@ function type is the type of the function's return value. This section deals with Sod's facilities for constructing and manipulating C expressions, declarations, instructions and definitions. + \subsection{Temporary names} \label{sec:clang.codegen.temporaries} Many C-level objects, especially ones with external linkage or inclusion in a @@ -845,6 +858,7 @@ Temporary names are represented by objects which implement a simple protocol. \label{tab:codegen.codegen.well-known-temps} \end{table} + \subsection{Instructions} \label{sec:clang.codegen.insts} \begin{describe}{cls}{inst () \&key} @@ -907,6 +921,7 @@ Temporary names are represented by objects which implement a simple protocol. \label{tab:codegen.codegen.insts} \end{table} + \subsection{Code generation} \label{sec:clang.codegen.codegen} \begin{describe}{gf}{codegen-functions @ @> @} diff --git a/doc/meta.tex b/doc/meta.tex index f412e00..aa25f7c 100644 --- a/doc/meta.tex +++ b/doc/meta.tex @@ -279,6 +279,7 @@ \begin{describe}{fun}{l*loops-cpl @ @> @} \end{describe} + %%%----- That's all, folks -------------------------------------------------- %%% Local variables: -- 2.11.0