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.

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.

Now the build doesn't grind to a halt because I've upset TeX again.

doc/Makefile.am: Abstract out repeated TeX arguments into a variable.

doc/structures.tex: Fix variable reuse in keyword-args message signature.

I had `m' as both the message name and the total number of arguments.

doc/concepts.tex: Warn about allocating resources in init methods.

doc/concepts.tex: Fix missing superclass in a code example.

doc/concepts.tex: Fix copy-and-paste fail in `Destruction' section.

doc/concepts.tex: Update `Slot initializers', about class initialization.

The old initialization function has been replaced by a message.

doc/concepts.tex: A number of minor fixes.

  * Insert a missing paren.

  * Insert missing space after `\Cplusplus'.

  * Hyphenate `pointer-to-class-type' in the description of conversions,
    because it's easy to mis-associate otherwise.

  * Fix erroneous (probably copy-and-paste) `upcast' to `downcast'.

  * Improve wording about failing downcasts.

src/optparse.lisp: Use low-level slot accessor in `option' printer.

If I try to use the access wrapper, I get compiler warnings about how
the previous use of the function wasn't inlined; but if I declare the
wrapper earlier then it might not inline anything.  The printer is
rarely used, so this isn't a bad place to be.

src/class-make-impl.lisp: Introduce property to choose initarg class.

This is now uniform, at least.

doc/syntax.tex: Describe the built-in properties for objects.

All a bit rough, but at least there's a place to write this stuff down
now.

doc/syntax.tex: Give cross-ref to (stub) metaclass section.

Fixes a fixme.

Various, style: Generally prefer `: ' over ` : '.

Before subclass lists, output constraints, and bitfield widths.  Retain
` : ' in conditional expressions to match ` ? ' which I don't want to
change, at least for now.

doc/: Work in progress.

doc/refintro.tex: Introduction to reference section.

This is the start of a major reorganization of the reference material.

doc/stdmeth.tex: A TikZ diagram of the standard method combination.

For safekeeping.  Remove the old (Lisp-specific) SVG version now that we
don't need it any more.

src/class-finalize.lisp: Improve reporting of CPL construction errors.

Introduce `report-class-list-merge-error' to report problems properly.

src/class-finalize-impl.lisp: Move error reporting to `merge-class-lists'.

This means that `merge-class-lists' now needs a CLASS argument, hence
the noise.

src/class-finalize-impl.lisp (clos-cpl, dylan-cpl): Improve formatting.

  * In `clos-cpl', distinguish the `class' argument to the outer
    function from the lambda-bound `c'.  This makes the lambda short
    enough to un-miser the `merge-class-lists' call.

  * in `dylan-cpl', hoist the `cpls' calculation into the `let', to
    match `c3-cpl' below.  Again, this lets us un-miser.

src/class-finalize-impl.lisp (clos-tiebreaker): Refactor.

An early exit is cleaner than assignment and a nil check.

src/class-finalize.lisp (merge-class-lists): Zap pointless `:present' arg.

Since we don't actually print the `inconsistent-merge-error' anyway,
fiddling with the presentation of the items doesn't do anything.

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'.

An identifier is a single token, and therefore can't be dotted.  I
appear to have gotten this one right everywhere else.

src/module-parse.lisp: Catch errors during class-item construction.

These aren't worth failing the whole class construction over, but they
do mean that the individual class-item shouldn't be recorded.

This approach seems generally easier than reporting continuable errors
and then indicating failure in some other way, particularly in the case
of slots with initializers.

src/module-parse.lisp: Factor out slot and maybe-initializer creation.

src/module-parse.lisp: Improve error recovery for `class' item framing.

Cope with a failure to parse the class name (by inventing a synthetic
name) and/or superclass list (by forcing the use of `SodObject' as a
parent).

src/class-utilities.lisp: Permit `temporary-name' objects as class names.

This will be helpful in error recovery.  Classes and various related
objects must have names, but if we can't parse the user's choice of name
then we have to make one up.  The easy approach, to avoid conflicts with
the user's other choices, is to pick a name with funny characters in,
but that's properly rejected by the check here; but we can wrap the name
up in a `temporary-name' object to push it through without trouble.

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.

