Use COMSPEC environment variable to determine shell file name if SHELL
is not defined.

Change test used to decide whether an unreadable file exists.  The
procedure FILE-EXISTS? gives the wrong answer when the file is a
symbolic link that points to a non-existent file.

Add code to synchronize the shutdown of the asyncronous timer thread
with the deallocation of the associated state.  Otherwise, the race
condition causes occasional GPFs when exiting Scheme.

Changed consing code to compute the tagged pointer after storing the
elements.  This reduces register pressure across the consing sequence.
Rearranged consing expression to share a common algorithm, eliminating
80 lines of code.

Added some comments.

Changed the instruction sequence for procedure return (and computed
jump).  The code for clearing the type code from a continuation now
loads the value into a register instead of modifying it in-place on
the stack.

I have left the code using an indirect jump.  An alternative is to
push the value back on the stack and do a RET.  The indirect jump
seems faster, especially when returning to the same address as the
previous jump, but the branch prediction mechanisms for RET and JMP
seem quite different.

Speeds up the modified Gabriel Benchmark Suite (/scheme/8.0/src/bench)
by 10% overall!  I guess this is because the Pentium Pro really
doesn't like the old read-modify-write instruction.

Test       Old    New   Ratio
ctak      11.59  11.54  0.996
conform    0.62   0.50  0.806
traverse   1.57   0.92  0.586
takl       0.23   0.20  0.870
peval      0.40   0.35  0.875
browse     0.59   0.56  0.949
tak        0.28   0.25  0.893
wttree     1.61   1.49  0.925
deriv      0.34   0.29  0.853
boyer      0.47   0.42  0.894
div        0.42   0.39  0.929
dderiv     0.44   0.38  0.864
cpstak     0.42   0.41  0.976
matmul1    0.27   0.27  1.000
fib        0.68   0.55  0.809
fcomp      0.61   0.54  0.885
triangle   2.89   2.36  0.817
puzzle     0.47   0.47  1.000
matmul2    0.66   0.69  1.045
destruct   0.28   0.28  1.000
~a.mean       -      -  0.899
~g.mean       -      -  0.892

Moved open-coding of VECTOR?, %RECORD? and CHAR? from SF to
open-coders in compiler.

Fix typo.

Added primitive CHAR?

Added primitives VECTOR? and %RECORD?

Added open-coding for MAKE-CELL.

Improved disassembly output:

 - New comments to the right of LAP code, mostly the address of @pco
   branches so you can see where it is jumping.

 - correctly decodes the word field after a

(call (entry short-primitive-apply))

   rather than trying to disassemble the offset as instructions and
   getting out of sync with the subsequent instructions.

Use `cp -p' to preserve file times.

use `cp -p' to preserve file times.

Use `cp -p' to preserve file times.

Typo in previous change.

Fixed so that "1/pivot" is rejected as a number, rather than dividing
by zero.  Change: divide only if there is at least one denominator
digit.

This is not a good fix, but I need it now for some existing code.  The
parser ought to be restructured not to compute the real part until it
is known that the imaginary part is valid, e.g.

(string->number "1/2+3")  => #F
(string->number "1/0+3")  => error
(string->number "1/0-transition")  => error

There is a similar problem with exponent calculation:

(string->number "1e9999e1")  => error
(string->number "1e99999999e1")  => `hangs' in bignum primitives

Of course, the difficulty with these non-numbers is probably the
reason behind R4RS's restriction on valid identifiers.  That is pretty
feeble, since I don't recall R4RS saying that STRING->NUMBER is
allowed to signal an error.  Note that the current code would work
fine in a lazy language, so a few DELAYs and FORCEs might be the most
elegant fix (and OK effciency since FORCE is now compiled.)

Changed compuation of pc_in_C: with dynamically loaded libraries,
there is no guarantee that valid C addressed are bounded above by
_etext.

