standard-system-loader: typo

ffi: Remove old generate-shim export.

Add install-load-option.

Use install-load-option in the four FFI wrappers' Makefiles (and the
GNU convention of lowercasing internal makefile variables).  Delete
corresponding instruction from their READMEs.  Presume there is an
optiondb.scm in the system library path and that its directory is
writable by the installer.

Add xstring-byte-ref and xstring-byte-set!.

Made external-string-ref and external-string-set! integrable.

tests/ffi/: Symlinks in src/lib/ are no longer necessary.

channel-read/write: apply channel-blocking? to a closed channel NOT.

ffi-test: Catch up with the new (old) generate-shim behavior.

Add 4 tedious little rules to the Makefile and copyright notices.
Make the test definition conditional on the wrapper build.

ffi: generate-shim no longer produces -const.bin.

Some -const.c files require library-specific cc and ld flags, so
generate-shim cannot work the whole process.  Re-introduced the "4
tedious little rules" that compile, link and execute the -const
program, and fasdump the resulting -const.scm.

mhash: A separately buildable FFI wrapper.

gdbm: Add event:after-restart receiver reset-open-gdbfs.

blowfish,gdbm,md5: Expand on note about importing bindings.

md5: A separately buildable FFI wrapper.

blowfish: Random cleanup.  Use guarantee-substring.

src/etc/std-makefile-prefix: Punt SHIM variables.

FFIs are no longer built inside the core build tree.

install-shim: Create directory in first directory of library path.

Also, locate the directory for the -I CFLAG by searching the library
path for mit-scheme.h.

with-system-library-directories: prepend to library directory path.

This is for test scripts that want a new FFI shim to shadow an
installed shim, and requires canonicalize-debug-info-pathname to be
fixed to deal -- to SEARCH the library-directory-path.  At least, for
relative pathnames with at least one directory name, it now searches
the directory path for that name.

blowfish: Typo in blowfish.cdecls.

src/Makefile.in: Punt $(FFIS) and build-ffis target.

Moved the test wrapper to tests/ffi/ though it is still commented out
of tests/check.scm.

gdbm: Update README.  Fix test.  Nomenclature.

Add installation instructions from the previous commit message.  Test
with the newly built shim (not an installed shim).  Call the Scheme
code that interfaces to C "the wrapper", as in blowfish/README.

blowfish: A separately buildable FFI wrapper.

gdbm: Add generate-shim.  Drop compile-bundle and install-bundle.

LIAR/C's bundles cannot be built outside the core build tree.  So
compile-bundle is just e.g. compile.scm, and install-bundle is merged
with install-shim.  Generate-shim actually handles the whole process
from *.cdecl's to -shim.c and -const.bin, eliminating 4 tedious little
rules from every wrapper's Makefile.

gdbm: A separately buildable FFI wrapper.

This is a drop-in replacement for the gdbm microcode module and
runtime/gdbm.scm.  Run `make install' and install the following in
your optiondb.scm.

(define-load-option 'GDBM2 (guarded-system-loader '(gdbm) "gdbm"))

You will need to call it GDBM2 while GDBM refers to the original
microcode module wrapper.

ffi/build.scm.in: Support building shims separately.

A handful of new top-level bindings make a portickle Makefile.

gdbm-shim.so: gdbm-shim.o gdbm-adapter.o
echo "(link-shim)" | mit-scheme --batch-mode -- -o $@ $^ -lgdbm

The new procedures (generate-shim, compile-shim, link-shim and
install-shim) autoload ffi/build.scm, which captured the build
configuration of the machine.  Compile-bundle and install-bundle are
also provided.

ffi: Search the library path for shims and their C types/const.

Install all .pkd, not just <various>-unx.pkd.

cref: (package-set-pathname "dir/") => "dir/dir-OS.pkd"

cref: (global-definitions symbol) looks in library path.

(global-definitions "string") is still relative to the .pkg file's
directory.

runtime/unxpth: Remove ./ when simplifying.

Capitalize word after `Caution:'.

texinfo strong note

Mollify makeinfo with regard to this issue:

$ makeinfo --output=mit-scheme-user.info user.texinfo
user.texinfo:1552: warning: @strong{Note...} produces a spurious cross-reference in Info; reword to avoid that.

