Change predicate dispatchers to use dispatch cache.

Eliminate keyword-value-item.

A bunch of renames to eliminate weird "/" phase of mine.

Collapse syntax, syntax-classify, and syntax-compile into one file.

Make comment in identifier=? more comprehensive.

Move the higher-level senv procedures into syntax-environments.

* Clean up the high-level interface, making arg order consistent.
* Rename syntactic-environment->environment as syntactic-environment->runtime.
* Eliminate ->syntactic-environment in favor of runtime-environment->syntactic.
* Rename syntactic-environment/top-level? to top-level-syntactic-environment?.
* Export closed-identifier? to (runtime syntax).

Implement better pp support for syntactic environments.

This should be a standard pattern: what's interesting in these bundles of
procedures isn't the procedures themselves, but rather the state they are
carrying around.

Don't generate keyword-value-item except at top level.

They aren't needed for internal environments.

Handle define-syntax better when unsyntaxing.

Fix test broken by earlier change.

Eliminate another empty file.

Simplify how runtime syntactic environments are created.

No more layering of top-level environments over one another, or of top-level
environments over runtime environments -- a top-level environment IS a runtime
environment.

Don't use syntactic enviroment to indirectly bind global macros.

Remove empty file.

Add bindings for the block-declaration renames.

Change declaration processing to decouple it from open blocks.

Rename block-declaration -> scode-block-declaration and move to "scode".

Change seq-item to flatten its arguments.

Also rename flatten-seq-items to flatten-items.

A large number of renames for syntax items.

Eliminate unnecessary condition.

Don't use binding-item for LET bindings.

Change syntactic environments to be records rather than bundles.

It's not using the bundle functionality so there's no advantage.

Change define-bundle-interface to use quote-identifier.

Implement quote-identifier, which is needed for macro-generating macros.

I'm not entirely happy with this; it feels like a wart.  But I don't see an
alternative at the moment.

Rename combinator-substitution -> list-substitution.

Fix but: top-level definition names must be symbols.

Disallow runtime environments in make-syntactic-environment.

Simplify the rename-db implementation.

Eliminate synthetic identifiers.

Now identifiers are either symbols or closures over symbols.  Any operation on a
closed identifier redirects to the appropriate environment, rather than trying
to bind and/or lookup the closure itself in the environment.

This greatly simplifies the identifier model, and makes the operation of the
syntax processor much clearer.

Change compile-item/expression to be a predicate dispatcher.

Also, a bunch of small changes, mostly cleanups and simplification.

Simplify interface to syntax renaming.

Reorganize the code within syntax-rename.  No other changes.

Split renaming mechanism out of syntax-output.

Eliminate open-block-components and rename other procedures to include "scode".

Refactor the syntax-output codewalkers to use predicate dispatchers.

Make sure the open-block tag is computed correctly.

Use keyword syntactic environment to implement keywords.

Introduce syntactic-environment/reserve to handle common case.

This also means that syntactic-environment/define is only used for keyword
items.

Rename accessors for syntactic closures.

Make sure that scode object tags are correctly computed.

Add missing rename to host-adapter. Thanks Joe Marshall for another catch.

Greatly simplify SCode abstraction and change names to contain "scode".

Also remove all FOO-components and FOO-subexpressions procedures.
More work remains: the lambda abstraction is an unholy mess and needs to be
cleaned up.  The scan-defines stuff also merits some consideration.

Eliminate unused import from compiler C backend.

Rename file "ustring" to "string" and update package name too.

Large number of file renames.

Also deletes a few unused files.

Merge gensym into symbol and add mutex for its counter.

Don't use vertical brackets when unparsing uninterned symbol.

Move fixart and thread-low to earlier in the cold load.

Eliminate long-obsolete starbase support.

Add a few missing subdirs into Tags.sh computation.

Rewrite syntax-environment to use bundles.

Allow bare symbols as elements in bundle-interface specification.

Fix bug: bundle-interface predicates can't use dispatch-tag<= during cold load.

I don't think they need to do this anyway, since inheritance isn't part of this
design.

Push yet more predicate machinery into boot.

Rename value-binder to variable-binder.

Move bundle implementation to early in the cold load.

Add unparser for variable items.

Avoid shift of negative, which is undefined in C.

Eliminate unnecessary implementation note.

I may change the implementation in the near future.

Defer enabling runtime handling of errors until end of cold load.

Otherwise, once the error system is initialized, a subsequent cold-load error
causes an infinite loop.  At least this way there's some information about what
went wrong.

Fix typo reported by jmarshall.

Tweak bundle index lookup; fix bundle tests.

Refactor the bundle implementation.

* The interface is now the predicate rather than the tag.
* New procedures bundle-constructor and bundle-accessor.
* define-bundle-interface generates a BOA constructor and uses it.

Rewrite define-like and let-like syntax for simplicity.

Two small simplifications.

Eliminate null-binding-item.

Fix bug: Can't call output/sequence with an empty list.

Rewrite define-bundle-interface to do renaming manually.

Automatic renamer was clumsy and error-prone.

Fix bug: trace was depending on a string being mutable when it wasn't.

Be a little more honest about unsyntaxing macro definitions.

Refactor bundle interfaces to be dispatch tags.

Also add some unit tests.

Fix bug in macro expansion for define-bundle-interface.

Add extra tests to make sure that tagging dispatches right.

Merge predicate-metadata and predicate-lattice into predicate.

Add Tags.sh to tests directory.

Move set-{dispatch-tag,predicate}<=! into boot for use in cold load.

Eliminate remaining differences between record tags and types.

Also simplify internals of record a bit as a consequence.

Strip angle brackets off of dispatch-tag names when printing.

Change strip-angle-brackets to work on symbols too.

Replace record-type with the associated dispatch tag.

Add EXPRESSION clauses to boolean assertions in test-parametric-predicate.

Otherwise it's too hard to figure out what went wrong.

Fix typo in earlier refactor.

Rename "tag" to "dispatch-tag" and move bindings to global env.

This name is at least somewhat specific, so it should be OK in global.

Merge dispatch-tags and tags into a single implementation.

Fix bug: forgot to initialize record conditions.

Change tag representation so extra field is always a vector.

The original reason for using records in that field is no longer relevant now
that we have metatags to identify the tag type.

Refactor tag implementation to use "metatags".

This allows predicate dispatch to differentiate between different kinds of
tags.  Otherwise all tags look the same, even if they are functionally
different.

Of course now it's not possible to differentiate between metatags, because they
all of the same tag; but that shouldn't be a problem.

Fix bug: record-type-type-tag was missing a tag.

Move weak sets from predicate-metadata to boot.

Also flesh out slightly for future use.

Eliminate predicate-description.

Put guarantee and friends into "boot" for cold-load access.

Implement simple weak sets.

blowfish: Doco typo.

gdbm: Doco typos.

ffi: Missing alienate_float_environment causes foreigners to SIGFPE.

Refactor handling of explicit tag supersets.

Was hash table, now is weak list.

Implement weak-pair procedures as primitives and open-code them.

Also put the primitives in "boot" so they are available early.

Eliminate tagging strategies altogether.

The structure of the tagged data belongs outside of the core code.

Fix test: was depending on tagging strategy to differentiate datum tests.

Fix bug: two copies of unicode-char? were causing confusion.