X-Git-Url: https://git.distorted.org.uk/~mdw/sod/blobdiff_plain/074650bcd2b5de617c4d6e7566557bef8358b5f3..7f9f8b0729bcbe8da67957d56ea2dace7fd12bad:/doc/SYMBOLS

diff --git a/doc/SYMBOLS b/doc/SYMBOLS
index eb668a8..3df75e0 100644
--- a/doc/SYMBOLS
+++ b/doc/SYMBOLS
@@ -16,13 +16,19 @@ c-types-class-impl.lisp
 
 c-types-impl.lisp
   cl:*                                          variable function c-type
+  alignas
+  alignas-storage-specifier                     class
   cl:array                                      class c-type
+  atomic                                        c-type
   bool                                          c-type
   c-array-dimensions                            generic
   c-array-type                                  class
+  c-atomic-type                                 class
   c-enum-type                                   class
   c-function-arguments                          generic
+  c-function-keywords                           generic
   c-function-type                               class
+  c-keyword-function-type                       class
   c-pointer-type                                class
   c-struct-type                                 class
   c-tagged-type-kind                            generic
@@ -64,6 +70,7 @@ c-types-impl.lisp
   double-complex                                c-type
   double-imaginary                              c-type
   enum                                          c-type
+  find-simple-c-type                            function
   cl:float                                      function class c-type
   float-complex                                 c-type
   float-imaginary                               c-type
@@ -82,13 +89,16 @@ c-types-impl.lisp
   long-long                                     c-type
   long-long-int                                 c-type
   make-array-type                               function
+  make-atomic-type                              function
   make-c-tagged-type                            function
   make-enum-type                                function
   make-function-type                            function
+  make-keyword-function-type                    function
   make-pointer-type                             function
   make-simple-type                              function
   make-struct-type                              function
   make-union-type                               function
+  merge-keyword-lists                           function
   cl:nil                                        constant c-type parser
   pointer                                       c-type
   pprint-argument-list                          function
@@ -113,6 +123,7 @@ c-types-impl.lisp
   size-t                                        c-type
   sllong                                        c-type
   slong                                         c-type
+  specs                                         c-type
   sshort                                        c-type
   cl:string                                     function class c-type opthandler
   struct                                        c-type
@@ -144,29 +155,40 @@ c-types-parse.lisp
 
 c-types-proto.lisp
   argument                                      class
+  argument-default                              function
   argument-name                                 function
   argument-type                                 function
   argumentp                                     function
   c-name-case                                   function
+  c-qualifier-keyword                           generic
+  c-storage-specifiers-type                     class
   c-type                                        macro class
   c-type-alias                                  macro
   c-type-equal-p                                generic
+  c-type-qualifier-keywords                     function
   c-type-qualifiers                             generic
   c-type-space                                  function
+  c-type-specifiers                             generic
   c-type-subtype                                generic
   canonify-qualifiers                           function
   commentify-argument-name                      generic
   defctype                                      macro
+  define-c-storage-specifier-syntax             macro
   define-c-type-syntax                          macro
+  expand-c-storage-specifier                    generic
+  expand-c-storage-specifier-form               generic
   expand-c-type-form                            generic
   expand-c-type-spec                            generic
   format-qualifiers                             function
   make-argument                                 function
   maybe-in-parens                               macro
+  pprint-c-storage-specifier                    generic
   pprint-c-type                                 generic
+  print-c-storage-specifier                     generic
   print-c-type                                  generic
   qualifiable-c-type                            class
   qualify-c-type                                generic
+  wrap-c-type                                   function
 
 class-finalize-impl.lisp
   c3-cpl                                        function
@@ -174,14 +196,18 @@ class-finalize-impl.lisp
   dylan-cpl                                     function
   flavors-cpl                                   function
   l*loops-cpl                                   function
+  merge-class-lists                             function
   python-cpl                                    function
+  report-class-list-merge-error                 function
 
 class-finalize-proto.lisp
+  check-class-initializer                       generic
   check-sod-class                               generic
   compute-chains                                generic
   compute-cpl                                   generic
+  finalization-error                            macro
+  finalization-failed                           function
   finalize-sod-class                            generic
-  guess-metaclass                               generic
 
 class-layout-impl.lisp
   sod-class-effective-slot                      class
@@ -214,6 +240,8 @@ class-layout-proto.lisp
   effective-slot-class                          generic
   effective-slot-direct-slot                    generic
   effective-slot-initializer                    generic
+  find-class-initializer                        generic
+  find-slot-initargs                            generic
   find-slot-initializer                         generic
   ichain                                        class
   ichain-body                                   generic
@@ -253,14 +281,21 @@ class-make-impl.lisp
 class-make-proto.lisp
   check-message-type                            generic
   check-method-type                             generic
+  guess-metaclass                               generic
   make-sod-class                                function
+  make-sod-class-initfrag                       generic
   make-sod-class-initializer                    generic
