src/: Abolish the special `va-*' instructions.

[sod] / doc / clang.tex
diff --git a/doc/clang.tex b/doc/clang.tex

index 8a1be72..58b8cd2 100644 (file)
--- a/doc/clang.tex
+++ b/doc/clang.tex
@@ -120,8 +120,9 @@ type specifier.  Type specifiers fit into two syntactic categories.
  \end{describe}
  
  \begin{describe}{mac}
-    {defctype @{ @<name> @! (@<name> @<nickname>^*) @} @<type-spec>
-      @> @<names>}
+    {defctype \=@{ @<name> @! (@<name>^+) @} @<type-spec> \+ \\
+                @[[ @|:export| @<export-flag> @]]^* \-
+       \nlret @<names>}
    Defines a new symbolic type specifier @<name>; if a list of @<name>s is
    given, then all are defined in the same way.  The type constructed by using
    any of the @<name>s is as described by the type specifier @<type-spec>.
@@ -129,6 +130,13 @@ type specifier.  Type specifiers fit into two syntactic categories.
    The resulting type object is constructed once, at the time that the macro
    expansion is evaluated; the same (@|eq|) value is used each time any
    @<name> is used in a type specifier.
+
+  A variable named @|c-type-@<name>|, for the first @<name> only, is defined
+  and initialized to contain the C type object so constructed.  Altering or
+  binding this name is discouraged.
+
+  If @<export-flag> is true, then the variable name, and all of the @<name>s,
+  are exported from the current package.
  \end{describe}
  
  \begin{describe}{mac}{c-type-alias @<original> @<alias>^* @> @<aliases>}
@@ -410,13 +418,21 @@ In Sod, the leaf types are
  \end{describe}
  
  \begin{describe}{mac}
-    {define-simple-c-type @{ @<name> @! (@<name>^*) @} @<string> @> @<name>}
+    {define-simple-c-type \=@{ @<name> @! (@<name>^+) @} @<string> \+ \\
+                            @[[ @|:export| @<export-flag> @]] \-
+      \nlret @<name>}
    Define type specifiers for a new simple C type.  Each symbol @<name> is
    defined as a symbolic type specifier for the (unique interned) simple C
    type whose name is the value of @<string>.  Further, each @<name> is
    defined to be a type operator: the type specifier @|(@<name>
    @<qualifier>^*)| evaluates to the (unique interned) simple C type whose
    name is @<string> and which has the @<qualifiers> (which are evaluated).
+
+  Furthermore, a variable @|c-type-@<name>| is defined, for the first @<name>
+  only, and initialized with the newly constructed C type object.
+
+  If @<export-flag> is true, then the @|c-type-@<name>| variable name, and
+  all of the @<name>s, are exported from the current package.
  \end{describe}
  
  \begin{describe}{cls}{tagged-c-type (qualifiable-c-type)
@@ -888,12 +904,7 @@ Temporary names are represented by objects which implement a simple protocol.
      @|expr|     & @<expr>                  & @<expr>;           \\ \hlx{v}
      @|call|     & @<func> @<args>          & @<func>(@<arg>_1,
                                                       $\ldots$,
-                                                     @<arg>_n)  \\ \hlx{v}
-    @|va-start| & @<ap> @<arg>             & va_start(@<ap>, @<arg>);
-                                                                \\ \hlx{v}
-    @|va-copy|  & @<to> @<from>            & va_copy(@<to>, @<from>);
-                                                                \\ \hlx{v}
-    @|va-end|   & @<ap>                    & va_end(@<ap>);     \\ \hlx{vhv}
+                                                     @<arg>_n)  \\ \hlx{vhv}
      @|block|    & @<decls> @<body>         & \{ @[@<decls>@] @<body> \}
                                                                  \\ \hlx{v}
      @|if|       & @<cond> @<conseq> @<alt> & if (@<cond>) @<conseq>
@@ -966,6 +977,10 @@ Temporary names are represented by objects which implement a simple protocol.
  \begin{describe}{fun}{deliver-expr @<codegen> @<target> @<expr>}
  \end{describe}
  
+\begin{describe}{fun}
+    {deliver-call @<codegen> @<target> @<func> \&rest @<args>}
+\end{describe}
+
  \begin{describe}{fun}{convert-stmts @<codegen> @<target> @<type> @<func>}
  \end{describe}