update Infogroep mirror contact
JIT: fix potential problem in transition to 64-bit jumps

On x86_64, the JIT compiler initially generates code with 32-bit
jumps, but it switches to 64-bit jumps when so much code is allocated
that it gets spaced out enough. That transition could happen during a
recursive call to the JIT compiler or while one place is in the JIT
and other installs a shared code pointer, in which case a bad jump
could be generated. This problem is unlikely to happen, but it looks
possible.
JIT: minor comparison repairs

Fix some comparisions that are written as pointer comparisons
when they're actually integer comparisons. Also, remove an
unnecessarily slow variant of pointer compairson for x86_64.
JIT: better code for floating-point constants on x86+SSE
compiler letrec_check pass: recognize effect-free primitives

As in "Fixing Letrec". This improvement corrects a performance
regression with the revised expansion of R5RS `letrec`, which
wraps right-hand sides with `values`.

Besides detecting effect-free primitives, we have to fix the
treatment of the right-hand side for a multi-binding `letrec-values`
clause. For now, we conflate all of the bindings in a single
clause.
clarify comment in JIT implementation

Refines commmit c0ec9702e8.
optimizer: fix inference bug

The optimizer's inference that could incorrectly that that a
conditional produced a flonum (when it actually produced a fixnum or a
fixnum in one branch and flonum in the other).
added invariant-contract

Jay implemented this
adjust online check syntax to record source locations for regular
runtime errors (not just syntax errors)
remove stupid printfs
Make inference on (list a ..) work better.
Make small primes faster.

Big improvement is shrinking the bit vector to the right size.
Other improvements include full fixnum arithmetic and less mutation.
JIT: improve transition from 32-bit to 64-bit jumps

Use a recursive call to try again, instead of trying to reset local
state. The reset-local-state variant is definitely broken in
some caes, though I could not provoke the JIT buffer overflow
that I was hoping to fix with this change.
update bytecode compiler/optimizer overview in source comments

Explain the recently added "letrec_check" pass.
removed _contract_ language from _invariant-..._ as much as possible

added a hint as to why the error message uses the inappropriate contract language
Remove extra default path arg to -filter calls.
Add checks to asym filter patch to match symmetric case.
Simplify 8 cases of filter printing to 2.
Fix broken match clause for accessors.
Add more abbreviations to init-envs.

Make List: matcher require being a Type.