+  make-sod-class-tearfrag                       generic
   make-sod-initializer-using-slot               generic
   make-sod-instance-initializer                 generic
   make-sod-message                              generic
   make-sod-method                               generic
   make-sod-method-using-message                 generic
   make-sod-slot                                 generic
+  make-sod-slot-initarg                         generic
+  make-sod-slot-initarg-using-slot              generic
+  make-sod-user-initarg                         generic
+  sod-initarg-argument                          generic
   sod-message-method-class                      generic
 
 class-output.lisp
@@ -277,8 +312,12 @@ class-utilities.lisp
   ichain-struct-tag                             function
   ichain-union-tag                              function
   ilayout-struct-tag                            function
+  inheritance-path-reporter-state               class
   islots-struct-tag                             function
+  make-inheritance-path-reporter-state          function
   message-macro-name                            function
+  report-inheritance-path                       function
+  select-minimal-class-property                 function
   sod-subclass-p                                function
   valid-name-p                                  function
   vtable-name                                   function
@@ -295,6 +334,7 @@ classes.lisp
   sod-class-class-initializers                  generic setf
   sod-class-direct-superclasses                 generic
   sod-class-ilayout                             generic
+  sod-class-initfrags                           generic setf
   sod-class-initializer                         class
   sod-class-instance-initializers               generic setf
   sod-class-messages                            generic setf
@@ -305,13 +345,14 @@ classes.lisp
   sod-class-precedence-list                     generic
   sod-class-slots                               generic setf
   sod-class-state                               generic
+  sod-class-tearfrags                           generic setf
   sod-class-type                                generic
   sod-class-vtables                             generic
+  sod-initarg                                   class
   sod-initializer                               class
   sod-initializer-class                         generic
   sod-initializer-slot                          generic
-  sod-initializer-value-form                    generic
-  sod-initializer-value-kind                    generic
+  sod-initializer-value                         generic
   sod-instance-initializer                      class
   sod-message                                   class
   sod-message-class                             generic
@@ -324,8 +365,10 @@ classes.lisp
   sod-method-type                               generic
   sod-slot                                      class
   sod-slot-class                                generic
+  sod-slot-initarg                              class
   sod-slot-name                                 generic
   sod-slot-type                                 generic
+  sod-user-initarg                              class
 
 codegen-impl.lisp
   codegen                                       class
@@ -419,6 +462,8 @@ final.lisp
   *sod-version*                                 variable
   exercise                                      function
   test-module                                   function
+  test-parse-c-type                             function
+  test-parse-pset                               function
   test-parser                                   macro
 
 fragment-parse.lisp
@@ -428,11 +473,12 @@ fragment-parse.lisp
 lexer-proto.lisp
   define-indicator                              function
   cl:error                                      function class parser
-  lexer-error                                   function
+  lexer-error                                   function class
+  must                                          parser
   scan-comment                                  function
-  skip-until                                    function parser
+  skip-until                                    parser
   sod-token-scanner                             class
-  syntax-error                                  function
+  syntax-error                                  function class
 
 method-aggregate.lisp
   aggregating-effective-method                  class
@@ -466,6 +512,7 @@ method-proto.lisp
   codegen-method                                generic
   codegen-target                                generic
   compute-effective-method-body                 generic
+  compute-effective-method-keyword-arguments    function
   compute-effective-methods                     generic
   compute-method-entry-functions                generic
   compute-sod-effective-method                  generic
@@ -474,6 +521,8 @@ method-proto.lisp
   effective-method-basic-argument-names         generic
   effective-method-class                        generic
   effective-method-function-name                generic
+  effective-method-keywords                     generic
+  effective-method-live-p                       generic
   effective-method-message                      generic
   ensure-ilayout-var                            function
   inst-chain-head                               generic
@@ -481,6 +530,7 @@ method-proto.lisp
   inst-expr                                     generic
   invoke-delegation-chain                       function
   invoke-method                                 function
+  keyword-message-p                             function
   make-convert-to-ilayout-inst                  function
   make-method-entries                           generic
   make-trampoline                               function
@@ -494,9 +544,12 @@ method-proto.lisp
   method-entry-slot-name                        generic
   primary-method-class                          generic
   simple-method-body                            generic
+  sod-message-applicable-methods                generic
   sod-message-argument-tail                     generic
+  sod-message-check-methods                     generic
   sod-message-effective-method-class            generic
-  sod-message-no-varargs-tail                   generic
+  sod-message-keyword-argument-lists            generic
+  sod-method-description                        generic
   sod-method-function-name                      generic
   sod-method-function-type                      generic
   sod-method-next-method-type                   generic
@@ -504,8 +557,6 @@ method-proto.lisp
 
 module-impl.lisp
   *module-dirs*                                 variable
-  c-fragment                                    class
-  c-fragment-text                               generic
   code-fragment                                 generic
   code-fragment-constraints                     generic
   code-fragment-item                            class
