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

Oops, for-all?'s arguments are "backward".

Turned off c-include-noisily? by default.

Turned it on in the FFI generator.  Use it to suppress the "Loading
gtk-types.bin..." notifications when compiling files that c-include.

Fixed compile-ffi to use run-shell-command.

Now sets the working directory and checks make's exit code.

Ignore unknown options/descriptions in .pkg files.

Removed redundant --preserve-timestamps.

Fixed recent enhancement to compile-file.

Fix compile-system to load into the correct environment.

New compile-system procedure.  Replaced ffi.sf and ffi.cbf.

* src/compiler/base/toplev.scm (compile-file): Only declare
integrate-external when dependencies have no type.  Thus a dependency
on e.g. "gtk-const.bin" might cause the dependent file to be
re-compiled without a spurious warning about a missing .ext file.

* src/cref/: butils.scm, cref.pkg: Added new file butils.scm,
containing a compile-system procedure that applies compile-file to
each file mentioned in a .pkg file.

* src/ffi/: compile.scm, ffi.cbf, ffi.sf: Replaced the old .cbf and
.sf files with a new, modern compile.scm file.

Fixed ffi/Makefile-fragment install target.

* src/Setup.sh: Create src/lib/ links to the ffi-test FFI.

* src/ffi/Makefile-fragment: Punt installing the ffi-test FFI, which
is intended for `make check', which developers run in the source tree.
The links in src/lib/ are enough; no need to copy files there.

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

Added FFI test.

* doc/ffi/ffi.texinfo: Punt the Makefile fragments for the example,
and the logic behind the leak-proof malloc/free procedures.

* doc/user-manual/user.texinfo: Needlessly picked some consistency nits.

* src/Clean.sh, src/Setup.sh: Link config.sub and config.guess to
microcode/*, and clean them too.  These scripts are used by
src/configure.ac, which uses AC_CANONICAL_HOST to configure the
compilation and linking of FFIs.

* src/Makefile.in (FFIS, build-ffis): Added FFIS, the list of
configured foreign library interfaces (subdirs).  These are built by
the new build-ffis target, which follows build-bands in most places,
and does `make build' in each ffi subdir.

* src/configure.ac: Added --enable-debugging, FFIS, CCLD, DEFS,
CFLAGS, CPPFLAGS, LDFLAGS, SHIM_CFLAGS and SHIM_LDFLAGS.  Include
microcode/achost.ac.  Added FFIS to the bundles list.

* src/etc/compile.scm (compile-ffi): New.  This procedure arranges to
compile an FFI subdir as a LIARC bundle when LIARC is in use.

* src/etc/functions.sh (maybe_rm): Remove symlinks too.

* src/etc/make-liarc.sh: Added build-ffis after build-bands.

* src/etc/std-makefile-prefix: Added CC, CCLD, DEFS, CFLAGS, CPPFLAGS,
LDFLAGS, COMPILE, LINK, SHIM_CFLAGS, SHIM_LDFLAGS, COMPILE_SHIM and
LINK_SHIM, useful when building a foreign library interface shim.

* src/ffi/.gitignore: Ignore ffi-test-* build products.

* src/ffi/Clean.sh: Punt prhello example.  Clean up ffi-test-* build
products.

* src/ffi/Makefile-fragment: Punt prhello example.  Build and install
an FFI test lib instead.

* src/ffi/: ffi-test.c.stay, ffi-test.cdecl, ffi-test.h: The new test
foreign library and interface.

* src/ffi/: prhello.cdecl, prhello.scm: Removed.  Now in doc/;
replaced in src/ by ffi-test*.*.

* src/microcode/: achost.ac, configure.ac: Moved the host
configuration from configure.ac to the new achost.ac, to share with
src/configure.ac.

* src/runtime/ffi.scm (guarantee-alien, error:not-alien): Use the
standard arglist (object operator), not (operator object #!optional
ctype), and do not loop insisting on a qualifying object.  Integrate
the test, separated from the restart code, which goes in the new,
global error:not-alien procedure.

