src/method-proto.lisp: Fix boneheaded `:keyword' as a type.

src/class-make-impl.lisp: Don't store `nil' in the `metaclass' slot.

Normally we can fill `metaclass' in at construction time, but this is
difficult while we're bootstrapping the class graph.  Previously, we'd
store `nil' in the slot, and expect `bootstrap-classes' to fix things up
later; but actually, the `metaclass' slot is declared to hold only
`sod-class' objects.

Rather than expand the slot type, delay the `guess-metaclass' machinery
until class finalization (moving the code across into the relevant
source files).

src/pset-proto.lisp (default-slot-from-property): Maybe leave slot unbound.

If there are no DEFAULT-VALUE forms, and the property isn't set, then
leave the slot unbound.

src/*.lisp: Fix declared slot types.

SBCL doesn't seem too bothered about type mismatches in slot values, but
CMUCL kicks up a fuss.  These declared types were too strict, either
because of inadequate thinking or because the declarations had become
stale.

src/parser/package.lisp: Do better at finding Gray streams on CMUCL.

Take the opportunity to reorganize the conditional machinery.  Avoid the
trap waiting because CMUCL's Gray streams are in its `extensions'
package, along with things whose names which conflict with our
utilities.

src/*.asd.in: Load `auto.lisp' explicitly relative to `*load-pathname*'.

doc/structures.tex: Better typesetting of structure expressions.

doc/structures.tex: Fix fake property lists for the builtin classes.

SodObject was missing its `nick' property, which is unfortunate because
that's probably the most important one to be aware of.  SodClass was
missing a property list altogether.

doc/structures.tex: Insert missing member name in structure display.

doc/runtime.tex: Highlight formal argument names.

doc/clang.tex: Display the `fun' type specifier.

It's too long to read comfortably in running text.

doc/misc.tex (options): Add in missing argument form.

doc/clang.tex: Fix function name.

doc/clang.tex: No, `*sod-tmp-ap*' is not exported.

doc/: Just some whitespace fiddling.

doc/output.tex: Actually document the output symbols.

src/: Minor formatting tweaks.

STYLE: Some minor wording fixes.

  * Some actual typos.

  * Punt on the issue of `a ~flet~' versus `an ~flet~' and how I'm
    pronouncing `flet' today.

src/c-types-test.lisp, src/test-base.lisp: Force pretty-printing.

It seems that later `xlunit' versions turn this off.

src/optparse.lisp: Rearrange system-specific stuff.

  * Remove `cl-launch' from the explicit `:use' list.

  * Prefer using `uiop' to collect arguments if it's present, because it
    does everything properly.

  * Fall back to `cl-launch' driven by steam if it's available.

  * Otherwise use a hacky list of system-specific runes copied from my
    other Lisp library.

  * Reformat the `exit' function so it's easier to slot new
    implementations in, similar to the new `set-command-line-arguments'.

  * Load `sod-frontend' and use `optparse:exit' rather than
    `cl-launch:quit', because the latter has disappeared in later
    versions.

src/Makefile.am: Add current directory to ASDF source registry.

Newer ASDF doesn't look for system definitions in the current directory
by default any more.

src/Makefile.am: Append `$(EXEEXT)' to placate newer Automake.

I don't think it will help much because I don't expect that `cl-launch'
works on Windows.

Remove `SOD_CAR' from the public interface.

It's now called `SOD__CAR', no longer documented, and in a new, clearly
marked `preliminaries utilities' section of the header file.  This new
section precedes the header-file inclusions because they can in
principle depend on the definitions made here.

This macro probably won't change, but I reserve the right to make the
internal utilities be weird in ways which won't break the way Sod uses
them, but might break other things which rely on them.

doc/clang.tex: Order the table of `simple' C types more sensibly.

doc/: Bring the `SYMBOLS' file and description stubs up to date.

src/class-output.lisp (*instance-class*): Add a docstring.

doc/list-exports.lisp: Add in the obvious interactive rune.

Just saves typing.  You know?

doc/list-exports.lisp: Add in some packaging boilerplate.

doc/list-exports.lisp: Bind `*package*' while reading files.

Otherwise we can get confused by read-time evaluation and other such
wonders.  Unfortunately this means that some of the macros we have
magical support for now need package qualification here.  Oh, well.

src/parser/scanner-charbuf-impl.lisp: Replace pointless use of `#.'.

This only existed because `charbuf-size' is (in theory) a tweakable
constant, but `defclass' wants a literal type specifier as its `:type'
argument.  But the correct type specifier, `charbuf-index' was already
defined at the same time (both were added in the same, rather sketchy,
old commit).

It's useful to kill this because it confuses the (rather stupid) reader
in `list-exports'.

doc/lispintro.tex: Clarify and expound the API compatibility rules.

A lot of this is (ahem) `borrowed' from the MOP spec.

lib/: Attach proper LGPL notices to files.

Include a `.skelrc' file so that future files added here get the proper
notice.

doc/concepts.tex: Document changed `and' and `or' combination return values.

doc/concepts.tex: Highlight method role names.

lib/sod.h: Mark-up fix.

src/method-aggregate.lisp: `and' and `or' combinations return decisive value.

Rather than canonifying to an integer result, effective methods with
`and' and `or' method combination now return the decisive value -- which
means that they can be used with any scalar return type (so the type
restriction has been removed).

Most significantly, the `or' combination is very useful with pointer
returns: it returns the result of the most specific direct method which
returns a non-null value.

src/c-types-parse.lisp: Actually emit the type complexity.

Bug introduced in 0e7cdea0...

src/method-aggregate.lisp: Let `custom' methods have weird return types.

src/method-aggregate.lisp: New protocol for method return types.

Rather than assume that primary methods should always return the same
type as the message, introduce protocol for the method combination to
decide which return type it wants.

src/method-aggregate.lisp: Store keyword list as a plist on the message.

We'll need some properties in other methods on the message.

src/method-aggregate.lisp: Make the method count be `size_t'.

src/pset-*.lisp: Allow parsing and retrieval of C types as property values.

Hack src/sod.asd.in because pset now depends on c-types.

src/pset-proto.lisp: Remove the write wrapper for `p-%type'.

src/module-parse.lisp: New statement to set module-level properties.

src/lexer-*.lisp: Add option to `error' to ignore non-consuming failure.

Maybe you're using `error' somewhere where a totally missing thing is
OK: the new :ignore-unconsumed option lets you tell it that this isn't a
problem.

src/{builtin,c-types-{impl,parse}}.lisp: Add some more builtin types.

Add `wchar_t', `_Bool' and `bool', and the C99 complex and imaginary
types.

src/sod-test.asd.in: Fix the setting of the system version.

doc/concepts.tex: Provide a conceptual background.

This is a bit messy still, but I think it's a solid start.

doc/clang.tex: Document `argument' accessors together.

I'm not happy about the description, but the general shape is right.

doc/syntax.tex: Remove pointless repeats on <declarator-suffix>.

<primary-declarator>[k] is already a recursive definition, because of
the parentheses.  Besides, if <declarator-suffix> was going to be shown
as repeatable, it should have a `+' rather than a `*', otherwise the
rule is directly recursive.

doc/syntax.tex: Settle on <dotted-name> rather than <qualified-identifier>.

The document used both rather randomly.  The former is shorter and
less pointlessly abstract.

doc/syntax.tex: Allow `0' as an integer literal.

It's too short to be octal, and that's ugly anyway, so include it as a
strange decimal literal.

doc/syntax.tex: Improve the syntax notation.

Rather than having a bunch of special rules, define the notational
extensions in terms of the parametrized nonterminals we have anyway for
declarators, and set that on a more formal footing.

I'm not quite sure how powerful this formalism is.  I believe it's
strictly more powerful than context-free grammars, but I haven't decided
whether it's Turing-equivalent.  It doesn't matter much here either way,
because the actual grammar is indeed context-free even if the formalism
is more expressive than that.

doc/structures.tex: Fix section label.

doc/structures.tex: Fix indentation error.

STYLE: Minor tweakery.

.gitignore: Ignore more TeX debris.

Fix spelling of `Sensible' in all of the header comments.

How embarrassing.

debian/*.install: Distribute manpages with appropriate packages.

lib/, src/: Add man pages for the translator.

Rather sketchy for now.  This will improve later, no doubt.

src/builtin.lisp, src/codegen-proto.lisp: Improve slot initialization.

The fundamental difficulty is that actually we're not initializing an
instance's slots: we're assigning values to them.

Previously, we tried to distinguish scalar from aggregate initializers.
The former got converted into

sod__obj->nick.slot = EXPR;

while the latter ended up as

sod__obj->nick.slot = (TYPE) { COMPOUND-INIT };

There are two problems with this.  The first is easy: aggregate
literals, such are used in the latter case, are shiny and new in C99.
The second is more subtle: we distinguish aggregate from scalar
initializers from whether they're wrapped up in braces -- but in fact
they needn't be if they've been concealed in a macro, e.g.,
`PTHREAD_MUTEX_INITIALIZER', or `DSTR_INIT'.  Under the previous rules,
you'd have to write something like

pthread_mutex_t slot = (pthread_mutex_t)PTHREAD_MUTEX_INITIALIZER;

as your slot definition in order to get the right effect, and that's
just annoying.  (It would be a disservice to users to insert the cast
unconditionally, of course, since that would eliminate useful type
checking.)

Change all of this.  Instead, actually initialize an object of the right
type (we know that type that is, of course), and then assign it to the
slot.  A decent compiler will turn this into exactly the same object
code (yes, I tested this), and it means that our heuristic is no longer
needed for anything important.  I've preserved the distinction anyway,
because we can format compound initializers slightly more prettily, but
it no longer makes any semantic difference, and the dependency on C99
has been eliminated.

src/frontend.lisp: Report an error if no output types are requested.

Silently not doing anything is sort of unhelpful.

src/c-types-proto.lisp: Make `argument' objects be immutable.

We have no need to change them.

src/: Wrap functionish bodies in an appropriately named `block'.

doc/output.tex: Start documenting the output machinery.

doc/sod.tex: Spruce up the index handling.

  * Use `idxlayout' to format the index entries better.

  * Use the `makeidx' package's `\printindex' to read the index file.

STYLE: Zap trailing whitespace.

src/module-output.lisp, test/chimaera.sod: Add output items for user code.

It seems likely that many modules will want to add plain C code to the
implementation output, and declarations to the header, so provide
standard output items `early_user' and `user' for this purpose.

src/sod-{frontend,test}.asd.in: Define systems in separate packages.

Now that the system-definition packages have started exporting
variables, we'll get annoying warnings if the different `defpackage'
forms have inconsistent exports.

src/output-{proto,impl}.lisp: `sequencer''s :constraints initarg takes names.

The `constraints' slot of a `sequencer' object maintains a list of
constraints, each of which is a list of `sequencer-item' objects, and
this list is ordered with the most-recently added constraint first.

Previously the :constraints initarg just set this list directly, which
isn't really very satisfactory.  Instead, handle the initarg specially,
reversing it, and converting item names into the actual items, interning
them properly.

This isn't completely right, because there's no way at this time to
attach handler functions to the implicitly created items, but it's way
better than nothing.

src/class-output.lisp: Reformat and reorder.

The major improvement is to gather together the methods which walk the
layout hierarchy, independently of the output reason.

src/utilities.lisp (merge-lists): Make default tie-break sane, and document.

  * Make sure the candidate list given to the tie-breaking `pick'
    function is sorted according to the /first/ list each candidate
    appears in, rather than the last one, because `remove-duplicates' by
    default keeps the last-appearing element of each equivalence class,
    unless I give `:from-end t'.  So do that.

  * Describe the tie-breaking behaviour now that it's sane.  This is
    sort of important because it's used by the output machinery.

src/utilities.lisp: Use `do' in place of unnecessary `do*'.

The other loop variables seem to have gotten lost somewhere along the
way.

src/utilities.lisp: Fix another docstring's formatting.

doc/: Initial work on an index.

STYLE: Document Lisp programming style.

src/Makefile.am: Reinstate ASDF output translations.

These were mistakenly removed during the version number
hacking (58a9509...).  It's important to separate the good command-line
build from builds done inside a resident Lisp for hacking, because the
latter might be full of debug pessimizations.

doc/SYMBOLS, doc/list-exports.lisp: Nail down output order properly.

doc/: More Lisp synopses.

These might be done now, in fact.

doc/sod.sty: More describe categories.

src/class-output.lisp: Use `vtable-name' rather than doing it by hand.

src/sod-{frontend,test}.asd.in: Export `*version*'.

Have the other sysdef files also export this symbol because otherwise
SBCL emits annoying warnings.

src/module-impl.lisp: Don't require `finalize-module' to return the module.

Returning the correct module object is now the responsibility of
`build-module'.

src/module-impl.lisp: Eliminate `define-fragment'.

It had a severely deficient interface: it could only define fragments
with constant contents.  Moreover, although it made an effort to accept
a string-literal as its text, it ended up in a tangle because
`code-fragment-item' insists on its `fragment' slot actually containing
a code fragment, and nothing does the conversion.

Rather than fix these bugs, I noticed that nothing actually used it at
all, so removing it completely seemed like a better option.

src/: Yet more naming and export twiddles.

  * Export `class-item', which names a pluggable parser invoked in
    parsing class definitions.

  * Export the accessors for `code-fragment-item' objects.

  * Rename the `message-*' generic methods to be `sod-message-*', for
    consistency with the existing accessors.  Specific targets are
    `message-combination', on aggregating messages, and
    `message-effective-method-class', part of the layout protocol, which
    is just inconsistent with `sod-message-method-class' in the
    metaobject construction protocol.

  * Also export `sod-message-kernel-function', which is used in
    aggregating messages.

  * Astonishingly, I'd not exported any of the `vtmsgs' symbols.

doc/Makefile.am: `output.tex' exists, so depend on it.

Also spell its name properly, which explains why it didn't work before
and was mistakenly commented out.

doc/SYMBOLS: More changes.

doc/: More synopses.

doc/misc.tex: Kill stray \relax.

doc/parsing.tex: Document `parsing' macro.

doc/: Document where declarations are permitted in macros.

doc/sod.sty: Fix describe category position when indented.

src/classes.lisp, src/class-finalize-impl.lisp: Don't export slot writers.

Make accessors to finalization-time slots be plain readers, and use
`slot-value' explicitly to set them at the right time.

src/: Improve handling of declarations in macros.

Teach `parse-body' to be able to parse only declarations or only
documentation.  Use this in macros with convoluted internal binding
structure.

src/: More exports, found while documenting things.

debian/rules: Don't strip the main executable.

It doesn't work.  All the good stuff in the dumped image gets stripped
out and you're left with a bare SBCL which probably doesn't even work.

Add build machinery for the manual.

Merge branch 'master' into doc

* master:
  src/parser/parser-expr-impl.lisp: Compare paren tags with `eql'.
  src/module-impl.lisp: Expose `c-fragment' state.
  src/lexer-proto.lisp: Export some more symbols.
  src/pset-proto.lisp (default-slot-from-property): Make `slot-names' optional.
  src/pset-proto.lisp: Fix export of `check-unused-properties'.
  src/: Fix some docstrings.

src/parser/parser-expr-impl.lisp: Compare paren tags with `eql'.

They're often characters, which can't reliably be compared with `eq'.
Not sure what I was thinking, really.

src/module-impl.lisp: Expose `c-fragment' state.

  * Export `c-fragment-text', and use `file-location' to read the
    location.

  * But make these be read-only.