The relevant portion of the manual states:

    Caution: Do not use `@strong' with the word `Note'; Info will
    mistake the combination for a cross reference.  (It's usually
    redundant, anyway.)  Use a phrase such as *Please notice* or
    *Caution* instead, or ...

Use `texi2dvi --pdf', not `texi2pdf'.

No functional difference, but texi2pdf is a newer utility not found
in older versions of GNU Texinfo that are still prevalent.

Fix missing * in one definition of OS_nanotime_since_utc_epoch.

From Igor Pashev.

Make `news-select-buffer' select in other window by default.

From Rich Loveland.

Show procedure name too in Edwin `show-parameter-list' command.

From Rich Loveland.

svm: Add lost flonum-pred-2-args rule.

The "new" rule escaped the copying from i386/rulflo.scm(?).  Also
added symlink src/lib/compiler, useful when debugging a broken build.

Remove logic to lock IMAIL's IMAP folder cache.

Keep WITH-FOLDER-LOCKED as an empty stub so we might use it later to
let the user control whether to use a cache at all.

There are no invariants that need to be preserved, so locking only
slows us down and reduces concurrency.  Two clients fetching the same
item may collide, but the collision is harmless -- unless the server
is bogus, they will be writing the same data.  Adding an entry to the
cache is already atomic (unless the system fails before the blocks
have hit the disk) through the use of a temporary directory.

Don't assume there is a current thread when interrupted.

Fixes error `No current thread!' when the thread timer interrupt
handler tries to find the interrupted thread's floating-point
environment and there is no current thread.

Fix makefile's IMAIL rule: Edwin must be loaded first.

Apply patch updating list of windows OS versions.

Fix MIT Scheme's web site URI in the user manual.

From Richard M. Loveland.

Merge branch 'lazy-floenv'

Tweak floenv tests so they preserve the floating-point environment.

Implement lazy switching of thread floating-point environments.

Should reduce the overhead of thread switching and avoid
platform-dependent objects in threads that don't mess with the
floating-point environment so that they can be dumped in bands.

Use WITH-LIMITED-INTERRUPTS, not WITH-INTERRUPT-MASK, for IMAP update.

Pass RTLD_NOW, not RTLD_LAZY, to dlopen.

Let dlopen fail recoverably if there are missing symbols, rather than
aborting the hapless process when it tries to use them later.

Put a space after the colon when reporting an undefined command.

Fix typo in i386/rulflo.scm signed zero test.

Missed these typos because although I checked for (constant 0.) and
(constant -0.) in the RTL, I didn't check whether they were being
immediately passed to OBJECT->FLOAT...

The gdbm error handler takes a const char *, not a char *.

Update copyrights to 2013.

Don't allow AC_CHECK_DECL([__x86_64__]) to override user-specified cpu spec.

Some tweaks while debugging a problem.

Fix typo.

Syntax and compile win32 separately in the top-level makefile.

Make NUMBER->STRING give negative flonum zero a minus sign.

Make EQV? distinguish signed flonum zeros.

Fix i386 and amd64 lapgen rules to load negative zero correctly.

Fix floating-point underflow tests with a suggestion from Bill Kahan.

Disregard ERANGE from libm log when x = 0.

This enables log to usefully raise the IEEE 754 divide-by-zero
exception when the divide-by-zero exception is untrapped.

Add some tests for floating-point comparison screw cases.

Add unordered branches for NaN cases to amd64 comparison trampolines.

Fix various infinity and NaN screw cases for <, MIN, MAX, *, and /.

Behaviour is as prescribed by IEEE 754.  Most of the changes that
involve FLO:NAN? use it only in mixed-exactness branches, which are
not particularly performance-critical anyway.  Eventually we ought to
make FLO:NAN? and FLO:FINITE? open-codable primitives, and add
FLO:INFINITE?, FLO:NORMAL?, and FLO:SUBNORMAL? likewise.

On Mac OS X, use mmap(MAP_FIXED) only for i386.

Rework heap mmapping once more.

- Ensure that if we pass mmap a nonzero address, we are requesting
  MAP_FIXED or MAP_TRYFIXED.

- Try grovelling through /proc/self/maps on NetBSD too -- it might be
  there.

Fix thinko in BITS.

Fix for fix for bug #36887: return '() from IGNORABLE parser.

The tail expr was accidentally deleted in the previous commit.

Fix for bug #36887: Ignore a free variable and sf fails.

Ignoring a free variable now just causes a warning (and names the variable).

Don't setsid Scheme.

If you want to detach from the controlling terminal, use a trivial
wrapper program that calls setsid and then exec (e.g., pgrphack from
daemontools), or add a primitive to Scheme to daemonize without race
conditions.

Hitting ^C at the terminal now works to interrupt Scheme in batch
mode, e.g. when run under make during the build.

compiler: Don't let continuation-analysis add a cycle...

...to the block tree, which it would do (causing a "maximum recursion
depth exceeded" abort during block->dbg-block) when compiling crazy
code like:

      (define (fubar param)
(define (closure) param)
(define (loop)
  (closure)
  (loop)
  ;; It doesn't break without this
  (tail-call)))
      (fubar sumpn)

This patch checks that the "Acceptable substitute" for a block's
stack-link is not inside the block.

Missed a dependency: edwin needs win32 syntaxed first.

Revert tterm.c changes.

tterm.c is not used when not USE_TERMCAP, so these old changes are
unnecessary... and potentially confusing.

Add configure option `--without-termcap'.