Thinko in replacements for INTEGER-NEGATIVE? and INTEGER-POSITIVE?
(was doing fixnum replacement for known-to-be exact integer arguments
rather than known-to-be fixnum arguments.

Fix typo.

Fix typo in previous change.

Fix typo in instructions.

Added -export-dynamic to the LD switches so that SWAT (and other
dynamic libraries) can load.

Changed %STRING-APPEND to (APPLY STRING-APPEND ...) because someone
removed %STRING-APPEND from the system.

Fixed copyright date and Package: comment.

Change M-A to work better with parameter lists containing uninterned
symbols.

Tweak output for RTL and LAP files to include the pretty-printed
SCode.  In LAP files, make RTL comments more terse by printing them
with ";;" rather than "(comment (rtl"

Fix bug: marked messages that had been deleted from the server were
remaining marked after downloading of message bodies.

The following change in how WIN32 graphics devices are flushed gives
non-flickering update almost like double-buffering for programs which
have to draw multiple frames from scratch.

If graphics buffering is enabled, then a GRAPHICS-FLUSH operation
comes from the user's program.  The change is to synchronously redraw
the screen in this (i.e. buffered+flush) case.  Subsequent operations
can clear and draw without an asynchronous redraw operation copying
the subsequent partial image to the screen.

This is not quite double-buffering since forced redisplay during the
buffered drawing (for example, uncovering part of the window) will
cause the partly draw backing bitmap to be copied to the screen.

User programs with buffering and frequent explicit flushes are likely
to be slower.

Added hlsim documentation.

Fix bug: low-level file reading code was occasionally signalling
errors for no apparent reason.  The cause: the ReadFile API can return
an error indication when it is called at end-of-file.  However, in
ONLY this case, the returned "bytesRead" value is zero.

Trim any trailing end-of-line from system-call error strings.

Clip ranges immediately after a group is constructed, in order to
eliminate old markings.

Work around problem in NT: prompting for a directory with a wildcard
was causing an error.  On unix, this works because FILE-DIRECTORY?
accepts such specifications as arguments -- but on NT, it doesn't.

Initial revision

Eliminate several calls to the C library in favor of native Win32 API
calls.  This was started to work around a bug in the Watcom C library,
but is generally desirable to eliminate unnecessary dependencies on
the C library.

The bug that started this is that FILE-DIRECTORY? returned #F on
directories with the FILE_ATTRIBUTE_ARCHIVE bit set.

Add new file "ntfs.h".

Eliminate conditionalization on OS_open_append_file; this procedure
compiles and runs just fine and probably should not have been
conditionalized in the first place.

Adjusted indentation to be consistent with 7.4 version.

Add switch to disable canonicalization of symbol case by reader.

Fix bug in Scheme mode C-c C-s that could cause already-deleted
buffers to be selected.  I don't understand why these buffers are
still in this list because there is code to remove them.

Don't lose if directories in info-directory-list are lacking the
trailing slash.

Fix bug in last change - apply STRING->SYMBOL to the string, not the
`constant' expression containing the string.

7.4: Fixed STRING->SYMBOL expansion to test that it's argument is a
constant whose value is a string rather than applying STRING?
directly (which has been broken since it was added in 1992.)  Fixed
INTERN likewise.

8.0: treat INTERN similarly to STRING->SYMBOL: Add INTERN as a
integrated to a global reference.  Added type rule and constant
folding rule for intern. (This is better than constant folding at
integration time since it deals with constant propagation.)

The previous change to make the output with '(ABSOLUTE <N> ...)
produce the correct number of digits for numbers with no significant
digits introduced problems with NORMAL rounded and ENGINEERING
formatted output.  All NORMAL rounded output for numbers of the form
ddd.ff were being output as "000.".  Some numbers formatted with
'(ABSOLUTE <N> ENGINEERING) looked like "000e-3".

This has been fixed by

  (1) setting the cutoff for NORMAL rounded numbers to be a value that
      will allow the digit production to run to completion
      (flo:significand-digits - 2).

  (2) adding special cases in the output procedures to deal with empty
      digit strings.

Currently:

Zero still prints as "0." by the initial sign/infinity/NaN dispatch.

Rounded output in NORMAL style for numbers with no significant digits
prints as "0." or "-0.".

Rounded output in SCIENTIFIC / ENGINEERING style for numbers with no
significant digits prints as "0eE" or "-0eE", e.g. "-0e3".

It might be preferable to keep "0." distinguished for zero, but I'm
not sure how for NORMAL formatted output.  (To my eyes, "0.0" looks
more `zero' than "0.", and ".0" implies a small magnitude.)

A small regression test has been appended in a comment to help avoid
problems in future.  Feel free to add tests.

Provide the ability for a user to specify how the digits generated by
the flonum printer are converted into a string.

Fix another bug in the Dragon4 code (the bug exists in the original
paper).  The bug caused the following behavior:

    (fluid-let ((flonum-unparser-cutoff '(absolute 2 normal)))
      (number->string 0.005))
    ;Value 3: ".01"

    (fluid-let ((flonum-unparser-cutoff '(absolute 2 normal)))
      (number->string 0.00499))
    ;Value 4: ".005"

The problem is that in the second case the trailing digit "5" should
not be generated.  The fix works by preventing any digits being output
by the digit-generation loop when the first digit to be output would
be to the right of the cutoff point.

Reimplement encrypt-file and decrypt-file to eliminate the temporary
storage of the plaintext in a buffer; this is both a security risk and
an unnecessary limitation on the size of the file.  Also, modify the
commands to provide more flexible handling of filenames.  Previously,
only the input file could be specified; now both the input and the
output can be specified, and the output is defaulted to a useful
value.

Fix bug in AFTER-FIND-FILE: code was assuming that every buffer had an
AUTO-SAVE-PATHNAME.

Add new commands to encrypt and decrypt files using blowfish.

Add optional argument to KEYBOARD-READ which, if true, says that the
key being read should not be recorded in the keyboard history.  This
option is used to prevent passwords from being stored in the history.

Fix bug: VC was causing a local binding of vc-mode-line-status to
appear in every buffer, when it should only be bound in buffers under
version control.

Fix bug: auto-save initialization was not looking for a local binding
of the variable auto-save-default.

Don't use alternate pathnames when writing files; only when reading.

Fix bug: end index in substring is exclusive, not inclusive.
Repaginate.

Changed error for non-root access to a warning, so at least we can get
a .crf file output.

Changed FIXNUM->FLONUM back to using cast.

I don't understand why the last change was made -- the cast should
have worked, since arg_fixnum() returns a long.  Perhaps I blew it and
tested it on 8.0 and just happen to have fixed the real problem at
about the same time.

Conditionalize fixnum dependency for allow single file for 7.4 and 8.0

Changed TC_TRUE to TC_CONSTANT

Changed TC_TRUE to TC_CONSTANT in comment

Changed TC_TRUE to TC_CONSTANT.

Conditionalized EMPTY_LIST_VALUE code.

A hack: Introduced macro

case_TC_FIXNUMs

for generating case labels for selecting fixnums, whether there are
one or two typecodes.  This tidies up the support in the 8.0 sources
for eitehr case, and allows more files to be shared between 7.4 and
8.0

Conditionalized EMPTY_LIST initialization for code sharing between 7.4 and 8.0.

Moved GLOBAL_ENV to sdata.h.

Merged in changes to make 7.4 and 8.0 more alike.

Fixed the trap debugging primitive
INSTRUCTION-ADDRESS->COMPILED-CODE-BLOCK to handle integer arguments
correctly.

Add ADDRESS_HEAP_P to match existing predicate ADDRESS_CONSTANT_P

file: purify.c
file: bchmmg.c
file: memmag.c

Define EMPTY_WEAK_CHAIN for use in terminating the weak chain rather
that EMPTY_LIST.

This allows purify.c, bchmmg.c and memmag.c to be shared by 7.4 and 8.0.

Eliminate NT compiler warning.

Disregard working directory when file is loaded; use directory that
file is loaded from instead.

Update copyright date.

Small changes to allow butils.scm to be shared between 7.4 and 8.0

Merge 7.4 and 8.0 versions on scomb.scm

Changed UNDEFINED-CONDITIONAL-BRANCH to be UNSPECIFIC directly, rather
than trying to reconstruct the same machine-dependent bit-pattern.

Change to get rid of minor difference between 7.4 and 8.0 versions of
unpars.scm:

Renamed
  COMPILED-ENTRY/FILENAME -> COMPILED-ENTRY/FILENAME-AND-INDEX
  COMPILED-CODE-BLOCK/FILENAME -> COMPILED-CODE-BLOCK/FILENAME-AND-INDEX

Merged 7.4 and 8.0 udata.scm files.
(Main benefit is the much faster compiled version of FORCE).

Removed FORCE from integrated primitives.

Added COMPILED-CODE-BLOCK/MARKED-START which returns the index that
COMPILED-CODE-BLOCK/CONSTANTS-START used to.
COMPILED-CODE-BLOCK/CONSTANTS-START now parses over the linkage
section.

Changed i386 disassembler to use COMPILED-CODE-BLOCK/MARKED-START.

Merged the 7.4 and 8.0 versions of string.scm now that INDEX-FIXNUM?
is open-coded by both compilers.  Moved string.scm into a new package
(runtime string).

Use FIXNUM_TO_DOUBLE rather than a cast.  Casting a fixnum to a double
fortuitously worked under 8.0 with `native' fixnum tags but didn't
work under 7.4.

Added open-coding for the primitive INDEX-FIXNUM?

Added INDEX-FIXNUM? as integrated constant.

Made previos chaneg work under 7.4 and 8.0

Use EMPTY_WEAK_CHAIN for weak pair chain instead of EMPTY_LIST.

Initialize number parser.

8.0 debugging changes.

Added a procedure COMPILED-CODE-BLOCK/NAME to guess the name of the
procedure in the compiled code block.  If the dbg info has only one
top-level procedure then use the name of that procedure, otherwise
return false.  Requires LOAD-DEBUGGING-INFO-ON-DEMAND? to be true to
load the dbg info.

Fixed HARDWARE-TRAP-FRAME/DESCRIBE to use the new 8.0 debugging
information - it was an oversight that it was still trying to use the
old debugging locator to identify the file name for the compiled code
block.  Also use COMPILED-CODE-BLOCK/NAME to identify the procedure.

Together, these changes mean that (with LOAD-DEBUGGING-INFO-ON-DEMAND?
true), SIGSEGVs and SIGFPEs can usually identify the offending
procedure by name.

Changed INT:->INEXACT to use INTEGER->FLONUM and FIXNUM->FLONUM, now
that INTEGER->FLONUM has been fixed to work correctly.  Note that the
8.0 compiler can open-code FIXNUM->FLONUM.

FIXNUM->FLONUM is open-coded, but only if argument is a known fixnum.

Bug fixes:

  . "1/"  returns #F instead of signalling divide by zero.

  . "1.2345e-306" and "1e-400" with FLONUM-PARSER-FAST? true no longer
     signal arithmetic errors.

  . STRING->NUMBER and SUBSTRING->NUMBER now check their arguments

Other changes: FINISH-REAL now exploits the fact that some integers
have exact floating point representations and so flonum arithmetic can
be used to compute the correct result.  Note that to maintain
correctness, i*10^-e must be calculated as i/10^e.  The results are a
modest improvement on free-formatted random flonums (typically 16
digit) in the range 1e-7 to 1e35:

Times for 10000 flonums generated by (random range)

range 1e-100 1e-10 1e-5 1. 1e5 1e10 1e35 1e40
old 10180 8200 8210 7490 5610 3970 3990 4030
new 10280 8350 4690 4390 3930 3230 3180 4170

With FLONUM-PARSER-FAST? true, using the division trick gives better
error rates over a larger range.  Number of errors in 10000 random
flonums

range 1e-20 1e-10 1e-6 1. 1e10 1e20 1e35 1e40
old 3573 2400 3309 2798 3025  685  722 2730
new 2594 2778 1907 1010  761  685  772 2730

Bug fixes:

  . "1/"  returns #F instead of signalling divide by zero.

  . "1.2345e-306" and "1e-400" with FLONUM-PARSER-FAST? true no longer
     signal arithmetic errors.

  . STRING->NUMBER and SUBSTRING->NUMBER now check their arguments

Other changes: FINISH-REAL now exploits the fact that some integers
have exact floating point representations and so flonum arithmetic can
be used to compute the correct result.  Note that to maintain
correctness, i*10^-e must be calculated as i/10^e.  The results are a
modest improvement on free-formatted random flonums (typically 16
digit) in the range 1e-7 to 1e35:

Times for 10000 flonums generated by (random range)

range 1e-100 1e-10 1e-5 1. 1e5 1e10 1e35 1e40
old 10180 8200 8210 7490 5610 3970 3990 4030
new 10280 8350 4690 4390 3930 3230 3180 4170

With FLONUM-PARSER-FAST? true, using the division trick gives better
error rates over a larger range.  Number of errors in 10000 random
flonums

range 1e-20 1e-10 1e-6 1. 1e10 1e20 1e35 1e40
old 3573 2400 3309 2798 3025  685  722 2730
new 2594 2778 1907 1010  761  685  772 2730

Fix a couple of typos.

Added missing open-coders for:

SYSTEM-PAIR-SET-CAR! SYSTEM-PAIR-SET-CDR!
SYSTEM-HUNK3-SET-CXR0! SYSTEM-HUNK3-SET-CXR1! SYSTEM-HUNK3-SET-CXR2!

Implemented FORCE as a compiled procedure.  SF no longer integrates
FORCE as a primitive procedure.

There is a minor bootstrapping problem with the standard build
scripts since any pre-existing version of SF will integrate the
primitive FORCE, and SF is only run on files that have changed.
A solution is:

    1. rebuild the system
    2. remove any .bin files that call FORCE
    3. rebuild the system using bands produced in step 1.

Timings under Scheme 8.0 on plex:

Test Primitive Compiled
 [1]  10370ms   560ms
 [2]    180ms   130ms
 [3]       440ms   270ms

(let ((nums (list->stream (make-initialized-list 100001 identity-procedure)))
      (primes
       ((access make-prime-numbers-stream (->environment '(runtime stream))))))
  (show-time (lambda () (stream-ref nums 100000)))    ; [1]
  (show-time (lambda () (stream-ref nums 100000)))    ; [2]
  (show-time (lambda () (stream-ref primes 1000))))   ; [3]

Added rules for rewriting (INTEGER->FLONUM N <flags>) to (FIXNUM->FLONUM N).

Improved range of analysis for REMAINDER & INTEGER-REMAINDER.
INT:comparisons reduce to FIX: version for suitable arguments.
INTEGER-ZERO? reduced to EQ? for exact integer arguments.

Changed bignum_to_double to produce a correctly rounded result.  The
code is a lot hairier since it implements IEEE style round to even,
but it is not much slower than the old `accumulate' loop since it
rarely has to look at more that two or three words.

The new version no longer signals an floating point overflow error on

(INTEGER->FLONUM (- (EXPT 2 1024) 1) #b10)

This means that (INTEGER->FLONUM N #b10) can again be used for computing
EXACT->INEXACT on exact integers, which should be 5-15x faster.

There were several places which has a loop to find the bit position of
the most significant bit in a word.  This code has been converted into
a macro, and tweaked to be a bit faster.  Presumably some machines
have this operation as an instruction.

Change integer_length_in_bits to return a fixnum if possible.

Speed up RATIO->FLONUM and INT:->INEXACT by using (INTEGER->FLONUM N
#b11) when N is small enough that it has an `exact' flonum
representation.  A prior log message comments on this, but the code
does not seem to take advantage.

DISCUSSION:

Question:  why is (INT:->INEXACT N) not simply (INTEGER->FLONUM N #b10) ?

(EXACT->INEXACT (expt 2 3000)) used to fail in INTEGER->FLONUM,
but now it returns MAXDOUBLE (due to ldexp), but an Infinity or an error
would seem better.

R4RS says: If an exact argument has no reasonably close inexact
equivalent, the a violation of an implementation restriction may be
reported.

I would read this as NOT returning MAXDOUBLE as, say, 2^3000 is not
`reasonably close' to any FP number.

A previous log entry says INTEGER->FLONUM does not round reliably.
This is because bignum_to_double in "bignum.c" accumulates, which may
cause error due to intermediate rounding.

Perhaps bignum_to_double should be changed to extract the top 53 bits
and explicitly calculate the exponent; another test would be required
in place of bignum_fits_in_word_p, which does not (and should not)
understand rounding carry.  Currently, calling bignum_to_double on

(- (expt 2 1024) 1)

signals a floating point overflow or returns an infinity depending on
which FPU exceptions are enabled.

If bignum_to_double was fixed it could be a lot faster than all the
current bignum arithmetic.

Fixed thinko in FIXNUM->FLONUM.

Changes in INT:->STRING to improve performance.  30% faster for huge
bignums (10^1000), up to 2x-3x faster for small bignums (up to
10^100), slightly faster for fixnums.

 . Use a local version of DIGIT->CHAR since we don't need to check the
   radix.

 . PRINT-FIXNUM modified to be useful for generating digits in the
   middle of a number.

 . PRINT-MEDIUM and PRINT-LARGE work in units of several digits, the
   length of a unit pre-computed so that a unit can be printed using
   fixnum arithmetic.

 . PRINT-MEDIUM chops off groups of digits that can be printed by
   PRINT-FIXNUM.  The microcode primitive LISTIFY-BIGNUM is no longer
   used.

 . PRINT-LARGE has a special check to try to avoid the last multiply
   in building the power stack (which is asymptotically 2/3 of the
   cost of building the stack).  The recursion termination check is
   generalized to also catch sequences of digits with enough leading
   zeroes to be formatted by PRINT-FIXNUM (this can double the speed
   of printing numbers with many zeros).

Rename "c+e" to "all".

Changes in INT:->STRING to improve performance.  30% faster for huge
bignums (10^1000), up to 2x-3x faster for small bignums (up to
10^100), slightly faster for fixnums.

 . Use a local version of DIGIT->CHAR since we don't need to check the
   radix.

 . PRINT-FIXNUM modified to be useful for generating digits in the
   middle of a number.

 . PRINT-MEDIUM and PRINT-LARGE work in units of several digits, the
   length of a unit pre-computed so that a unit can be printed using
   fixnum arithmetic.

 . PRINT-MEDIUM chops off groups of digits that can be printed by
   PRINT-FIXNUM.  The microcode primitive LISTIFY-BIGNUM is no longer
   used.

 . PRINT-LARGE has a special check to try to avoid the last multiply
   in building the power stack (which is asymptotically 2/3 of the
   cost of building the stack).  The recursion termination check is
   generalized to also catch sequences of digits with enough leading
   zeroes to be formatted by PRINT-FIXNUM (this can double the speed
   of printing numbers with many zeros).

In bignum_remainder, replaced special case for remainder by `1' with a
special case for remainder by small power of two.