src/class-make-{proto,impl}.lisp, ...: Use &key rather than &optional.

This makes it easier to add new bells and whistles as needed.

doc/meta.tex: Use correct names for `make-sod-MUMBLE-initializer'.

src/classes.lisp: Give initargs a useful print representation.

src/parser/floc-proto.lisp, src/utilities.lisp: Move generic condition stuff.

Move the non-location-specific condition machinery from `sod-parser' to
`sod-utilities' where it makes more sense.

Also, give `my-cerror' a more sensible name (`promiscuous-cerror') now
that it needs to be exported.

src/utilities.lisp (categorize): Don't leak the ITEMS-VAR into the body.

The body forms only need the CAT-VARs, so that's all that should be
bound in their environment.

src/utilities.lisp: Convert merge candidates to presentation form on the fly.

In `inconsistent-merge-error', retain the raw list of candidates, and
the presentation function, rather than requiring the caller to convert
the candidates when constructing the condition object.  This makes the
list considerably more useful to condition handler code.

.skelrc: Fix for change to licence machinery.

src/module-proto.lisp: Fix word-wrapping in a docstring.

doc/misc.tex: Divide `Miscellaneous utilities' into subsections.

Also reorder some of the items to make things fit better.

doc/sod.sty: Allow setting the description modifier explicitly.

This is necessary if the name is also picked out explicitly.  There are
currently no uses of this facility, but it's provided for completeness's
sake.

