X-Git-Url: https://git.distorted.org.uk/~mdw/sod/blobdiff_plain/6e92afa75860a55640efa6f3ba39f9624b41e8a8..2f8a99a834db051434d30471e9cc26a41f6a5fa7:/doc/meta.tex

diff --git a/doc/meta.tex b/doc/meta.tex
index 2523642..81efab9 100644
--- a/doc/meta.tex
+++ b/doc/meta.tex
@@ -99,6 +99,9 @@
       \nlret @<object>}
 \end{describe}
 
+\begin{describe}{gf}{guess-metaclass @<class> @> @<metaclass>}
+\end{describe}
+
 \begin{describe}{fun}
     {sod-subclass-p @<class-a> @<class-b> @> @<generalized-boolean>}
 \end{describe}
@@ -308,6 +311,16 @@
 %%%--------------------------------------------------------------------------
 \section{Class finalization protocol} \label{sec:meta.finalization}
 
+\begin{describe}{mac}
+    {finalization-error (@<token> @<arg>^*) \\ \ind
+      @<declaration>^* \\
+      @<form>^* \-
+     \nlret @<value>^*}
+\end{describe}
+
+\begin{describe}{fun}{finalization-failed}
+\end{describe}
+
 \begin{describe*}
     {\dhead{gf}{sod-class-precedence-list @<class> @> @<list>}
      \dhead{gf}{sod-class-type @<class> @> @<c-type>}
@@ -320,22 +333,34 @@
 \begin{describe}{gf}{compute-cpl @<class> @> @<list>}
 \end{describe}
 
-\begin{describe}{fun}{merge-class-lists @<lists> @<pick> @> @<list>}
+\begin{describe}{fun}
+    {report-class-list-merge-error @<class> @<lists> @<error>}
+\end{describe}
+
+\begin{describe}{fun}{merge-class-lists @<class> @<lists> @<pick> @> @<list>}
 \end{describe}
 
 \begin{describe}{gf}{compute-chains @<class> @> @<list>}
 \end{describe}
 
-\begin{describe}{gf}{guess-metaclass @<class> @> @<metaclass>}
+\begin{describe}{gf}{check-class-initializer @<slot> @<class>}
+  \begin{describe}{meth}
+      {check-class-initializer (@<slot> effective-slot) (@<class> sod-class)}
+  \end{describe}
+  \begin{describe}{meth}
+      {check-class-initializer (@<slot> sod-class-effective-slot)
+                               (@<class> sod-class)}
+  \end{describe}
 \end{describe}
 
 \begin{describe}{gf}{check-sod-class @<class>}
 \end{describe}
 
-\begin{describe}{gf}{finalize-sod-class @<class>}
+\begin{describe}{gf}{finalize-sod-class @<class> @> @<generalized-boolean>}
   \begin{describe}{meth}{finalize-sod-class (@<class> sod-class)}
   \end{describe}
-  \begin{describe}{ar-meth}{finalize-sod-class (@<class> sod-class)}
+  \begin{describe}{ar-meth}{finalize-sod-class (@<class> sod-class)
+                              @> @<generalized-boolean>}
   \end{describe}
 \end{describe}