Punt the termcap primitives (all of microcode/tterm.c!) if configured
--with-termpcap=no.  The console port ops like clear and x-size were
already equipped with useful(?) defaults.  In fact Edwin (on X11)
still works!

Merge branch 'make-jobs'

Reduce loading verbiage in compile-imail and compile-xml targets.

Their respective compile.scm scripts load everything anyway.

Split compile-edwin target into syntax-edwin/compile-edwin.

Split compile-runtime target into syntax-runtime and compile-runtime.

Dependents of runtime-*.pkd for cref need only syntax-runtime.
Increases parallelism.

Generate an intermediate lib/compiler.com.

We stopped installing this ages ago and hence stopped building it,
but now that each subdirectory is built in a separate process, it's
useful to avoid reloading the compiler repeatedly during the build.

First stab at making top-level makefile jobs-safe for native builds.

This enables coarse-grained parallelization of the build.  There's a
nontrivial amount of crap encoded in the makefile about how to do the
build, but that's better than the nontrivial amount of dependency
crap implied by the total ordering in etc/compile.scm, most of which
can go away once the liarc and svm builds are converted similarly.

This does not restructure the build; we still have various bootstrap
and staging botches going on which we need to get rid of.  Fixing
those nicely will require some changes to liar and sf so that we can
compile a fresh compiler into a subdirectory, say `boot', using the
host compiler, and then use that to compile the system.  Liarc
approximates that with the `boot-root' installation prefix, but that
kludge breaks incremental builds which means we never, ever try to
touch the liarc build because the turnaround time is too painful.

doc: open-tcp-stream-socket

This procedure no longer has buffer-size and line-translation parameters.
Thanks to nick.f.russell@gmail.com for noticing this.

doc: accommodate texinfo 5.1

Thanks to Charles Moss <czm>.

Temporarily: inform older hosts about new type code SEQUENCE.

Like d4d8ea1 this patch allows the released 9.1.1 (LIAR/C
distribution) to compile the compiler.  Without it, make-liarc-dist.sh
fails.  It seems the hack in d4d8ea1 is saved in a native
x-runtime.com but not in a LIAR/C-based x-runtime.com. ?

Don't add empty arguments to -I and -L if pg_config fails.

runtime: Make it nicer to (ge '(R3RS)).

The default parser and unparser expect to find bindings for
e.g. *parser-table* in any given environment, but there are no such
bindings in a package with parent #f (unless you import them).  If you
don't, executing (ge '(R3RS)) puts the REPL into a tight little error
loop.  This patch makes the parser and unparser consult the (USER)
package if they don't find these bindings in the current environment.