(guarantee-alien-function, error:not-alien-function): New, like
guarantee-alien and error:not-alien.  Use them in call-alien.

(make-alien-to-free): New, for interfacing to C functions like
malloc() that return something that needs to be freed with free().
Use it in the Scheme malloc procedure, and the test FFI.

* src/runtime/runtime.pkg: Added error:not-alien,
guarantee-alien-function, error:not-alien-function and
make-alien-to-free.

* tests/Clean.sh: New, for cleaning up after tests.

* tests/check.scm: Added tests/ffi/test-ffi.scm.  Hacked handling of
test-flonum-casts.com so that `make check' works on portable C.

* tests/ffi/test-ffi-wrapper.scm: New.  Code that needs to be
syntaxed/compiled as part of the FFI test.

* tests/ffi/test-ffi.scm: New.  A test of the C/Unix FFI.

Run Scheme in batch mode in the scripts in src/etc/.

Make `--batch-mode' without `--interactive' imply non-interactive.

In this case, don't check whether stdin/stdout/stderr are ttys to
determine whether we are interactive.

This keeps `scheme --batch-mode' from futzing with the tty interrupt
characters, so that if you run it from a script, there is no window
during which ^G becomes the terminal's interrupt character and ^C its
quit character.  E.g., if you have set `stty intr ^C', then Scheme
won't interfere with that while you run your script.

Use do { ... } while (0) for command macros in uxproc.c.

Omit needless curly braces in subprocess_death.

Check for tcsetpgrp failure.

Don't fflush stdout and stderr before forking.

Not necessary; the child will never use them before exec'ing.
The simpler this whole mess can be made, the better...

Minor cosmetic changes to uxproc.c.

Use the closefrom system call if available to close all fds.

If not available, fall back to fcntl(F_CLOSEM); if that's not
available, fall back to closing all fds up to and including
fcntl(F_MAXFD); if that's not available, fall back to closing all
fds below UX_SC_OPEN_MAX like before.

