Add declarations to silence warnings.

Add declaration to silence warning.

Document ephemerons.

Implement ephemerons.

Ephemerons are like weak pairs, except the datum is dropped if the
key is dropped, and references to the key through the datum don't
count if the only references to the datum are through the ephemeron.
In other words, the weak references to the key and datum are dropped
iff the key can be proven dead; conversely, the references to the key
and datum are preserved iff somebody else cares about the key.

Declare IGNORABLE NB to silence warning.

Missed some vestiges of archaic microcode state space support.

Eliminate some unused return codes.

Eliminate all traces of the archaic microcode state space support.

Set -u in the setup scripts and make them more robust to interrupts.

Check for termcap.h too.

Assume that term.h or termcap.h defines BC, UP, PC, & ospeed.

Work around !*@#@^!*#%!^&$@!%# stupidity in NetBSD with ospeed.

Move the check for termcap-related headers.

This puts the warning messages about emulating termcap or tparm
closer to the checks, which makes configure's output make a trifle
more sense.

Add configure option `--with-termcap=LIB' to select termcap library.

LIB=no disables any termcap library (causing the use of the built-in
termcap emulation); LIB=yes, the default, makes configure choose
whatever termcap library looks best.

I wanted to go further and make the termcap primitives dynamically
loadable, so that the compile-time choice of termcap library can be
made just for some prtermcap.so module separately from the libraries
against which the microcode is linked, but uxtty.c uses termcap for
screen-clearing and window-sizing.

If ^L worked everywhere to clear the screen, and TIOCGWINSZ worked
everywhere to find the screen dimensions, then we could get rid of
those uses of termcap and move it off to a module.  But alas, that is
not the case.  E.g., ^L doesn't clear the screen in screen.

Fix i386 code generated for flonum rounding primitives.

The default has not been round-to-even since primitives were added to
change it, but the generated code assumed it was.

Remember to run at least a two-stage build so that the runtime is
compiled with the new compiler.

Before:

(flo:with-rounding-mode 'TOWARD-ZERO (lambda () (flo:ceiling 1.2)))
;Value: 1.

After:

(flo:with-rounding-mode 'TOWARD-ZERO (lambda () (flo:ceiling 1.2)))
;Value: 2.

Emulate C99 fenv.h on amd64 through the MXCSR.

Emulate C99 fenv.h on i386 through the i387 control word.

Emulate C99 fenv.h with BSD ieeefp.h if necessary.

New procedures FLO:EXPM1 and FLO:LOG1P just like libm's.

Defined only on an interval about 0 of radius 1/log 2 and 1/sqrt 2,
respectively; intended for computing (exp x) - 1 and log (1 + x) for
very small x with high precision, unlike FLO:EXP and FLO:LOG.

Be slightly more consistent about references to MIT_SCHEME_EXE.

It is to be interpreted as a pathname, provided that no character in
it be a make meta-character, or a shell meta-character that has
meaning within double-quotes.  It shouldn't have such constraints,
but Unix sucks.  To set the library path, use MITSCHEME_LIBRARY_PATH
rather than sticking a `--library' argument in MIT_SCHEME_EXE.

Ensure that signal handlers see the C stack, not the Scheme stack.

Do this by wrapping all the signal handlers in stubs that call an
assembly hook to make the stack pointer point into the C stack rather
than the Scheme stack if necessary.  To indicate that this is not
necessary, define SIGNAL_HANDLERS_CAN_USE_SCHEME_STACK.  For now, I'm
leaving that undefined by default, because it is the safer option.