@@ -531,6 +582,8 @@ module-proto.lisp
   add-clear-the-decks-function                  function
   add-module-binding                            function
   add-to-module                                 generic
+  c-fragment                                    class
+  c-fragment-text                               generic
   clear-the-decks                               function
   define-clear-the-decks                        macro
   define-module                                 macro
@@ -538,6 +591,7 @@ module-proto.lisp
   finalize-module                               generic
   module                                        class
   module-dependencies                           generic setf
+  module-errors                                 generic
   module-import                                 generic
   module-items                                  generic setf
   module-name                                   generic
@@ -562,6 +616,7 @@ output-proto.lisp
   sequencer-table                               generic
 
 pset-parse.lisp
+  parse-property                                function
   parse-property-set                            function
 
 pset-proto.lisp
@@ -569,6 +624,7 @@ pset-proto.lisp
   check-unused-properties                       function
   coerce-property-value                         generic
   decode-property                               generic
+  default-slot-from-property                    macro
   get-property                                  function
   make-property                                 function
   make-property-set                             function
@@ -593,7 +649,25 @@ pset-proto.lisp
 Classes:
 cl:t
   sb-pcl::slot-object
+    cl:condition
+      sod-parser:condition-with-location
+        sod-parser:error-with-location [cl:error]
+          sod-parser:base-lexer-error
+            lexer-error [sod-parser:parser-error]
+          sod-parser:base-syntax-error
+            syntax-error [sod-parser:parser-error]
+      cl:serious-condition
+        cl:error
+          sod-parser:error-with-location [sod-parser:condition-with-location]
+            sod-parser:base-lexer-error
+              lexer-error [sod-parser:parser-error]
+            sod-parser:base-syntax-error
+              syntax-error [sod-parser:parser-error]
+          sod-parser:parser-error
+            lexer-error [sod-parser:base-lexer-error]
+            syntax-error [sod-parser:base-syntax-error]
     cl:standard-object
+      alignas-storage-specifier
       base-offset
       sod::basic-codegen
         codegen
@@ -602,7 +676,10 @@ cl:t
       c-type
         c-array-type
         c-function-type
+          c-keyword-function-type
+        c-storage-specifiers-type
         qualifiable-c-type
+          c-atomic-type
           c-pointer-type
           simple-c-type
             c-class-type
@@ -624,6 +701,7 @@ cl:t
         sod-class-effective-slot
       ichain
       ilayout
+      inheritance-path-reporter-state
       inst
         banner-inst
         block-inst
@@ -654,6 +732,9 @@ cl:t
           cl:class [sb-pcl::definition-source-mixin sb-pcl::standard-specializer]
       sequencer
       sod-class
+      sod-initarg
+        sod-slot-initarg
+        sod-user-initarg
       sod-initializer
         sod-class-initializer
         sod-instance-initializer
@@ -704,6 +785,11 @@ c-fragment-text
   c-fragment
 c-function-arguments
   c-function-type
+c-function-keywords
+  c-keyword-function-type
+c-qualifier-keyword
+  (eql :atomic)
+  cl:symbol
 c-tagged-type-kind
   c-enum-type
   c-struct-type
@@ -713,22 +799,30 @@ c-type-class
 (setf c-type-class)
   t c-class-type
 c-type-equal-p
-  t t
-  c-array-type c-array-type
-  c-class-type c-class-type
-  c-function-type c-function-type
-  c-pointer-type c-pointer-type
-  qualifiable-c-type qualifiable-c-type
-  simple-c-type simple-c-type
-  tagged-c-type tagged-c-type
+  t t [and]
+  c-array-type c-array-type [and]
+  c-atomic-type c-atomic-type [and]
+  c-class-type c-class-type [and]
+  c-function-type c-function-type [and]
+  c-keyword-function-type c-keyword-function-type [and]
+  c-pointer-type c-pointer-type [and]
+  c-storage-specifiers-type c-type [:around]
+  c-type c-storage-specifiers-type [:around]
+  qualifiable-c-type qualifiable-c-type [and]
+  simple-c-type simple-c-type [and]
+  tagged-c-type tagged-c-type [and]
 c-type-name
   simple-c-type
 c-type-qualifiers
   qualifiable-c-type
+c-type-specifiers
+  c-storage-specifiers-type
 c-type-subtype
   c-array-type
+  c-atomic-type
   c-function-type
   c-pointer-type
+  c-storage-specifiers-type
 c-type-tag
   tagged-c-type
 chain-offset-chain-head
@@ -740,6 +834,9 @@ chain-offset-target-head
 check-aggregating-message-type
   t t t
   aggregating-message (eql :progn) c-function-type
+check-class-initializer
+  effective-slot sod-class
+  sod-class-effective-slot sod-class
 check-message-type
   aggregating-message t
   sod-message c-function-type
@@ -790,12 +887,15 @@ codegen-push
 codegen-target
   method-codegen
 coerce-property-value