src/module-parse.lisp: Improve error recovery for `typename' items.

src/module-parse.lisp (`set'): Parse at least one property if no pset.

Allow

[foo = "thing"] set;

and

set foo = "thing";

but not plain

set;

src/module-parse.lisp (read-module): Use requested pathname for location.

The default behaviour for `charbuf-scanner' is to use the pathname from
its underlying stream; but (at least on some implementations) this is an
absolute pathname which is actually rather annoying in error messages.

Instead, arrange for `read-module' to attach the namestring of the
pathname it was given directly to the scanner.  This will be the correct
possibly-relative pathname to the module file, because `find-file' has
already done that part of the work, but it will be relative if that's
how it was specified on the command line, if it was found by merging
with a relative pathname in the `*module-dirs*' list, or if it was
imported by a name relative to a module with a relative pathname.

src/module-parse.lisp (read-module): Provide sensible default error-recovery.

By default, if there's an error parsing a module item, skip and consume
until the next `;' or `}'.  This actually seems to work quite well.

src/module-parse.lisp: Don't explicitly ask for default behaviour.

  * Reporting the scanner position as the error location.

  * Setting at-least-one when parsing delimitered lists.

  * Keeping the terminator when skipping to one of several terminator
    tokens.

src/module-parse.lisp: Use newer syntax notation in the commentary.

src/module-parse.lisp: Some minor reformattings.

src/lexer-{proto,impl}.lisp: Add explicit recovery action to `error'.

This ends up being an `:action' keyword argument to
`parse-error-recover', and a macro body to the `error' parser macro.

src/lexer-{proto,impl}.lisp: Enhance `skip-until' to match token values.

src/lexer-impl.lisp: Set default `:keep-end' in `%skip-until' function.

The parser-macro set this correctly, but the function didn't.

src/lexer-impl.lisp: Rename internal `skip-until' function.

This shouldn't have leaked.

src/class-make-impl.lisp: Forbid slots with function types.

Pointer-to-function type is fine, of course.

src/{c-types-impl,method-{proto,impl}}.lisp: Improve `merge-keyword-lists'.

  * Make the overall description of the merging site be a function (a)
    to report a file location and (b) to avoid formatting the thing if
    there isn't actually a problem.

  * Make the per-argument-list descriptions be functions so that they
    can report more than one message each.

  * Change `method-keyword-argument-lists' to report the inheritance
    path for methods involved in keyword argument conflicts.  Add an
    argument to thread through an `inheritance-path-reporter-state'
    object to make this work.

src/c-types-impl.lisp: Reorder `merge-keyword-lists' input lists.

Prepend the `what' argument to the front of each argument list, rather
than having a (LIST . WHAT) pair.  Also, internally to
`merge-keyword-lists', keep the entries in the hash table as
(WHAT . ARG) rather than the other way around.

src/method-impl.lisp (method-keyword-argument-lists): Check message type.

Check keyword arguments defined in the message as well as all of the
applicable methods.

src/method-impl.lisp (method-keyword-argument-lists): Zap pointless `let'.

src/method-impl.lisp (method-keyword-argument-lists): Fix indentation.

src/{lexer-{proto,impl},parser/floc-proto}.lisp: Conditionify parse errors.

  * Introduce condition classes for parse errors.

  * Introduce `classify-condition' to describe the different reportable
    conditions to the user, and change `count-and-report-errors*' to use
    this rather than having special knowledge.  Now it pretty much just
    counts and prints.

  * Move the complicated error-message printing machinery from the
    `syntax-error' and `lexer-error' functions into the condition
    reporting functions.  (Now they don't actually need to be formatted
    until they're just about to be presented to a user.)

src/**/*.lisp: Use convenience functions to invoke restarts.

Introduce a new function `noted' to invoke the `noted' restart.  Fiddle
other code to do the right thing.