Work around bug in glibc's fegetenv on amd64.

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

Replace `masking exceptions' by `trapping exceptions'.

Reversing the sense makes it clearer -- `trap on division by zero' is
a positive request, versus `mask division by zero traps', i.e. `don't
trap on division by zero'.  This better reflects the IEEE 754 notion
of actions to take on exceptions.  Also, the sense of `mask' is often
confusing (Scheme's `interrupt mask' is not the interrupts that are
masked, but the bit mask of interrupts that are *enabled*; the BSD
fpgetmask and fpsetmask library routines control the bit mask of
floating-point exceptions for which trapping is enabled; but, on the
other hand, a POSIX process's `signal mask' is the set of signals
that are disabled).

Implement a complete set of integer division operator pairs.

Given a numerator n and a denominator d, each operator pair computes
an integral quotient q and the induced remainder r = n - d q such
that |r| < |d|.  There are five pairs: ceiling, euclidean, floor,
round, and truncate.  Ceiling, floor, round, and truncate compute the
rounded quotient as their names suggest.  Euclidean division is floor
division for positive denominators, and ceiling division for negative
denominators, so that it exhibits the stronger property 0 <= r < |d|.

Fix example code in "Type and range checking".

Create lib/lib symlinks in microcode/configure.

* src/Setup.sh, src/microcode/configure.ac: Create the src/lib/lib/
symlinks in microcode/configure, which has the list of enabled
modules.

Fixed src/README.txt.  Portable C Installation instructions.

* doc/user-manual/user.texinfo: Added node "Portable C Installation".
Added "Type and range checking" describing the no-type-checks and
no-range-checks declarations.

* src/README.txt: Added a preface for the newbie that runs across this
file in a binary distribution.  Removed "CVS".  Added "portable C
distribution" and "MIT_SCHEME_EXE".  Removed mention of "bin/" in
binary distributions, and "SCHEME_LARGE" and "SCHEME_COMPILER"
variables in build scripts; these are no longer used.  Replaced
"system" with "program" or "build tree" or whatnot, reserving "system"
for the thing that runs the "operating system".  Punted sections
"Building from source... ```The Hard Way''" and "... Tabula Rasa''",
which were mostly about re-compiling / re-linking the microcode.  The
solution to such problems is now automated by the compile-microcode
step in the Unix installation instructions.

Make BSD feraiseexcept actually raise the exception.

Forcing a floating-point operation by storing the (double) sum of
two volatile variables in a volatile variable is pretty kludgey,
but it works.

Replace FPE_RESET_TRAPS by generic clear_float_exceptions.

More fixes to floenv.h.

Various fixes to floenv.h's emulation of fenv.h in terms of ieeefp.h.

Still kinda broken.  More to come.

Fix name of UPDATE-FLOAT-ENVIRONMENT primitive's C procedure.

Check more carefully for fenv_t and fexcept_t.

Check for the C99 fenv operations in microcode/configure.

Fix typo.

Check for fenv_t and fexcept_t in microcode/configure.

Implement support for a floating-point environment.

Added c-cast, struct member peeks, param syntax checking.

* src/ffi/cdecls.scm (valid-param): Check that the param name does not
contain `-', nor any other non-C identifier chars.  These names go
into the generated .c files.

* src/ffi/syntax.scm (expand-peek): Allow peeks at struct members to
create or set an alien, just as peeking an array member does already.

* src/ffi/ffi.scm (c-cast): New.  Basically set-%alien/ctype! with a
convenient return value.

(alien/address, copy-alien-address!, alien-null?, alien-null!, alien=?):
Declare these as integrable operators, not via define-integrable.
Their arguments are referenced multiple times.

* src/runtime/runtime.pkg (runtime ffi): Export c-cast to ().

Minor robustness improvement to microcode/makegen/makeinit.sh.

Don't clean up on SIGQUIT.

Use the wretched ${@:+"${@}"} idiom for APPLY.

Convert INTERRUPTABLE_EXTENT to use `do { ... } while (0)'.

Omit procedure arity check in HASH-TABLE/MODIFY!.

This causes problems in the cold load, and doesn't enhance the safety
of the relevant code.  It only marginally increases the debuggability
of the mistake it catches.

Make #@n always read as a quotation of the nth hashed object.