+  cl:integer (eql :int) (eql :boolean)
+  cl:string (eql :id) (eql :boolean)
   cl:string (eql :id) (eql :keyword)
   cl:string (eql :id) (eql :symbol)
   cl:string (eql :id) (eql :type)
   cl:string (eql :string) (eql :id)
   cl:string (eql :string) (eql :keyword)
   cl:string (eql :string) (eql :symbol)
+  cl:symbol (eql :symbol) (eql :boolean)
   cl:symbol (eql :symbol) (eql :id)
   cl:symbol (eql :symbol) (eql :keyword)
   t t (eql cl:t)
@@ -818,6 +918,7 @@ compute-chains
 compute-cpl
   sod-class
 compute-effective-method-body
+  basic-effective-method t t [:around]
   simple-effective-method t t
 compute-effective-methods
   sod-class
@@ -832,7 +933,7 @@ compute-islots
   sod-class sod-class
 compute-method-entry-functions
   basic-effective-method
-  simple-effective-method
+  effective-method [:around]
 compute-sod-effective-method
   sod-message sod-class
 compute-vtable
@@ -850,6 +951,7 @@ decode-property
   cl:integer
   cl:string
   cl:symbol
+  c-fragment
   c-type
   property
 effective-method-after-methods
@@ -864,6 +966,12 @@ effective-method-class
   effective-method
 effective-method-function-name
   effective-method
+effective-method-keywords
+  effective-method
+effective-method-live-p
+  aggregating-effective-method
+  sod::lifecycle-effective-method
+  simple-effective-method
 effective-method-message
   effective-method
 effective-slot-class
@@ -885,6 +993,12 @@ ensure-sequencer-item
   sequencer t
 ensure-var
   sod::basic-codegen t t
+expand-c-storage-specifier
+  cl:list
+  cl:symbol
+expand-c-storage-specifier-form
+  (eql alignas) t
+  (eql sod-parser:lisp) t
 expand-c-type-form
   (eql cl:*) t
   (eql cl:array) t
@@ -894,6 +1008,7 @@ expand-c-type-form
   (eql cl:function) t
   (eql cl:nil) t
   (eql cl:union) t
+  (eql atomic) t
   (eql bool) t
   (eql double) t
   (eql double-complex) t
@@ -916,6 +1031,7 @@ expand-c-type-form
   (eql short) t
   (eql signed-char) t
   (eql size-t) t
+  (eql specs) t
   (eql struct) t
   (eql unsigned) t
   (eql unsigned-char) t
@@ -990,6 +1106,7 @@ sod-parser:file-location
   c-fragment
   property
   sod-class
+  sod-initarg
   sod-initializer
   sod-message
   sod-method
@@ -998,6 +1115,11 @@ finalize-module
   module
 finalize-sod-class
   sod-class
+  sod-class [:around]
+find-class-initializer
+  effective-slot sod-class
+find-slot-initargs
+  sod-class sod-slot
 find-slot-initializer
   sod-class sod-slot
 format-temporary-name
@@ -1008,47 +1130,47 @@ format-temporary-name
 guess-metaclass
   sod-class
 hook-output
-  t t t
-  base-offset (eql :c) t
-  base-offset (eql :h) t
-  basic-effective-method (eql :c) t
-  chain-offset (eql :c) t
-  chain-offset (eql :h) t
-  class-pointer (eql :c) t
-  class-pointer (eql :h) t
-  code-fragment-item t t
-  delegating-direct-method (eql :c) t
-  effective-slot (eql cl:class) t
-  ichain (eql :h) t
-  ichain (eql cl:class) t
-  ichain (eql ilayout) t
-  ichain t t
-  ilayout (eql :h) t
-  ilayout t t
-  islots (eql :h) t
-  islots (eql cl:class) t
-  islots t t
-  method-entry (eql :c) t
-  method-entry (eql vtmsgs) t
-  module (eql :c) t
-  module (eql :h) t
-  module t t
-  sod-class (eql :c) t
-  sod-class (eql :h) t
-  sod-class t t
-  sod-class-effective-slot (eql cl:class) t
-  sod-method (eql :c) t
-  sod-method (eql :h) t
-  sod-slot (eql islots) t
-  vtable (eql :c) t
-  vtable (eql :h) t
-  vtable t t
-  vtable-pointer (eql :h) t
-  vtable-pointer (eql cl:class) t
-  vtmsgs (eql :c) t
-  vtmsgs (eql :h) t
-  vtmsgs (eql vtmsgs) t
-  vtmsgs t t
+  t t t [progn]
+  base-offset (eql :c) t [progn]
+  base-offset (eql :h) t [progn]
+  basic-effective-method (eql :c) t [progn]
+  chain-offset (eql :c) t [progn]
+  chain-offset (eql :h) t [progn]
+  class-pointer (eql :c) t [progn]
+  class-pointer (eql :h) t [progn]
+  code-fragment-item t t [progn]
+  delegating-direct-method (eql :c) t [progn]
+  effective-slot (eql cl:class) t [progn]
+  ichain (eql :h) t [progn]
+  ichain (eql cl:class) t [progn]
+  ichain (eql ilayout) t [progn]
+  ichain t t [progn]
+  ilayout (eql :h) t [progn]
+  ilayout t t [progn]
+  islots (eql :h) t [progn]
+  islots (eql cl:class) t [progn]
+  islots t t [progn]
+  method-entry (eql :c) t [progn]
+  method-entry (eql vtmsgs) t [progn]
+  module (eql :c) t [progn]
+  module (eql :h) t [progn]
+  module t t [progn]
+  sod-class (eql :c) t [progn]
+  sod-class (eql :h) t [progn]
+  sod-class t t [progn]
+  sod-class-effective-slot (eql cl:class) t [progn]
+  sod-method (eql :c) t [progn]
+  sod-method (eql :h) t [progn]
+  sod-slot (eql islots) t [progn]
+  vtable (eql :c) t [progn]
+  vtable (eql :h) t [progn]
+  vtable t t [progn]
+  vtable-pointer (eql :h) t [progn]
+  vtable-pointer (eql cl:class) t [progn]
+  vtmsgs (eql :c) t [progn]
+  vtmsgs (eql :h) t [progn]
+  vtmsgs (eql vtmsgs) t [progn]
+  vtmsgs t t [progn]
 ichain-body
   ichain
 ichain-class