doc/sod.sty, doc/*.tex: Support category-specific arguments.

Now description categories can accept arguments and influence labels and
indexing.  Use this to collect method specializers and report them in
the index.

doc/sod.sty: Add indirection for printing modified description names.

The previous version just printed `MOD-' in front of the description
category name.  Now:

  * there's a `\descmod/MOD' macro which should decorate an appropriate
    piece of the category name; and

  * the category name macros themselves take an argument which they
    should apply to the part of the name which should be decorated.

doc/sod.sty: Typeset method roles as keywords in descriptions.

doc/sod.sty: Handle `setf' functions and friends in a more useful way.

  * Extend the `dhead' protocol to include a new MOD argument, which is
    usually empty, but may be something like `setf' to denote a modified
    thing.

  * Include the modification (if not empty) in the label, index subitem,
    and the description headline.

This is still rather rough, but will be refined soon.

doc/sod.sty, doc/*.tex: Put optional explicit name right before synopsis.

This makes the argument order better, and also clears space at the start
of the argument list for a different optional thing.

doc/concepts.tex: Clearly distinguish between types and classes.

C++ bungles this one badly, but we can do better.

doc/concepts.tex: Explicitly define `instances' clearly.

doc/structures.tex, lib/sod-structs.3: Fix unclear language.

doc/*.tex: Delete duplicate description entries.

doc/clang.tex: Remove indexing override for `setf' function.

We'll handle them in a better way later.

doc/misc.tex: Fix copied-and-pasted section label.

doc/parsing.tex: Zap a stray `>'.

doc/clang.tex: Fix some slightly garbled text.

doc/sod.sty: Reorder description-head arguments.

This is purely an internal change, between `\parse@dhd' and `\dhead@'.

doc/sod.sty: Add commentary to help following `\parse@dhd' and friends.

Mostly just comments and newlines, but two code changes:

  * the internal steps of `\parse@dhd' have been renamed to anticipate
    future developments; and

  * `\parse@dhd@cc' has been uncurried.

doc/sod.tex: Pull index sub-items into their own paragraphs.

Items with multiple sub-items end up being quite hard to read.  It may
be necessary to do something more complicated here.

doc/sod.sty: Add `fixme' notices to the index.

STYLE: Add a big section about C style.

STYLE: Make this document cover multiple languages.

Add a language-neutral section to the top, and demote all of the Lisp
stuff by a level.

STYLE: Add more on horizontal whitespace issues.

STYLE: Expand on a couple of remarks.

doc/syntax.tex: Add property definitions to module syntax.

Currently not defined, which is a shame.

doc/syntax.tex: Add module- and class-level productions for extensions.

doc/syntax.tex: Expand on what modules are.

doc/syntax.tex: Hoist `Properties' to section level and expand.

doc/syntax.tex: Hoist `C-types' to section level.

doc/syntax.tex: Promote `Integer literals' to subsection.

For consistency.  This was just a mistake, or a half-finished edit.

doc/concepts.tex: Fix description of merging keyword argument lists.

It doesn't matter whether the applicable methods come from different
superclasses: we have to merge everything.

doc/concepts.tex: Add cross-ref to conversions in slot-access description.

doc/concepts.tex: Delete fixme-ref to direct instances.

They've been defined for ages, and this is established terminology by
now.

doc/structures.tex: Put two spaces between sentences.

doc/refintro.tex: Describe a fancy feature of the syntax notation.

doc/concepts.tex: Fix vertical space above subsections.

doc/concepts.tex: Replace prose description by a source example.

doc/concepts.tex: Fix superclass/subclass confusion.

doc/concepts.tex: Fix directed-graph terminology.

Vertex/edge are for undirected graphs; node/arc are for directed ones.

doc/*.tex: Prefer @|...| over @"..." for general typeset-as-code.

The latter is strictly for literal tokens, rather than general code.

src/pset-impl.lisp: Decode C fragments as property values.

src/pset-{proto,impl}.lisp: Move `decode-property' methods to `impl'.

Most of these don't count as part of the protocol.

src/pset-parse.lisp: Report `{' and `<' as expected tokens in errors.

For fragments and types, respectively.

src/pset-parse.lisp: Mention fragment and type expressions in docstring.

src/pset-impl.lisp: Improve boolean literal handling.

  * Allow `on' and `off'.

  * Recognize literals case-insensitively.

src/optparse.lisp: Quote literals properly.

src/module-{proto,impl}.lisp: Publish fragments properly.

Not sure why this was languishing in `module-impl.lisp'.

src/sod.asd.in: Note missing dependency of `module-proto' on `pset-proto'.

The definition of the `module' class includes a `pset' object.

STYLE: Explain how to indent lambda-lists.

src/: Improve formatting of big lambda-lists.

src/c-types-impl.lisp: Remember `signed' as a C-level synonym for `int'.

lib/keyword.h: Fix typo in commentary.

lib/Makefile: Fix bogus formatting.

doc/concepts.tex: Start work on documenting metaclasses.

doc/concepts.tex: Add class-precedence-list examples, with diagrams.

doc/concepts.tex: Mention class-slot initializers; cross-ref to metaclasses.

doc/concepts.tex: Rearrange message-sending documentation.

Replace `Vtables' stub under `C language integration' with `Sending
messages', and write some stuff.  Rename `Sending messages in C' under
`Messages and methods' to `Method entries'.

doc/concepts.tex: Fix cross-reference to compatibility section.

doc/*.tex: Use `\fixme' macro rather than `[FIXME]' in prose.

doc/concepts.tex: Missing blank line before subsection.

doc/concepts.tex: Centre the (overwide) method-combination diagram.

doc/sod.sty: Add `lit' TikZ style for literal text.

.gitignore: Ignore `makeindex' debris.

doc/: A bibliography!  With citations!

Currently this uses pieces of Nelson Beebe's computer science
bibliography directly.  At some point I'll extract the pieces I need.

src/class-make-impl.lisp (check-method-argument-lists): Fix docstring.

src/module-parse.lisp (parse-class-body): Check for duplicate superclasses.

It turns out that this is a thing that can happen.  Catch it early
rather than waiting for a less helpful message during CPL construction.

src/module-parse.lisp (parse-class-body): Refactor superclass list.

Arrange to be able to do more computation on the direct superclass
list.  No functional change for now.

src/utilities.lisp, src/class-finalize-impl.lisp: Add `find-duplicates'.

Replace the internal `check-list' function in `check-sod-class' with a
proper, if strangely shaped, utility function.

src/: Check that methods are compatible during class finalization.

This is the payoff from the previous refactoring.  Check, specifically,
that the keyword argument types among the applicable methods are
compatible.  Otherwise we only find out about this during effective-
method computation, which happens during output, and it's too late to
stop the presses.

src/: Lift keyword-argument protocol from effective methods to messages.

We're going to want to use this stuff during class finalization, before
we've made the effective methods.

This also refactors the machinery somewhat, introducing a new function
`compute-effective-method-keyword-arguments' to do the slightly fiddly
work in initializing `effective-method'.

src/class-layout-impl.lisp: Abstract out `sod-message-applicable-methods'.

We shall want this more later.

doc/sod.sty, doc/concepts.tex: Pull out common style features.

Thicker lines, stealth arrows.

doc/sod.sty: Add `\fixme' macro for making omissions more obvious.

doc/sod.tex: Number mathematical things within sections.

Maybe this should be within subsections, but that makes the numbers
awfully long.

src/package.lisp: Have `sod-user' use `sod-parser' and the `utilities'.

I'm not so sure about the utilities, but the parser machinery exports
lots of useful things such as `cerror*-with-location' which extensions
will definitely need.

src/classes.lisp: Fix docstring formatting.

Is this the last holdout of the CAPITAL symbol names?

src/utilities.lisp (merge-lists): Fix garbled documentation.

src/utilities.lisp (once-only): Ensure that the BINDS argument is a list.

test/test.sod: Test that class initializers work properly.

test/test.sod: Add a licensing notice.

src/class-output.lisp: Generate more general class-object macros.

We need a macro picking out the most specific class in each of the
metaclass's chains.  If the root metaclass is the most specific class in
its chain then the existing `Foo__class' macro will do for one of these.

src/module-{proto,impl}.lisp, etc.: Don't output erroneous modules.

Add a new reader `module-errors' which reports the number of errors
found while processing the module.  Notice (but decline to handle)
errors while loading modules.  And, in the front-end, don't try to
output erroneous modules.

This fixes an annoying problem where errors are reported and cause
`make' to fail, and then a subsequent `make' apparently succeeds,
possibly with bogus C code.

src/class-finalize-{proto,impl}.lisp: Check class slot initializers.

User-defined class slots must have initializers, or we get very sad
during output.  Builtin slots mustn't have initializers, or (in
practice) they'll be ignored in favour of the builtin magic.

Introduce a new function `check-class-initializer', as part of the class
finalization sanity-check protocol, which verifies that class slots are
initialized -- or not -- as required.

src/class-finalize-impl.lisp (clos-tiebreaker): Search from the right end.

The docstring clearly says that we take the candidate whose direct
subclass is rightmost in the SO-FAR list, but the code searches SO-FAR
from the left and takes the first match.  As far as I can make out, this
has always been wrong: the earliest version of `merge-lists' builds the
output list in order, and the earliest version of `clos-tiebreaker'
searched from the left anyway.

Just reverse the list before scanning.

src/class-finalize-impl.lisp (check-sod-class): Remove `w/del' wrapper.

The around method on `finalize-sod-class' has already set the error
location, so remove the extra wrapper here.  Everything moves over two
spaces again, and Git makes a proper mess of the diff.  I've reflowed
some of the error messages by hand.

src/class-finalize-impl.lisp (check-sod-class): Fix indentation.

A lot of it was two spaces further over than it should have been.

src/: Make `find-class-initializer' be a proper part of the interface.

src/: Guess the metaclass early, unless we're explicitly bootstrapping.

Otherwise we hit unbound-slot errors if we try to resolve class
initializers.

Introduce an internal property `%bootstrapping' to tell the class
initialization machinery to leave the metaclass slot alone, and use this
in `bootstrap-classes'.  Otherwise, have the `sod-class'
`shared-initialize' method go off and call `guess-metaclass'
immediately.

Move `guess-metaclass' back into `class-make-impl.lisp' and fix up the
documentation stubs.

This partially reverts 981b6fb624186a54320cea34e53e16276aee2bdb.

src/class-make-impl.lisp: Fix docstring: `metaclass' is left unbound.

This was changed back in 981b6fb624186a54320cea34e53e16276aee2bdb.

src/pset-impl.lisp: Introduce a property type for booleans.

src/parser/floc-proto.lisp: Associate restarts when resignalling.

`with-default-error-location*' catches conditions and maybe resignals
versions of them with error location information.  But the new
conditions don't have the same restarts associated with them, so
functions like `muffle-warning' will fail.

Fixing this is a little fiddly, but a general solution is possible.

src/final.lisp: Add a new function for testing property-set parsing.

src/final.lisp (test-parse-c-type): Abstract out the tedious setup stage.