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.

Performance enhancements:

1. Changed DRAGON4-FIXUP to use fast scaling similar to described in
   Burger and Dybvig (reference in file).  This makes an order of
   magnitude difference for unparsing flonums with large exponents.

2. Changed DRAGON4 to pass exponent to DRAGON4-FIXUP for scaling
   estimate.

3. Systematically replaced calls to generic operators with calls to
   int: variants (and rat:expt).  The vast majority of operations are
   on bignums.  Gives a gain of about 20%.

Timings (Non-GC runtime) in msec for 1000 calls on 200Mhz Pentium Pro.

Example Number Original Fast Scaling and INT:ops

3.141592653589793 840 820 580
1022. 320 300 230
1.234e300 4870 490 400
1.23456e-300 7130 680 540

It is still pretty sad that you can format only a few thousand numbers
per second.

PC-sampling shows that most of the time is spent as follows:

 (27% primitive 253 "INTEGER-MULTIPLY")
 (24% primitive 200 "GARBAGE-COLLECT")
 (24% primitive 248 "INTEGER-DIVIDE")
 (5%. primitive 260 "INTEGER-SUBTRACT")

Make sure that RMAIL variables are initialized before they are used.

Fix bug introduced by last change.

Toe the current ideological line.

Fix typo.

Fixed a bug in argument checking SUBSTRING.  Introduced
GUARANTEE-SUBSTRING and edited other procedures to use it.

Fixed a bug in argument checking SUBSTRING.  Introduced
GUARANTEE-SUBSTRING and edited other procedures to use it.

Don't use the external Scheme DLL any more.  This is important for the
moment as I have not yet figured out how to make working DLLs with the
new Watcom compiler.  However, the Scheme DLL probably doesn't matter
any more as we no longer care about Windows 3.1.

Watcom 11: use __try/__except for new version of Watcom compiler, as
it is now fixed and works properly.

Watcom 11: eliminate compiler warning.

Watcom 11: various changes.

Watcom 11: needs kernel and user librarys named explicitly now.

Change for Watcom 11: documentation claims that 0 is not a valid value
for the stack-size parameter to beginthreadx.

Change RCS-FIND-DELTA to have an extra argument saying whether or not
to signal an error if there is no such delta.  Use this feature to
make VC-NEXT-ACTION do the right thing when it is given a version
number that doesn't exist.

Change RCS-FIND-DELTA to have an extra argument saying whether or not
to signal an error if there is no such delta.

Extensive changes corresponding to new release of SOS that uses
generic procedure support provided by the runtime system.

Extensive changes corresponding to new release of SOS that uses
generic procedure support provided by the runtime system.

Allow computed methods to return concrete methods as well as
procedures, provided that the returned method's specializers are
restrictions of the computed method's specializers.

Delete accessor slot properties after they are used.  This prevents
them from holding on to the generic procedures, and from defining
identical methods for each subclass.

Fix typo.

Fix think-o.

Allow INSTANCE-PREDICATE to take a specializer as an argument rather
than just a class.

Error-check arguments to MAKE-CLASS.  Make sure that dispatch tag of
record-type class is correct.

Allow record types to be used in place of classes wherever sensible.

Signal CONDITION-TYPE:NO-SUCH-SLOT when given an invalid slot name.

Signal CONDITION-TYPE:NO-SUCH-SLOT when given an invalid slot name.

Add CONDITION-TYPE:NO-SUCH-SLOT and modify record code to signal this
error when given an invalid slot name.

Modify %RECORD-ACCESSOR to signal an error if the accessed slot is
uninitialized.

SPECIALIZER=? was not handling the case of mixed arguments properly.

Eliminate UNION-SPECIALIZER=? and UNION-SPECIALIZER-CLASSES.

Add option to allow user to specify a different name for the type
descriptor.

Eliminate UNION-SPECIALIZER=? and UNION-SPECIALIZER-CLASSES.

Eliminate UNION-SPECIALIZER=? and UNION-SPECIALIZER-CLASSES.

Eliminate unused definition.