@@ -1123,6 +1245,7 @@ inst-metric
   if-inst
   return-inst
   set-inst
+  sod::suppliedp-struct-inst
   update-inst
   var-inst
   while-inst
@@ -1138,6 +1261,7 @@ inst-update
   for-inst
 inst-var
   set-inst
+  sod::suppliedp-struct-inst
   update-inst
 invoke-sequencer-items
   sequencer
@@ -1161,12 +1285,16 @@ make-method-entries
   basic-effective-method sod-class sod-class
 sod-parser:make-scanner-stream
   sod-token-scanner
+make-sod-class-initfrag
+  sod-class t t
 make-sod-class-initializer
-  sod-class t t t t t
+  sod-class t t t t
+make-sod-class-tearfrag
+  sod-class t t
 make-sod-initializer-using-slot
-  sod-class sod-slot t t t t t
+  sod-class sod-slot t t t t
 make-sod-instance-initializer
-  sod-class t t t t t
+  sod-class t t t t
 make-sod-message
   sod-class t t t
 make-sod-method
@@ -1175,6 +1303,12 @@ make-sod-method-using-message
   sod-message sod-class t t t t
 make-sod-slot
   sod-class t t t
+make-sod-slot-initarg
+  sod-class t t t t
+make-sod-slot-initarg-using-slot
+  sod-class t sod-slot t
+make-sod-user-initarg
+  sod-class t t t
 method-entry-chain-head
   method-entry
 method-entry-chain-tail
@@ -1191,6 +1325,8 @@ module-dependencies
   module
 (setf module-dependencies)
   t module
+module-errors
+  module
 module-import
   t
   module
@@ -1204,21 +1340,33 @@ module-name
   module
 module-pset
   module
+pprint-c-storage-specifier
+  cl:symbol t
+  alignas-storage-specifier t
 pprint-c-type
-  t t t
+  t t t [:around]
   c-array-type t t
+  c-atomic-type t t
   c-function-type t t
+  c-keyword-function-type t t
   c-pointer-type t t
+  c-storage-specifiers-type t t
   simple-c-type t t
   tagged-c-type t t
 primary-method-class
   simple-message
   standard-message
+print-c-storage-specifier
+  t cl:symbol
+  t t
+  t alignas-storage-specifier
 print-c-type
   t c-array-type
+  t c-atomic-type
   t c-class-type
   t c-function-type
   t c-pointer-type
+  t c-storage-specifiers-type
   t simple-c-type
   t tagged-c-type
 cl:print-object
@@ -1254,6 +1402,8 @@ cl:print-object
   sod-message t
   sod-method t
   sod-slot t
+  sod-slot-initarg t
+  sod-user-initarg t
   temporary-name t
   update-inst t
   var-inst t
@@ -1275,29 +1425,31 @@ sequencer-constraints
 sequencer-table
   sequencer
 cl:shared-initialize
-  aggregating-message t
-  basic-direct-method t
-  c-function-type t
-  method-codegen t
-  module t
+  aggregating-message t [:before]
+  basic-direct-method t [:after]
+  c-function-type t [:after]
+  c-keyword-function-type t [:after]
+  effective-method t [:after]
+  method-codegen t [:after]
+  module t [:after]
   sequencer t
