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.

src/pset-{proto,impl}.lisp: Move `string-to-symbol' to implementation.

It's not used by anything else, and it's really weirdly shaped.

src/pset-proto.lisp: Export `default-slot-from-property'.

This is really useful for extensions defining new metaobjects.  It was
already documented as an external symbol, but not actually exported.

doc/sod.sty: Make spacing in `\lit' be more even.

doc/sod.tex: Don't print the `Index' header in uppercase.

Silliness from the `idxlayout' package which took ages to track down.

doc/: Some minor tweaks and corrections.

doc/sod.tex: Capture `\label' from inside `\part{...}' title.

Otherwise we capture the wrong page number because `\part' implicitly
flushes two pages.

doc/structures.tex, lib/sod-structs.3: Fix description of class pointers.

There's really only one in the vtable for each metaclass chain, and
the types of the pointers vary as we descend the superclass graph.

doc/intro.tex: Strengthen the argument about C++ a bit.

doc/: Fix various unfortunate garblings.

doc/concepts.tex: Fix description of standard method combination.

doc/concepts.tex: Typeset method rôle names as identifiers.

doc/: Consistently write `rôle', rather than `role', in prose.

Obviously there's no diacritic in identifiers.

Merge branches 'mdw/doc-reorg' and 'mdw/parser-fixes'

* mdw/doc-reorg: (34 commits)
  doc/refintro.tex, src/sod-module.5: Fix slightly garbled text.
  doc/syntax.tex: Delete (wrong) duplicate rule for <argument-declarator>.
  doc/syntax.tex: Consistently use baseline-level ellipses in syntax.
  doc/concepts.tex: Fix a rather distant demonstrative.
  test/: Add a simple rational-number class.
  src/method-impl.lisp: Initialize `suppliedp' flags properly.
  src/class-output.lisp: Fix missing parentheses around `me' in message macros.
  doc/concepts.tex: Fix garbled fragment ordering rules.
  doc/runtime.tex: Fix name of `SOD_XCHAIN' macro.
  doc/structures.tex, lib/sod-structs.3: Fix in-chain ichain exemplar.
  src/optparse.lisp: Indent a line correctly.
  test/test.sod: Abbreviate the T1 class nicknames.
  src/method-impl.lisp: Mark `sod__obj' as ignorable in effective methods.
  src/method-aggregate.lisp: Allow useful behaviour if no primary methods.
  doc/intro.tex: Begin a (rather extensive) comparison with C++.
  doc/Makefile.am, doc/sod.tex: Actually include the stub intro.
  doc/intro.tex: Fix erroneous `\manpage' to correct `\man'.
  doc/concepts.tex: Include diagram of standard method combination.
  doc/Makefile.am: Enable `\nonstopmode' in TeX processing.
  doc/Makefile.am: Abstract out repeated TeX arguments into a variable.
  ...

* mdw/parser-fixes: (97 commits)
  src/class-finalize.lisp: Improve reporting of CPL construction errors.
  src/class-finalize-impl.lisp: Move error reporting to `merge-class-lists'.
  src/class-finalize-impl.lisp (clos-cpl, dylan-cpl): Improve formatting.
  src/class-finalize-impl.lisp (clos-tiebreaker): Refactor.
  src/class-finalize.lisp (merge-class-lists): Zap pointless `:present' arg.
  src/module-impl.lisp (c-fragment): Fix docstring formatting.
  src/module-parse.lisp: Improve error recovery for core class items.
  src/module-parse.lisp: Abstract out `parse-maybe-dotted-name'.
  src/module-parse.lisp: Use `quote', not `list', to make constant lists.
  src/module-parse.lisp: Use `dotted-name', not `dotted-identifier'.
  src/module-parse.lisp: Catch errors during class-item construction.
  src/module-parse.lisp: Factor out slot and maybe-initializer creation.
  src/module-parse.lisp: Improve error recovery for `class' item framing.
  src/class-utilities.lisp: Permit `temporary-name' objects as class names.
  src/class-utilities.lisp: Improve reporting of multiple root classes.
  src/module-parse.lisp: Improve error recovery for `initarg' class-items.
  src/module-parse.lisp: Improve error recovery for `lisp' items.
  src/module-parse.lisp: Improve error recovery for `load' and `import' items.
  src/module-parse.lisp: Improve error recovery for `test' items.
  src/module-parse.lisp: Improve error recovery for `code' items.
  ...

doc/refintro.tex, src/sod-module.5: Fix slightly garbled text.

doc/syntax.tex: Delete (wrong) duplicate rule for <argument-declarator>.

doc/syntax.tex: Consistently use baseline-level ellipses in syntax.

doc/concepts.tex: Fix a rather distant demonstrative.

test/: Add a simple rational-number class.

This found a surprising number of bugs.  I wasn't even intending for it
to be a test, but it seems to work well as one.

src/method-impl.lisp: Initialize `suppliedp' flags properly.

More foolishness.  The standalone C library gets this right,
embarrassingly enough.

src/class-output.lisp: Fix missing parentheses around `me' in message macros.

What was I thinking?

doc/concepts.tex: Fix garbled fragment ordering rules.

doc/runtime.tex: Fix name of `SOD_XCHAIN' macro.

The index entry was right, but the synopsis showed the wrong name.

doc/structures.tex, lib/sod-structs.3: Fix in-chain ichain exemplar.

The general ichain structure is for some superclass on the same chain,
but not necessarily the chain head.  The later prose already has this
right, but the synopsis at the beginning of the section didn't.

src/optparse.lisp: Indent a line correctly.

test/test.sod: Abbreviate the T1 class nicknames.

They don't actually need to have `t1' in them.

src/method-impl.lisp: Mark `sod__obj' as ignorable in effective methods.

Very trivial effective methods don't need this, and the warnings are
annoying.

src/method-aggregate.lisp: Allow useful behaviour if no primary methods.

Many aggregating combinations have obvious things to do even if they
have no primary methods; e.g., `progn' should do nothing, and
combinations based on operators with identity should return that
identity.  This actually covers all of them except `min' and `max'.

doc/intro.tex: Begin a (rather extensive) comparison with C++.

I think this doesn't fit well here, but these things need saying
somewhere.