Once "in" a package like (r3rs) it is tricky to get out(!).  Entering
(ge '(USER)) will just produce an error: unbound variable GE.  Thus
the default/repl-eval now looks for an unquoted expression and
evaluates it in the (USER) package, so you can enter ,(ge '(USER)) to
get back.

cref: one more place must allow #f for a package's parent.

ffi: Temporay hack is no longer needed.

cref: Support (parent #f) packages.  Punt system-global-package.

The package-structure<? sort did not ensure that BOTH a package's
parent-in-name and parent-environment were created first.  An easier
sort ensures only that the parent-environment is created first.  The
parent-in-name was only needed to hang the "child" on a tree.  This
patch replaces the tree with a list: *packages*.  Thus a
parent-in-name is not needed and the only parent/child tree is the
environment tree.

To catch out old code searching for packages via package/children (as
in swank.scm) the system-global-package binding was removed, as was
package/child.  Package/add-child! seems popular and so is supported
(with only minor trouble, i.e. no APPENDing during the cold load).
Package creation by other means is... not supported.

Add (unused) attribute to Rdl.

This eliminates LAIR/C build log noise to the tune of 70,000 lines!

Typo: thread-queue/dequeue-until!.

Revert this commit when the release can build without it.

These last vestiges of TC_COMBINATION_1, TC_COMBINATION_2, TC_PCOMB0,
TC_PCOMB1, and TC_PCOMB2 remain only to allow building directly from
release 9.1.

Remove all trace of type codes COMBINATION-2, PCOMB0, etc.

This finishes what 3fc580e started.  The resulting system runs but
does not build with the released version 9.1.  That version puts old
combinations in .exts that cannot be fasloaded by this new version.
As the old combination types are no longer compilable nor even
interpretable, it seems the build process loads them but does not use
them.

The following commit will put just the gc handlers back, which is
sufficient to allow building directly from 9.1.

Fix argument order in HASH-TABLE/MODIFY! documentation.

Fix tabification in (runtime hash-table) package description.

Merge Alexey's hash table documentation and tweaks from ages ago.

There was some little issue but I forget what it was.

Warn that weak references are scary and hard to get right.

Redirect to provided higher-level abstractions.

Update hash-table/count for multiple entry types.

Record the reason for the restrictions in hash-table/modify!

I found this non-obvious when I was writing the documentation, so it
seems appropriate to record it somewhere.  On the other hand, it does
not seem appropriate to burden the user with having to read it ---
just obey the restriction and you'll be fine.  Will anyone ever read
comments in the source of the manual?  Is there a better place to
record this knowledge?

Add some concept index entries that seem reasonable.

Update the documentation of hash-table/clean!

Deprecate {strong/weak}-hash-table/constructor.

Flush the detailed description of what they do as having been copied
into the description of HASH-TABLE/CONSTRUCTOR.

Rewrite the hash table constructors section with more weakness options.

Define and export key-ephemeral-eq and key-ephemeral-eqv tables as
replacements for the key-weak versions.

Punt descriptions of old hash table constructor procedures to the
bottom of the section and say they are for backward compatibility.

One may object to MAKE-KEY-EPHEMERAL-EQ-HASH-TABLE on the grounds that
it invites a combinatorial explosion of names:
make-key/datum-weak-eqv-hash-table
make-datum-ephemeral-string-hash-table
make-key&datum-ephemeral-equal-hash-table (!?)
and so on ad nauseam.

Where will it end?  The criterion I used to decide which names to
export and document and which names to leave alone and defer to the
general HASH-TABLE/CONSTRUCTOR mechanism was simply to update the
existing documentation.  The manual already listed
MAKE-WEAK-EQ-HASH-TABLE.  It is now named MAKE-KEY-WEAK-EQ-HASH-TABLE,
so that name is included.  But really, a key-weak table is just a
performance optimization over a key-ephemeral table, to save work when
you know the data will not hold the keys strongly.  So
MAKE-KEY-EPHEMERAL-EQ-HASH-TABLE is in; it was, in fact, the reason I
wanted Taylor to implement ephemerons in the first place.
MAKE-KEY-EPHEMERAL-EQV-HASH-TABLE is in to preserve the symmetry
between eq? and eqv? that was already present in the manual.  But the
rest of them are out, because they weren't there before.  If
datum-weak tables were so important that their constructor really must
be given a name here, then (arguably) why were they not already
implemented and documented?  The fact that MIT Scheme only supported
strong and key-weak tables for a long time suggests that those kinds
are the most common, and therefore the most deserving of slots in the
name space.

Relocate and update the examples of defining hash table contructors.

Now in terms of HASH-TABLE/CONSTRUCTOR and entry types.