-  simple-effective-method t
-  sod-class t
-  sod-class-slot t
-  sod-initializer t
-  sod-message t
-  sod-method t
-  sod-slot t
-  sod-token-scanner t
+  simple-effective-method t [:after]
+  sod-class t [:after]
+  sod-class-slot t [:after]
+  sod-initializer t [:after]
+  sod-message t [:after]
+  sod-method t [:after]
+  sod-slot t [:after]
+  sod-token-scanner t [:after]
 simple-method-body
   aggregating-effective-method t t
+  sod::lifecycle-effective-method t t
   standard-effective-method t t
 cl:slot-unbound
   t basic-direct-method (eql sod::function-type)
   t basic-effective-method (eql sod::basic-argument-names)
   t basic-effective-method (eql sod::functions)
   t basic-message (eql sod::argument-tail)
-  t basic-message (eql sod::no-varargs-tail)
   t delegating-direct-method (eql sod::function-type)
   t delegating-direct-method (eql sod::next-method-type)
   t sod-class (eql sod::%ilayout)
@@ -1319,6 +1471,10 @@ sod-class-direct-superclasses
   sod-class
 sod-class-ilayout
   sod-class
+sod-class-initfrags
+  sod-class
+(setf sod-class-initfrags)
+  t sod-class
 sod-class-instance-initializers
   sod-class
 (setf sod-class-instance-initializers)
@@ -1345,43 +1501,56 @@ sod-class-slots
   t sod-class
 sod-class-state
   sod-class
+sod-class-tearfrags
+  sod-class
+(setf sod-class-tearfrags)
+  t sod-class
 sod-class-type
   sod-class
 sod-class-vtables
   sod-class
+sod-initarg-argument
+  sod-initarg
 sod-initializer-class
   sod-initializer
 sod-initializer-slot
   sod-initializer
-sod-initializer-value-form
-  sod-initializer
-sod-initializer-value-kind
+sod-initializer-value
   sod-initializer
+sod-message-applicable-methods
+  sod-message sod-class
 sod-message-argument-tail
   basic-message
+sod-message-check-methods
+  sod-message sod-class t
 sod-message-class
   sod-message
 sod-message-combination
   aggregating-message
 sod-message-effective-method-class
   aggregating-message
+  sod::initialization-message
   standard-message
+  sod::teardown-message
 sod-message-kernel-function
   aggregating-message
+sod-message-keyword-argument-lists
+  sod::initialization-message sod-class t t
+  sod-message sod-class t t
 sod-message-method-class
   basic-message sod-class t
   simple-message sod-class t
   sod-message sod-class t
 sod-message-name
   sod-message
-sod-message-no-varargs-tail
-  basic-message
 sod-message-type
   sod-message
 sod-method-body
   sod-method
 sod-method-class
   sod-method
+sod-method-description
+  basic-direct-method
 sod-method-function-name
   basic-direct-method
 sod-method-function-type
