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.

Draft documentation of HASH-TABLE/CONSTRUCTOR and all the entry types.

Will adjust the surrounding text to fit it in in a separate commit.

Redirect cross reference to Weak References

on the grounds that that is now the landing page for the discussion of
strength and weakness.

Improve documentation of hash-table/{modify,intern}!

By the mechanism of implementing Taylor's suggestions.  Also add
sentences about average running times.

Deparenthesize.

Collect "Weak Pairs" and "Ephemerons" into a section called "Weak References".

State the common motivation, define the common terminology, and
describe the contrasts between weak pairs and ephemerons in the common
section, and tighten the "Weak Pairs" and "Ephemerons" sections
themselves back to just describing their data structures.

Rewrite the description of intricacies with ephemeron-broken? per
Taylor's recommendation to name the ephemeron explicitly and use more
active language.

Documenting hash-table/modify! and hash-table/intern!.  Also slightly
reworded the introduction to hash-table/lookup, to make it more
positive.

Documenting the fact that MIT Scheme implements SRFI 69, the
relationship between the MIT Scheme native hash table API and the one
specified by SRFI 69, and the reason why it is appropriate to provide
both (it's not pure backwards compatibility).  This includes
documenting the bugs in SRFI 69.

Grammar.

Pointing out what ephemerons are for; emphasizing the special feature
of ephemerons, and the distinction between ephemerons and weak pairs.

Clarifying that ephemeron-broken? indicates that an ephemeron is whole by returning #f.

Correcting a typo.

Undo commit 93d3d5c so that "out of memory" need not be The End...

...even in batch-mode.  The effect of 93d3d5c can be had more
elegantly, as pointed out in 6b3f8e0: "Always wrap stdin in a (begin
...)..."

tests: Replace : with / so progress notes are not errors to Emacs.

Add thread-queue/dequeue-no-hang!, rm peek-until, fix -no-hang.

Fix when-non-empty-before, which did not append! to waiting-dequeuers,
and thus would only time out.

Un-export peek-until.  Its TIME argument is... weird -- not universal.
Swat can import it.

Finish replacing type code SEQUENCE-2 with SEQUENCE.

Hack runtime.sf to inform older hosts about new type code.

Unparse the symbol whose name is `.' as `|.|'.

Add a trivial test for it.

Found by Pavel Panchekha.

microcode: Quiet some unused-but-set-variable warnings.

Report a meaningful error message if the TUTORIAL file is hosed.

Support callout struct and union parameter and return types.

Requested by Peter Feigl <craven@gmx.net>.

Update old "package: (ffi syntax)" comments.

Do not setsid() just because of --batch-mode.

Commit 6b474c5 has turned --batch-mode into something like a
--background option, ensuring that setsid() is called.  Re-worked the
logic so that tty interrupt characters are not frobbed in batch-mode
AND setsid() is not called (except according to the curious but
ancient heuristic/default: when there is no tty on stdin, stderr and
stdout and no --emacs option).

Work around broken IMAP servers that give bogus responses to FETCH.

Tidy up local declarations in DEFINE_BIT_COUNT.

`static' is pointless (and causes `gcc -O0' to actually allocate
static storage for them), and using uintmax_t rather than TYPE is
overkill.

Fix some ignored variable warnings in swank.scm.

Add BIT, BITS, SHIFTIN, and SHIFTOUT, for handily hacking bit fields.

Fix READ-PACKET in swank.scm to cope with partial reads.

Thanks, ecraven.

Support new location of Xcode 4.3 and later; just warn if can't find SDKs directory.

Integrate CALLER argument in guarantees.

Remove last remnants of SEQUENCE-3.  Rename return code for sequence-2 to sequence-continue.

Remove last vestiges of IN-PACKAGE.

Make LOCAL-DECLARE a macro.

Spelling correction.

Fix recent typo in User Manual (again).

Fix recent typos in User Manual.

Export flo:modulo

Add flo:modulo

Use internal-time/seconds->ticks in thread-queue/*-no-hang.

Moved test procedure to tests/runtime/test-thread-queue.scm.

Fix OS_pause on Unix to correctly restore the sigmask.

Use sigsuspend in new OS_pause, else wait-for-io must spin.

The test-select-registry primitive now calls OS_pause instead of
OS_test_select_registry to block with an empty registry.