This solves a problem on operating systems such as NetBSD that store
the current pthread identifier in the stack pointer.  When Scheme's
signal handler calls routines that are pthread cancellation points,
such as waitpid, they try to find the current pthread identifier in a
stack pointer that points off into oblivion (into Scheme's stack) and
promptly crash -- or, worse, trigger SIGSEGV, to be handled by a
signal handler while the stack pointer still points into Scheme's
stack, with the same problem.

I am told that this will be fixed in NetBSD 6 (since it interferes
not just with Scheme but also with sigaltstack, makecontext, and
anything else that wants to mess with the stack pointer), but only on
i386 and amd64 for certain, and in any case, this workaround will
work on any other systems that try to use the same trick to store the
current pthread identifier, of which I believe there may be several.
(E.g., older versions of GNU/Linux with LinuxThreads.)

Use intmax and uintmax to support 64-bit off_t, time_t, &c.

Eliminate BIGNUM_NO_ULONG.  Twenty years ago it may have made sense;
now too much of the system relies on having unsigned longs for it to
matter.

New routines convert between integers and intmax/uintmax.  The old
ones for long/unsigned long are still there, because they are likely
to be much faster on 32-bit systems.  Only a few uses of long have
been replaced by intmax -- the ones where it was obvious we were
converting between time_t, off_t, ino_t, &c., and long.  Others may
still be there.  Before:

(file-length "fnord")
;Value: 1235

After:

(file-length "fnord")
;Value: 4294968531

(`fnord' was created by seeking to byte 2^32 + 1234 or something and
writing a single byte there.)

Don't delete runtime.com from the distribution.

Merge branch 'master' of git.sv.gnu.org:/srv/git/mit-scheme

Implement SYMBOL>?

Don't make lib/lib a symlink to ../microcode; this breaks liarc.

Properly fix handling of pstring.

Fix typo.

Fix microcode's `--version' output.

Write a newline, and force console output.

Fix bug: change to MODULE_LDFLAGS broke liarc-ld on MacOS.

Nuke trailing whitespace.

Broaden handling of pstring to accept NIL.

Use _init and etext on NetBSD to find the text segment's bounds.

Eliminate vestiges of i386 code from cmpintmd/x86-64.h.

Unmask IEEE 754 floating-point exceptions on x86-64.

Should this instead be part of Scheme's dynamic environment, like the
floating-point rounding mode?

Relax plausible_cc_block_p.

Some leaf procedures and continuations do not have GC trap prefixes,
so don't require the block in question to have one.

On i386, this makes the trap handler successfully figure out where it
is in (FIX:QUOTIENT 1 0).  FIX:QUOTIENT is a leaf procedure, unlike
FLO:/, although perhaps FIX:QUOTIENT ought to do checks and defer to
the microcode primitive like FLO:/.

Merge branch 'master' of ssh://git.sv.gnu.org/srv/git/mit-scheme

Reorganize Linux section of uxtrap.h and add x86-64 support.

Also add signal codes for SIGSEGV, SIGBUS, and SIGTRAP.

Exploit common mcontext structure shared between NetBSD ports.

Omit explicit disabling of trap recovery on x86-64.

There are still no platforms that support it, but it doesn't need to
be explicitly disabled.

Restore the classical exit message.

Enable trap recovery on NetBSD.

Not really tested, but this triggers only when you're already
screwed, so enabling trap recovery probably won't make anything
worse.

Improve trap handling under NetBSD.

Kludgily use a few unsigned chars in uxutil.c for tolower &c.

Add block to access so we can integrate accesses in argument position.

Merge branch 'master' of ssh://git.savannah.gnu.org/srv/git/mit-scheme

Fix typos caused by cut and paste.

Remove undefined binding.

Add some guarantees to scode constructors.

Simplify lookup.c's interface.

Environment operations now take only symbols, and check.  The
interpreter now extracts symbols from variables, not lookup.c.

This prevents non-symbols from passing into strengthen_symbol and
weaken_symbol in intern.c, which would barf on them.

Strengthen or weaken only interned symbols.  Ignore uninterned ones.

Add O(1) ADD-TO-POPULATION!/UNSAFE to the runtime (unexported).

This does not check whether the population already holds the object
to be added; hence it is unsafe.

Change MAKE-1D-TABLE and MAKE-THREAD to use it: newly allocated
objects are guaranteed not to be in the population.

Fix bug in INTEGER->FLONUM primitive on 64-bit systems.

Not all fixnums can be converted losslessly into flonums.

Work around a buggy IMAP server that returns bogus UNSEEN counts.

Clean up top level controller.  Don't use Scheme packages as a
substitute for Lisp packages; instead use environments.  Implement
support for slime-repl.  Fix broken implementation of apropos.  Hide
restarts and stack frames that aren't relevant to the Emacs user.

Add INDEX matcher since that's so common.

Fix broken implementation of completion.

Add suggested elisp code for using this.

Gobble up swank support and integrate it.

Merge branch 'master' of git.sv.gnu.org:/srv/git/mit-scheme

Add some more named patterns.

Fix bug: logic for ->URI wasn't handling no-error case right.

Finished the disassembler.  Debugging the machine (too).

* src/Makefile.in: Make sure the assembler-compiler ran, generating
compiler/machines/svm/svm1-defns.h, assembler-db.scm, etc.

* src/Stage.sh: Punt avoiding subdirs with nothing to stage.  A few
empty STAGE subdirs should not hurt, and maybe_mv is quiet.

* src/compiler/Clean.sh (distclean, maintainer-clean): Use maybe_rm
and clean up assembler compilation products.

* src/compiler/Stage.sh, src/etc/Stage.sh: Use maybe_mv to avoid
errors when the subdir has not been compiled, so that an incomplete
compile can be stashed and unstashed without horror.

* src/compiler/machines/svm/assembler-compiler.scm
(write-copyright+license): Resurrected with the 9.0.1 runtime system's
procedures.  Used to generate the standard copyright though the GNU
standards suggest assembler-db's copyright should be copied.

(rt-defn-encoder-constructor): Include the opcode byte.

* src/compiler/machines/svm/assembler-rules.scm (interrupt-test-closure):
Folded into the enter-closure instruction, which knows the index.

* src/compiler/machines/svm/assembler-runtime.scm
(init-assembler-instructions!): Build fixed instruction assemblers in
smallest-to-largest order, else the largest encoding is always chosen.

(assemble-fixed-instruction): Punt consing a new bit-string.

(pc-relative-stats, pc-relative-selector): New.  The former computes
static info about a class of variable-width instructions so that the
latter need only cons a handler.  Use these in the variable-width
instruction encoders.

(fix-offset): Fix the width of a pc-relative offset, to force a wider
encoding than required by the actual magnitude.  Use this procedure in
the primitive encoders.  The bit tensioner cannot always find an
optimal solution, where no instruction is wider than its operands
require.  Warn when this happens.

(decode-rt-coding-type): Return a list headed by the rt-defn name,
else signal a coding-error.

(coding-error): Signals a condition that the disassembler wants to
catch.

(define-pvt-signed, encode-signed-*, write-bytes): Accept bit-strings
as well as integers.  See fix-offset.

(encode-unsigned-integer-8): Fixed.

(decode-rref): Give symbolic names to the fixed registers.

* src/compiler/machines/svm/compiler.pkg: Moved the (compiler
disassembler) package to inherit from (compiler assembler).  The
disassembler uses many definitions in assembler-runtime.scm.

* src/compiler/machines/svm/compiler.sf: Syntax make.scm.  It is not
mentioned in compiler.pkg, from which syntax-files!(decls.scm) gets
its list of files to syntax.

* src/compiler/machines/svm/decls.scm: Moved lapgen.scm from
lapgen-base to lapgen-body because it depends on assembler-runtime.

* src/compiler/machines/svm/disassembler.scm: New.

* src/compiler/machines/svm/lapgen.scm: Get the entry-types right with
those used in svm1-interp.c.

(encode-procedure-type): Take the frame size min/max per the RTL,
and convert them to required/optional arg counts.  Use this in
generate/cons-*closure as well as make-procedure-label.

(encode-internal-procedure-offset): Punted.  This encoding is also
generated by encode-continuation-offset.

* src/compiler/machines/svm/machine.scm (ea:uuo-entry-address): New,
encoding a peculiar type of pc-relative address.

(trap:set!, trap:define, trap:unbound?, trap:access): Not defined in
svm1-interp.c.

(interrupt-test-closure): Folded into the enter-closure instruction.

(closure-entry-size, entry-type-size, closure-first-offset): Added an
cc-entry type field to each closure entry.

* src/compiler/machines/svm/rules.scm (POP-RETURN): Added entry-type
and gc-offset half words before inst:interrupt-test-continuation, so
that this instruction can push its address on the stack.

(INVOCATION:UUO-LINK, INVOCATION:GLOBAL-LINK): Use the new
ea:uuo-entry-address.

(PROCEDURE-HEADER): Pass min/max directly to make-procedure-label

(generate/cons-closure, generate/cons-multiclosure): Added a cc-entry
type field before each entry point.  Do NOT tag the target register.
No need to interrupt-test-closure after entering.

(generate-uuos): This is not actually generating LAP.

(interpreter-call:cache-reference, interpreter-call:cache-assignment):
(interpreter-call:cache-unassigned?): Need an entry point after the
trap instructions.

(Interpreter Calls, lookup-call, assignment-call): Removed.  I could
not find the corresponding compiler utilities: comutil_access,
comutil_define, comutil_set, comutil_unbound_p_trap.  The utilities I
DID find want a cache address.  Removing these rules left lookup-call
and assignment-call unused.

* src/etc/compile-svm.sh: Use src/Stage.sh to un/stash the
cross-compiler.

* src/microcode/cmpint.c, src/microcode/cmpint.h: Move
trampoline_type_t to cmpint.h, where svm1-interp.c can include it.

* src/microcode/cmpintmd/svm1.c: Use new closure entry point type
field in read_cc_entry_type.

(store_trampoline_insns): Translate from abstract trampoline kinds to
trap-0 operations, e.g. TRAMPOLINE_K_APPLY to
SVM1_TRAP_0_OPERATOR_APPLY.

* src/microcode/cmpintmd/svm1.h:

* src/microcode/svm1-defns.h:

* src/microcode/svm1-interp.c:

Merge branch 'master' of git.sv.gnu.org:/srv/git/mit-scheme

Implement ENCODE-URI-PATH-SEGMENT.

Fix fencepost in ASCII-RANGE->CHAR-SET.

Alien address offsets are byte offsets.

Restored more copyright dates.

Use properties in RUN-SUB-TEST where appropriate.  Change tests to run
properly now that argument SVLs may contain null ranges.

Change RUN-SUB-TEST to allow it to take properties.

Fix thinko in previous change.

Change MAKE-RANDOM-SVL to generate empty ranges.

Change MAKE-RANDOM-SVL to generate empty ranges.

Change MAPPER->GENERATOR to generate empty ranges.

Change %CANONICALIZE-SCALAR-VALUE-LIST to eliminate empty ranges.

Don't restrict character sets to Unicode characters.

More simplification and restyling.

Fix compilation errors.  Simplify part of the code by a suitable
macro.  Do a little style tweaking.

Fix broken reference: "load.scm" -> "make.scm".

Add name for CALLBACK_HANDLER slot.

Eliminate trailing whitespace.

Restore copyright dates.

Merge branch 'master' of git.sv.gnu.org:/srv/git/mit-scheme

Put back alphabet compatibility, in a different form.

A fairly straightforward merge of the FFI.

* src/etc/Clean.sh (maintainer-clean): Clean up src/*/TAGS.

* src/ffi/Clean.sh (maintainer-clean): Clean up prhello-const*.

* src/ffi/ffi.cbf, src/ffi/ffi.sf: Separate syntaxing and compiling.
Temporarily hacked to load the (runtime ffi) package when necessary.
Replaces compile.scm.

* src/ffi/make.scm: Replaces load.scm.

* src/ffi/compile.scm, src/ffi/load.scm: Replaced by ffi.sf, ffi.cbf
and make.scm.

Implement SCALAR-VALUE-IN-CHAR-SET?.

Eliminate PREDICATE->CHAR-SET, and tweak documentation.

Eliminate all trace of the alphabet abstraction.

Fix swapped conditional arms in RE-COMPILE-CHAR-SET; then split off
part of it as RE-CHAR-PATTERN->SCALAR-VALUES.

Move Unicode char predicates to "char.scm".

Improve test reporting for errors.  Add boolean equality assertions.

Don't restrict CHAR-SET-MEMBERS; it gets used on the inversion of
8-bit char sets, which aren't 8-bit.

Fix thinko.

Fix typo.

Fix fencepost error.

Add membership test.

Fix broken reference.

Update to use new test framework.

Refactor test infrastructure to use conditions and to have more flexible reporting.

Rewrite, this time to use "signal processing" mode for high segments.
Also, don't use combinators at top level; instead use combinations
called at run time.

When re-loading unit-testing, unlink the previous copy so it will be
garbage collected.

Restructure test to use new multiple-result mechanism.