@@ -1453,15 +1622,17 @@ Methods:
 Package `sod-parser'
 
 floc-proto.lisp
-  cerror*                                       function
+  base-lexer-error                              class
+  base-syntax-error                             class
   cerror*-with-location                         function
   cerror-with-location                          function
+  classify-condition                            generic
   condition-with-location                       class
   count-and-report-errors                       macro
-  enclosed-condition                            generic
-  enclosing-condition                           class
   enclosing-condition-with-location             class
+  enclosing-condition-with-location-type        generic
   enclosing-error-with-location                 class
+  enclosing-information-with-location           class
   enclosing-warning-with-location               class
   error-with-location                           function class
   file-location                                 generic class
@@ -1469,10 +1640,19 @@ floc-proto.lisp
   file-location-filename                        function
   file-location-line                            function
   file-location-p                               function
+  info-with-location                            function
+  information-with-location                     class
   make-condition-with-location                  function
   make-file-location                            function
+  parser-error                                  class
+  parser-error-expected                         generic
+  parser-error-found                            generic
+  report-parser-error                           function
   simple-condition-with-location                class
   simple-error-with-location                    class
+  simple-information-with-location              class
+  simple-lexer-error                            class
+  simple-syntax-error                           class
   simple-warning-with-location                  class
   warn-with-location                            function
   warning-with-location                         class
@@ -1511,6 +1691,7 @@ parser-proto.lisp
   cl:char                                       function setf c-type parser
   character-parser-context                      class
   combine-parser-failures                       function
+  commit                                        parser
   cond-parse                                    macro
   define-pluggable-parser                       macro
   defparse                                      macro
@@ -1527,6 +1708,8 @@ parser-proto.lisp
   cl:not                                        function parser
   cl:or                                         macro parser
   parse
+  parse-empty                                   function
+  parse-fail                                    function
   parser                                        macro
   parser-at-eof-p                               generic
   parser-capture-place                          generic
@@ -1604,6 +1787,68 @@ streams-proto.lisp
 Classes:
 cl:t
   sb-pcl::slot-object
+    cl:condition
+      condition-with-location
+        enclosing-condition-with-location [sod-utilities:enclosing-condition]
+          enclosing-error-with-location [cl:error]
+          enclosing-information-with-location [sod-utilities:information]
+          enclosing-warning-with-location [cl:warning]
+        error-with-location [cl:error]
+          base-lexer-error
+            simple-lexer-error [simple-error-with-location]
+          base-syntax-error
+            simple-syntax-error [simple-error-with-location]
+          simple-error-with-location [cl:simple-error]
+            simple-lexer-error [base-lexer-error]
+            simple-syntax-error [base-syntax-error]
+        information-with-location [sod-utilities:information]
+          simple-information-with-location [sod-utilities:simple-information]
+        simple-condition-with-location [cl:simple-condition]
+        warning-with-location [cl:warning]
+          simple-warning-with-location [cl:simple-warning]
+      sod-utilities:enclosing-condition
+        enclosing-condition-with-location [condition-with-location]
+          enclosing-error-with-location [cl:error]
+          enclosing-information-with-location [sod-utilities:information]
+          enclosing-warning-with-location [cl:warning]
+      sod-utilities:information
+        enclosing-information-with-location [enclosing-condition-with-location]
+        information-with-location [condition-with-location]
+          simple-information-with-location [sod-utilities:simple-information]
+        sod-utilities:simple-information [cl:simple-condition]
+          simple-information-with-location [information-with-location]
+      cl:serious-condition
+        cl:error
+          enclosing-error-with-location [enclosing-condition-with-location]
+          error-with-location [condition-with-location]
+            base-lexer-error
+              simple-lexer-error [simple-error-with-location]
+            base-syntax-error
+              simple-syntax-error [simple-error-with-location]
+            simple-error-with-location [cl:simple-error]
+              simple-lexer-error [base-lexer-error]
+              simple-syntax-error [base-syntax-error]
+          parser-error
+          cl:simple-error [cl:simple-condition]
+            simple-error-with-location [error-with-location]
+              simple-lexer-error [base-lexer-error]
+              simple-syntax-error [base-syntax-error]
+      cl:simple-condition
+        simple-condition-with-location [condition-with-location]
+        cl:simple-error [cl:error]
+          simple-error-with-location [error-with-location]
+            simple-lexer-error [base-lexer-error]
+            simple-syntax-error [base-syntax-error]
+        sod-utilities:simple-information [sod-utilities:information]
+          simple-information-with-location [information-with-location]
+        cl:simple-warning [cl:warning]
+          simple-warning-with-location [warning-with-location]
+      cl:warning
+        enclosing-warning-with-location [enclosing-condition-with-location]
+        cl:simple-warning [cl:simple-condition]
+          simple-warning-with-location [warning-with-location]
+        warning-with-location [condition-with-location]
+          simple-warning-with-location [cl:simple-warning]
     cl:standard-object
       character-parser-context
         character-scanner-context [scanner-context]
@@ -1706,8 +1951,17 @@ apply-operator
   simple-unary-operator sod-parser::expression-parse-state
 charbuf-scanner-map
   charbuf-scanner t
-enclosed-condition
-  enclosing-condition
+classify-condition
+  cl:error
+  cl:warning
+  base-lexer-error
+  base-syntax-error
+  sod-utilities:information
+enclosing-condition-with-location-type
+  cl:condition
+  cl:error
+  cl:warning
+  sod-utilities:information
 expand-parser-form
   t (eql cl:and) t
   t (eql cl:list) t
@@ -1716,6 +1970,7 @@ expand-parser-form
   t (eql cl:t) t
   t (eql cl:when) t
   t (eql ?) t
+  t (eql commit) t
   t (eql expr) t
   t (eql label) t
   t (eql lisp) t
@@ -1734,6 +1989,7 @@ expand-parser-form
   list-parser (eql cl:type) t
   token-parser-context (eql token) t
   token-scanner-context (eql cl:error) t
+  token-scanner-context (eql sod:must) t
   token-scanner-context (eql sod:skip-until) t
 expand-parser-spec
   t (eql :eof)
@@ -1753,6 +2009,7 @@ file-location
   sod:c-fragment
   sod:property
   sod:sod-class
+  sod:sod-initarg
   sod:sod-initializer
   sod:sod-message
   sod:sod-method
@@ -1762,6 +2019,7 @@ file-location
   condition-with-location
   file-location
   position-aware-stream
+  string-scanner
   token-scanner
   token-scanner-place
 cl:make-load-form
@@ -1795,6 +2053,10 @@ parser-capture-place
 parser-current-char
   character-scanner-context
   string-parser
+parser-error-expected
+  parser-error
+parser-error-found
+  parser-error
 parser-places-must-be-released-p
   t
   list-parser
@@ -1831,7 +2093,7 @@ cl:print-object
 push-operator
   t sod-parser::expression-parse-state
   close-parenthesis sod-parser::expression-parse-state
-  open-parenthesis sod-parser::expression-parse-state
+  open-parenthesis sod-parser::expression-parse-state [:after]
   prefix-operator sod-parser::expression-parse-state
 push-value
   t sod-parser::expression-parse-state
@@ -1849,6 +2111,7 @@ scanner-capture-place
 scanner-column
   t
   charbuf-scanner
+  string-scanner
   token-scanner
 (setf scanner-column)
   t token-scanner
@@ -1858,6 +2121,7 @@ scanner-current-char
 scanner-filename
   t
   charbuf-scanner
+  string-scanner
   token-scanner
 scanner-interval
   charbuf-scanner t
@@ -1865,6 +2129,7 @@ scanner-interval
 scanner-line
   t
   charbuf-scanner
+  string-scanner
   token-scanner
 (setf scanner-line)
   t token-scanner
@@ -1886,10 +2151,11 @@ scanner-token
   sod:sod-token-scanner
 scanner-unread
   charbuf-scanner t
+  string-scanner t
 cl:shared-initialize
-  charbuf-scanner t
-  simple-binary-operator t
-  token-scanner t
+  charbuf-scanner t [:after]
+  simple-binary-operator t [:after]
+  token-scanner t [:after]
 sb-gray:stream-line-column
   position-aware-output-stream
 stream-pathname
@@ -1994,13 +2260,15 @@ optparse.lisp
   cl:string                                     function class c-type opthandler
   with-unix-error-reporting                     macro
 
-Leaked slot names: cl:documentation, options
-  option: cl:documentation
-  option-parser: options
-
 Classes:
 cl:t
   sb-pcl::slot-object
+    cl:condition
+      cl:serious-condition
+        cl:error
+          option-parse-error [cl:simple-condition]
+      cl:simple-condition
+        option-parse-error [cl:error]
     cl:structure-object
       option
       option-parser
@@ -2013,6 +2281,7 @@ cl:print-object
 Package `sod-utilities'
 
 utilities.lisp