Previously, #@n sometimes read as the nth hashed object, and
sometimes read as a quotation of it.  The advantage of the old
behaviour is that non-scode objects could be mentioned inside
quotations with #@n.  Personally, most of the time I referred to
non-scode objects inside quotations with #@n was as '#@n to work
around the problems this fixes:

(lambda (x) x)
;Value 12: #[compound-procedure 12]

(#@12 0)
;The object #[compound-procedure 12], passed as an argument to make-combination, is not an operator expression.

(list 1 2 3)
;Value 18: (1 2 3)

(pp #@18)
;The object 1 is not applicable.

Kludge to fix pct-encoding of authority part of IMAP URLs in IMAIL.

Fix FLUID-LET of ACCESS.

Add previously omitted SRFI 33 operation TEST-BIT-FIELD?.

New operations on the two's-complement representation of integers.

These include the SRFI 33 operations, as well as some other useful
operations.

Although these are implemented as primitives with native definitions
for bignums, the primitives are not yet open-coded for the fixnum
case.  Eventually they should be open-coded, so that you don't need
to make a choice between safe code using the integer operations and
fast code using FIX:AND, FIX:LSH, &c.  Some operations are easy to
open-code for the fixnum case, such as all the bitwise operations.
Others are not so easy, such as SHIFT-LEFT, and it would be better to
open-code common aggregate operations such as EXTRACT-BIT-FIELD for
the fixnum case.  In any case, at least we now have names for the
safe operations.

Back out i386 rewriting rule to optimize OBJECT->FIXNUM operands.

This causes conpar.scm, for example, to be miscompiled.

Nuke old Unix-specific I/O selection primitives.

These have been unused for a decade and broken for half that.

Simplify and fix X-DISPLAY-PROCESS-EVENTS primitive.

This primitive no longer supports options for blocking vs
non-blocking or selecting vs not selecting; these are now the
responsibility of the caller.

The cached event trick previously used the value of the
uninitialized variable `event', rather than the event that was
cached.  Now it correctly uses the event that was cached.

Fix and simplify recent change to xterm_dump_rectangle.

Finish fix in last change to entity unparsers.

Fix bug in recent change to entity unparsers.

Fix uninitialized reference in xterm_dump_rectangle.

Implement user-defined unparser methods for entities.

New DEFINE-STRUCTURE option PRINT-ENTITY-PROCEDURE is like
PRINT-PROCEDURE, except that the second argument to the procedure
is not a structure instance itself but an entity whose extra is a
structure instance.

New procedure SET-RECORD-TYPE-ENTITY-UNPARSER-METHOD! is like
SET-RECORD-TYPE-UNPARSER-METHOD! with the same difference.

New optional argument to MAKE-RECORD-TYPE specifies an entity
unparser method.

Existing code should be unaffected by the changes, including
existing compiled code that used DEFINE-STRUCTURE.

Make the debugger robust to errors while printing.

Fix some signedness issues in the X11 primitives.

Times are always unsigned; reflect this.

Screen coordinates are signed, and not always nonnegative; project
negative ones onto the border.  Widths and heights are technically
signed too, according to my Xlib.h, but I haven't observed negative
values, and negative values can't possibly make sense, whereas I have
observed negative coordinates in the wild (button down in-window,
button up out-of-window).

Fix harmless typo in recent change to cache IMAIL message properties.

Refuse to signal a subprocess that has terminated.

Once Scheme has called wait*(2) on a process that has terminated, its
pid may be recycled, so attempting to send a signal to it may cause a
signal to be sent to some random process!

New tests for subprocess support include a regression test for this.

Back out accidentally committed changes to i386.m4 fenv routines.

Fix recent change to FLUID-LET to support unassigning.

Fixes

(define x 0)
(fluid-let ((x)) ...)
;The object (), passed as an argument to safe-car, is not a pair.

Add hook in dynamically loaded modules for unloading actions.

Dynamically loaded modules can't use reload cleanups, because they
may be unloaded by pruxdld's reload cleanup before their reload
cleanups get to run, causing DISK-RESTORE to attempt to execute
unmapped code.  Instead, pruxdld will now call dload_finalize_file
if it is defined in the file.

Use this mechanism in prx11.  Fixes DISK-RESTORE after launching
and exiting Edwin.  (Does not fix DISK-RESTORE of an image that was
saved while Edwin was running.  That is much harder.)

Fix comments in i386.m4 and x86-64.m4 about executable stack.

Fix recent change to SHALLOW-FLUID-BIND.

This works around lossage with unassigned variables:

   (define x)
   (fluid-let ((x 0)) ...)
   ;Unassigned variable: x

This relies on the deprecated semantics of SET! that returns the
variable's old value (or old reference trap, if unassigned).

Fix PC-in-builtin detection.

n_builtins must be incremented if it is ever to exceed 0...

Minor hack to revive the 6.001 REPL.

Cache parsed date, subject, author, and recipient in memory in IMAIL.

This is not really the right thing, but it substantially speeds up
sorting, and slightly speeds up summarization, without requiring the
memory overhead of keeping whole headers strongly in memory.

What IMAIL should really do is

(1) store headers (and bodies and body structures and so on) strongly
in memory, and use a secondary GC daemon to discard them when space is
short; and

(2) use a generic, compact, on-disk cache, for every folder, of the
important information for each message: date, subject, author,
recipient, message-id, thread-id.

Don't invoke B-M for one-character patterns in SUBSTRING-SEARCH-ALL.

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

Change URI abstraction to handle percent encoding in the authority.
Change terminology slightly to match RFC.

Apply patch from Eric Christopherson to allow calling mit-scheme.app/Contents/Resources/mit-scheme from command line.

Simplify idiom for implementing dynamic binding.

New macro BEGIN0.

(BEGIN0 <expression> <command> ...) evaluates <expression>, executes
<command> ..., and then returns the value of <expression>.

(Cf. Common Lisp's PROG1.)

Moved declaration inside a block in order to conform to C89.
(Thanks to Taylor for pointing out the need for this.)

Use <error_unimplemented_primitive> in case uint64 is not available.

Conditionalized compilation of the flonum casting primitives.
The primitives `cast-ieee754-double-to-integer' and
`cast-integer-to-ieee754-double' are omitted when the type
<uint64_t> is not available.

Added <AC_INT64_T> and <AC_UINT64_T> to "configure.ac".  The latter is
now required by "flonum.c" because of the new primitives I added, and
CPH asked me to include the former, too.

Shrink hashtb.{bin,com,bci} further with judicious use of syntax.

Work around bug that makes DECLARE and SYNTAX-RULES not mix.

Fix total botch of last commit.

Make the GC cleverer about reallocating the ephemeron array, in order
to avoid potentially quadratic-time behaviour in MAKE-EPHEMERON and
fasloading files with ephemerons in them.

Now fasls and bands with ephemerons in them should really work, this
time with feeling...

New fasl version to support ephemerons.

In the process, complete the transition to the STACK_END fasl format.

In the EPHEMERON fasl format, the fasl header has an extra field for
the number of ephemerons stored in the fasl, for which the fasloader
reserves space in ephemeron_array.

The fasdumper chooses between the C_CODE, STACK_END, or EPHEMERON
fasl format for maximum compatibility:

- If there are any ephemerons in the fasl, the fasdumper chooses the
  EPHEMERON format.  Older microcodes don't know about ephemerons and
  thus can't handle such fasls anyway.

- If dumping a band, the fasdumper chooses the STACK_END format,
  since the only differences between the C_CODE format and the
  STACK_END format matter only for bands.  Support for reading the
  STACK_END format was added in version 15 of the microcode; any
  newly created bands are not likely to be used in older microcodes
  than that anyway.

- Otherwise, the fasdumper chooses the C_CODE format, like before.

Removed NaN tests because they cause traps on Linux.  (It turns out
that they are supposed to on OS X, too, but a bug prevents that).
Taylor is considering adding support for controlling the
floating-point exception mask and flags, in which case we'll be able
to manipulate NaN values and I can add these tests back.

Added tests for infinities.

Fixed typo in comments.

Added trivial tests for conversion to floating-point infinities by
`cast-integer-to-ieee754-single' and `cast-integer-to-ieee754-double'.

Fixed code formatting.

* Renamed `cast-flonum-to-integer' to `cast-ieee754-double-to-integer'.

* Renamed `cast-integer-to-flonum' to `cast-integer-to-ieee754-double'.

* Changed both to use <uint64_t> instead of <unsigned long> for
conversion.  That way, they should work on 32-bit systems.  (Thanks to
Taylor for pointing out that bug.)

* Added `cast-ieee754-single-to-integer' and `cast-integer-to-ieee754-single'.

* Updated existing tests.

* Added tests for casts to and from single-precision floating-point numbers.

Removed the divisions by zero that I had used to create floating-point
infinities since those are supposed to trap, not actually return
infinities.  On OS X, the trap doesn't happen, but I shouldn't depend
on a bug.

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

Added primitives `cast-flonum-to-integer' and `cast-integer-to-flonum'
and tests.

Softer landing for system-library-directory-pathname if sudirectory doesn't exist.

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

Exploit OBJECT->FIXNUM's independence of tag on i386 and x86-64.

Kill infinite parsing loop by using + inside *, not * inside *.

Fixed comment in shadowing test.

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

Fix missing -f in test.

Add unit test to confirm that shadowing fix worked.

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

Extend hash table entry types to support ephemeral hash tables.

Add some tests for correctness against red/black trees.

Still missing are tests for weak and ephemeral entries types.

Fix SVM's write_cc_entry_offset.

Since this is used only to initialize trampolines, the starting
instruction is irrelevant, and will be garbage anyway because the
trampoline blocks are always freshly allocated.

Fix SVM interpreter's INDEX-FIXNUM? predicate.

Fix SVM machine's conditional floating-point jumps.

These want to use the float registers, not the word registers.

Fix SVM interpreter's decoding of doubles.

They are encoded as 64-bit significand and 16-bit exponent, not as
machine (IEEE 754) doubles.

In FLO:VECTOR-LENGTH, coerce length to fixnum before OBJECT->FIXNUM.

The previous open-coding worked whenever OBJECT->FIXNUM merely
shifted left by the tag width, ignoring whatever tag was there
before.  The SVM does not do this, however.

Omit continuation code words after interpreter cache references.

The RTL already arranges their continuations to follow them; putting
an extra continuation code word causes the machine to try to execute
the real one as if it were an instruction.

PRE-INCREMENT is only ever a memory reference, not address, in RTL.

Use NON-POINTER-OBJECT? and CAREFUL-OBJECT-DATUM in the compiler.

Using OBJECT-NON-POINTER? causes primitives to be put into blocks as
non-marked constants, so that the fasloader fails to renumber them.

Update `last update' dates on the reference and user manuals.

Document the stack sampler.

Draft fix for over-shadowing bug.

Add tests for ephemerons with compiled entries for keys and data.

Fix bug in the GC's ephemeron scanning.

When queueing ephemerons for the key stored at some address, compare
the address to the weak referent address of each ephemeron's key --
not to the object address of each ephemeron's key, which causes us to
miss ephemerons whose keys are compiled entries, because we pass the
addresses of compiled blocks, never those of the compiled entries
stored in them, to queue_ephemerons_for_key.

Minor fixes to unit-testing.scm.

- Update copyright years.
- Ignore unused variable CONDITION in ASSERT-ERROR.
- Use RUN-SUB-TEST to run test procedures in RUN-SUB-TESTS

The last one is probably wrong, but without it, running unit tests
crashes in a bizarre way for me.  Example:

(run-unit-tests "runtime/test-ephemeron")
;Loading "runtime/test-ephemeron.com"... done
no-gc: failed 2 sub-tests out of 2 in .32 seconds:
    .0.0:
;Ill-formed failure: key

Omit needless definition of REFERENCE-BARRIER in test-ephemeron.scm.

Due to a bug in the microcode's environment operations, this
definition, which should be harmless, actually renders the tests
unrunnable because it makes REFERENCE-BARRIER spin in an infinite
loop.

Eliminate losing bisection crock in find_block_address.

This wasted several hours of my day in exchange for several
milliseconds of time (`on average') searching through the heap
after a trap that will trigger an interactive debugger anyway
and sit waiting for I/O.

Fix plausible_cc_block_p some more.

Now it detects COLUMN->Y in edwin/bufwmc.scm.

Add a couple more consts to debug.c.

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

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

Add appropriate const qualifiers for anal compiler.