Each case tested under NetBSD by running runtime/test-process.scm,
evaluating (RUN-SHELL-COMMAND "ls"), and ktracing Scheme during

   (RUN-SUBPROCESS-IN-FOREGROUND "/usr/bin/true" '#("true") '#())

with `ktrace -d -i' to make sure that it uses the right sequence of
system calls.

When spawning subprocesses, handle the setpgid race more gracefully.

Add some disparaging comments about my code...yechhh.

Pre-compile the regexps in IMAIL-SUMMARY-MATCH-LINE.

This slightly reduces some of the constant factors in the O(n)-time
(!) operation to expand summary buffers...

Ignore some variables in test-floenv.scm.

Ignore variable I in MAKE-RANDOM-SVL in character set tests.

Fix environment for runtime/test-wttree in tests/check.scm.

Implement `make check' in the top-level makefile.

The implementation is totally kludgey, and the tests take an
unreasonably long time to run (since we've mixed stress tests with
simple tests), but this is better than nothing, and may help to
complement firing up Edwin as the general way to test Scheme.

Refactor microcode/test-flonum-casts.scm into lots of little tests.

Work around brain damage in Linux's madvise.

Fix diagram of memory in memmag.c to reflect Microcode 15.

Add comment about (not) dynamically scoping madvice.

Advise operating system about memory access during GC.

- Expect sequential access to oldspace during gc_scan_oldspace.
- Free heap pages (newspace) before copying tospace over them.
- Free tospace pages after saving tospace.

The OS hooks are implemented only for Unix, in terms of posix_madvise
and madvise.  Implementing them for Windows and/or OS/2 is left as an
exercise for the reader.

Use a (hidden) top-level variable for tag in structure predicates.

This allows the predicates to be usefully integrated.

Integrating the predicate and guarantor, and ignoring reference traps
to the tag, measurably improves performance at least of contrived
programs.

Back out recent misguided changes.

It turns out dynamic scope and vi don't work very well.

This also fixes a grammatical error reported to Arthur by an angry
centurion.

Fixed bug that caused (load-option 'xml) to fail with this error
message:

  ;The object #[uri 11 ""], passed as an argument to make-xml-name, is not in the correct range.

The bug was caused by the fix to `->absolute-uri' in change
562020fdf80823b5825ad901e208b10a4d3b058b.

Fix typo in termination message.

Change Edwin's default key bindings to match vi conventions.

All the world is Unix (except for the small irrelevant part in
Redmond that's VMS), so this should improve Edwin's widespread
adoption.

Switch to dynamic scope by default.

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

Add and export GUARANTEE-PROMISE.

Add numerator->exact and denominator->exact.

When signalling a file open error, read channel type before closing.

Copy example files to doc/ffi/ directory to avoid relative paths,
which aren't working on my machine.

Bump version number and current year.

For some reason, fatal_buf doesn't have a NUL under certain circumstances on my Mac.  Instead of calling strlen, do a more careful scan that stops at the end of the buffer.

Bump version number and current year.

Update copyright dates in reference headers.

Add GUARANTEEs for positive, negative, non-positive, and non-negative numbers.

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

Export some predicates.

Fix typo in `mail-relay-service' documentation string.

New (Unix) primitive CHANNEL-FILE-ATTRIBUTES for fstat.

Also, I meant `eastern hemisphere' in the previous commit, unless the
earth's magnetic field has just reversed again...no, wait...

Fix ENCODE-TIME to correctly handle negative time zones.

This bug has been lying here for fifteen years.  Obviously we need
more MIT Scheme hackers in the western hemisphere...

All this time and date code desperately needs a lot of automatic
tests, too.

Bump microcode version number.

New primitive NANOTIME-SINCE-UTC-EPOCH, and a bajillion others.

New primitive NANOTIME-SINCE-UTC-EPOCH.

This returns the number of seconds, with at most nanosecond
resolution, that have elapsed since the start of 1972 in UTC.
Representation is fixed-point, stored in a pair given as input.

See the comments in uxenv.c for more details.

Two minor cosmetic changes to runtime/wttree.scm.

Fix wt-tree balancing.  Add some trivial tests.

Thanks to Yoichi Hirai and Kazuhiko Yamamoto for analyzing the nature
of the bug and finding a good fix.

The trivial tests are enough to catch trivial errors, and one
manifestation of the balancing bug, but they should be replaced by a
more comprehensive test suite later.

Check URI record arguments more carefully in ->MUMBLE-URI.

->ABSOLUTE-URI would formerly accept URI records representing
relative references, even though it would reject their string
representations.  Now it rejects both.

Look in /usr/local/share/info for Info files in Edwin by default.

This is where the doc/ makefile actually installs them by default.

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

Fix floenv issues with MacOSX.

FFI support for 64bit architectures.

* src/ffi/generator.scm: Declare long callback IDs, large enough to
avoid truncation warnings when the toolkit type is also large.  Use
%ld instead of %d for sizeof and member offsets, and cast them to
long.  On x86_64, these have types ulong and long respectively.

* src/microcode/: pruxffi.c, pruxffi.h: (callback_run_kernel)
(callback_run_handler): Declare long callback_id params.  Use %ld.

* src/runtime/ffi.scm (radix): Parameterize alien operations to
support 64bit or 32bit addresses.

Fix tag table entry for flonum for 64-bit platforms.

Fix copying of ACCESS.

Fix STRIP-SUBJECT-RE on "Re: ".

Fix datime.scm's time formats to accept up to 61 seconds in a minute.

Minutes in any UTC-based time system, which covers every system of
which representations are parsed in datime.scm, can have 59, 60, or
61 seconds; previously we refused to parse representations of the
61st second.

Unfortunately, our notion of `universal time' is still essentially
Common Lisp's ill-specified notion of universal time, and implemented
by POSIX's mind-bogglingly brain-damaged notion of `number of seconds
since the Epoch' which actually means `number of seconds since the
Epoch, minus the number of them that were leap seconds in UTC'.

Fix silly thinko in definition of STRIP-SUBJECT-RE.

Also omit needless unsafe fixnum specialization.

Handle EINTR from opendir.

Fix comment about euclidean division -- r may be zero.

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.