+  aand                                          macro
   acase                                         macro
   acond                                         macro
   aecase                                        macro
@@ -2023,19 +2292,29 @@ utilities.lisp
   awhen                                         macro
   backtrack-position                            function
   categorize                                    macro
+  cerror*                                       function
   compose                                       function
   copy-instance                                 function
   copy-instance-using-class                     generic
   default-slot                                  macro
   define-access-wrapper                         macro
   define-on-demand-slot                         macro
+  defvar-unbound                                macro
+  designated-condition                          function
+  distinguished-point-shortest-paths            function
   dosequence                                    macro
+  enclosed-condition                            generic
+  enclosing-condition                           class
   sb-mop:eql-specializer                        class
   sb-mop:eql-specializer-object                 generic
+  find-duplicates                               function
   frob-identifier                               function
   sb-mop:generic-function-methods               generic setf
   inconsistent-merge-error                      class
+  info                                          function
+  information                                   class
   instance-initargs                             generic
+  invoke-associated-restart                     function
   it
   lbuild-add                                    function
   lbuild-add-list                               function
@@ -2047,12 +2326,18 @@ utilities.lisp
   mappend                                       function
   maybe-print-unreadable-object                 macro
   merge-error-candidates                        generic
+  merge-error-present-function                  generic
   merge-lists                                   function
   sb-mop:method-specializers                    generic
+  noted                                         function
   once-only                                     macro
   parse-body                                    function
+  partial-order-minima                          function
   print-ugly-stuff                              function
+  promiscuous-cerror                            function
   ref                                           function setf
+  simple-control-error                          class
+  simple-information                            class
   symbolicate                                   function
   update-position                               function
   whitespace-char-p                             function
@@ -2062,6 +2347,21 @@ utilities.lisp
 Classes:
 cl:t
   sb-pcl::slot-object
+    cl:condition
+      enclosing-condition
+      information
+        simple-information [cl:simple-condition]
+      cl:serious-condition
+        cl:error
+          cl:control-error
+            simple-control-error [cl:simple-error]
+          inconsistent-merge-error
+          cl:simple-error [cl:simple-condition]
+            simple-control-error [cl:control-error]
+      cl:simple-condition
+        cl:simple-error [cl:error]
+          simple-control-error [cl:control-error]
+        simple-information [information]
     cl:standard-object
       sb-mop:metaobject
         sb-mop:specializer
@@ -2075,8 +2375,14 @@ cl:t
       loc
 
 Methods:
+sod-parser:classify-condition
+  information
 copy-instance-using-class
   cl:standard-class t
+enclosed-condition
+  enclosing-condition
+sod-parser:enclosing-condition-with-location-type
+  information
 sb-mop:eql-specializer-object
   sb-mop:eql-specializer
 sb-mop:generic-function-methods
@@ -2087,6 +2393,8 @@ instance-initargs
   cl:standard-object
 merge-error-candidates
   inconsistent-merge-error
+merge-error-present-function
+  inconsistent-merge-error
 sb-mop:method-specializers
   cl:standard-method