Change file-info primitives to use Win32 API calls instead of C
library calls.  Return mode string and mode bits in native format
rather than unix format.

Change time decode/encode to use unsigned integer conversions.

Add export for screen_char_dimensions.

Fix bug: interface to OS/BUFFER-BACKUP-PATHNAME was changed and
reference in this file was missed.

Fix a thinko in the last change.

Fixed the number of code bits to be correct for either 7 bit or 16 bit
characters.

Work around bug in GNU make on OS/2: backslash before output
redirection seems to be generating a null-string argument which is
misinterpreted by findprim.

Many small changes to eliminate errors and warnings when compiling
under Win32 using either Visual C++ 4.0 or Watcom C/C++ 10.6.

Many small changes to eliminate errors and warnings when compiling
under Win32 using either Visual C++ 4.0 or Watcom C/C++ 10.6.

Many small changes to eliminate errors and warnings when compiling
under Win32 using either Visual C++ 4.0 or Watcom C/C++ 10.6.

Many small changes to eliminate errors and warnings when compiling
under Win32 using either Visual C++ 4.0 or Watcom C/C++ 10.6.

Changes that result in a successful build with the Watcom compiler.

Initial revision

Fix bug: use of "tiny" memory model causes Watcom linker to produce
invalid executable.  The memory model is irrelevant here, anyway,
since there are no references to memory in this code.

Add new OS-specific procedure DIRED-PATHNAME-WILD? so that unix can
support the full range of filename expansion provided by the shell.

Eliminate duplicate bindings differing only in case in bindings lists.

In x-window-set-input-focus, flush the display queue right away.
Otherwise, the error-catching code from the previous revision will
have no effect since the command will be sent later.

Fix buffer-memoization bugs.  Eliminate random patch installed by bal.

Change defaults for configuration directories: the course material
goes under "~u6001" but the working directory is in the user's home
directory.  The directories are now all chosen when the editor is
started rather than when the band is built.

When scrolling, inform the screen code that the cursor has been moved
so that it can move it back if necessary.

Add ability for the terminal-scrolling code to tell the screen code
that the cursor position has been invalidated by the scroll.

Change 6.001 package to put the student root directory in the user's
home directory, rather than using an absolute pathname that might not
exist on a given system.

Fix interrupt hole in updating of screen size.

Patch to help fix bug in 6.001 debugger.

Patch X error handers so that they kill Scheme when the X connection
is lost.  This is a kludge, but is needed to fix a common problem.

Fix bug: error signalled in dired when trying to determine whether a
given pathname specifies a directory.

Add entries to file-primitive translation table to cover the new
primitives used to open files.

Added DEFINE-INTEGRABLE to list of specially formatted keywords.

Added X-GRAPHICS-DRAW-IMAGE-STRING.

Made traps work for HPUX 10.

Fix illegal instructions that are rejected by the new HP assembler.

Fixed kmp->ppp so that it doesnt barf on improper lists in RTL constants.

Fix thinko: only conditions are errors!

Wrapped call-backs in error trapping code.

Added tags target.

Rouge ')'.

Fixed spelling of some procedure names.

Initial revision

Typerew uses checking operations (e.g. CAR with type checks enabled,
or explicit calls to ERROR:WRONG-TYPE-ARGUMENT, etc) to deduce type
information about values in the program.  The assumption is that the
error signalling code never returns.

This set of changes makes these operations bulletproof by arranging
that the continuations of the error signalling procedures cannot
resume the code that was compiled under the types deduced from the
assumption.  The error continuations now `trap' by jumping to an
appropriate handler.

  fakeprim.scm
    New operator %halt.
    New operator %reference.

  errcont.scm
    Edits a program to replace continuations to error procedures
    (which typically merge back with the non-error case) with
    continuations that just call %halt.

  laterew.scm
    Eliminate %reference.

  rtlgen.scm
    Recognise continuations containing %halt and produce terse code to
    `trap' to the appropriate support procedure.

  simplify.scm
    Tweak to LETREC case for recognizing dead procedures earlier.
    This allows `diamond' code to be linearized in one pass rather than
    two.

  typerew.scm
    Changed to generate code to signal errors calling global procedure
    %COMPILED-CODE-SUPPORT:SIGNAL-ERROR-IN-PRIMITIVE

Initial revision

Fixed a bug where stackopt was getting confused if the
%make-stack-closure operator was integrated as a (non-operator)
%constant.

Fixed arity and formatting problems.

Added %COMPILED-CODE-SUPPORT:SIGNAL-ERROR-IN-PRIMITIVE.

Added COMPILED-CODE-SUPPORT:NONRESTARTABLE-CONTINUATION.

Changed coercion code to use the global procedure
COERCE-TO-COMPILED-PROCEDURE rather than the primitive.

Re-instated the iterative version of MAP.
I keep getting bitten by long lists.

Added a flag to TYPE:USER-DESCRIPTION.

*** empty log message ***

Added info for %RECORD.

Tweaked integration.

Avoid interrupt checks due solely to tailing into an ordinary
(i.e. not apply-like) primitive.

Fixed logic bug with +0 and +1 arity encodings.
Added a missing else to a case expression.

make random-state-tag define-integrable.

Reorganized and extended code.

Fixed load sequence bug.

Initial cut at writing COERCE-TO-COMPILED-PROCEDURE in Scheme.  The
next change will be to make the compiler generate calls to this
procedure rather than the primitive COERCE-TO-COMPILED-PROCEDURE,
which should result in both faster generation and invocation of
trampolines.

Eventually we might make the linker use this code too.

The code is a bit hairy and needs special initialization, hence the
changes in make.scm.

Initial revision

Tweaked format of time reports so that the non-gc process time is
always first.

Fixed bug: LEXPR primitive were being mistaken as having the wrong
arity and thus were being applied via short_circuit_apply_n.

Added new stack frame type for preservation frames (restore-regs).
Added a debugging-info method.

Changed the illegal-arg error handler for primitive procedures to
avoid using retry restarts when the primitive signalled a type or
range error when called from compiled code.  This is necessary because
the compiler assumes that if it calls a primitive just to raise an
error then teh primitive will not return.  This assumption allows type
inference to eliminate furthur checks.

In order to stop the debugger returning a value, the primitive should
be called `indirectly' via another compiler procedure which refuses to
return.  I.e instead of compiling the error CAR operation as
INVOKE:PRIMITIVE

  (#[primitive-procedure car] x)

call it like this:

  (signal-primitive-error '#[primitive-procedure car] x)

where SIGNAL-PRIMITIVE-ERROR is compiled like this:

  (define (signal-primitive-error primitive . arguments)
     (apply primitive arguments)
     (error "..."))

Fixed missing argument bug.

Fixed typo.

Fixed a bug with constant folding binary operators: the continuation
was being ignored.

Added a whole bunch of code to rewrite return (and calls with few
arguments) sequences that are passing an inlined predicate or
conditional expression.
For limited cases, for example, returning (null? x) or tail-calling, e.g.
  (f (if (pair? x) (car x) #F))
there is small benefit.

Made extra arguments in some calls (e.g. %internal-apply) explicit to
COMPAT/REWRITE-CALL/SPLIT.

Added code so that %RECORD-REF/SET! at known index 0 does not do a
range check.  %RECORDs are always created with at least a descriptor
slot.

Improved hashing of flonums.

Made CSE of predicate arguments only occur for REGISTER expressions.
This allows pre-cse-rewriting to block cheap arguments from being
CSE-ed.

 . Fixed bug that was preventing CSE of flonums.
 . Changed `CSE avoiding' rewrites to use CONSTANT-REGISTER-EXPRESSION, thus
   including #F and '() in the games we play with `0'.
 . Punted the `is-rtl-zero?' predicate as no longer used.
 . Simplified REGISTER-KNOWN-FIXNUM-CONSTANT
 . Added `CSE avoiding' rewrites for comparison operators.

 . Improved predicates FITS-IN-nn-BITS?.
 . Split REGISTER-EXPRESSION, extracting CONSTANT-REGISTER-EXPRESSION for the
   pre-loaded registers.

Tweaked with constant costs.
Removed some code from the ols split type-code compiler.

Extended hashing to include reals rather than just (exact and inexact)
integers.  Enables flonums like PI to be subject to CSE.

Removed rules containing CHAR->ASCII because the rtlgen.scm does not
generate this RTL.

revert one line.

Removed lots (500 lines) of tagged-fixnum code.  If you want it, use
RCS.  Changed the comments to reflect the current code.

Made things more robust:

 . Changed FITS-IN-nn-BITS? predicates to test for fixnum arguments.
 . Changed all the register*constant and constant*register predicates
   to be true only if the constant is a *fixnum* in the correct range.
 . Punted the GUARANTEE-SIGNED-FIXNUM (as the predicates now guarantee it).

The net effect is that the compiler now compiles code like (fix:+ x
1.2) or (fix:* 'a n) to the obvious, albeit meaningless, instructions
rather than signalling a confusing error.  Note that the midend
typerew phase can generate error messages for any of these conditions.

Changed FORM->SOURCE-IRRITANT to give a more useful output when source
is not available.

Removed old (mostly unused) method of reporting type errors via bogus
re-writes that issue the warning and leave the program unchanged.

Replaced with type-checks based on the typedb information.  All
operators with typedb information are checked (not just those with
rewrites).  Checking (and thus warnings) are disabled by setting
COMPILER:TYPE-ERROR-WARNINGS? to false.

Added type:user-description, which gives an english description of the
type for some simple types.

Fixed typo.

Removed debugging print code, reformated 2 small procedures.

Added switch compiler:type-error-warnings?, default true.

Added SORT[!], FOR-EACH and MAP, and some generic arithmetic operators.

Fixed to keep runtime and runtime-check debugging info separate.

Disable optimizations with INTEGER-<relation> because it causes loops
in the arith.scm generic handlers.

Fix typos.

Fixed bug in typerew/remember* (it was sometimes returning unspecific).

Added EXACT->INEXACT, INEXACT->EXACT, MAKE-STRING, MAKE-VECTOR,
STRING, STRING-APPEND and STRING-COPY to global procedures.

Removed suggestion mechanism for rewrites.  It was no longer used and
might be a problem because it couples type analysis to the use of the
information.

Deleted unused let-binding.

. Changes to permit use of procedures with variable arity in the
  typedb.scm database.

. EXACT->INEXACT may be replaced by %fixnum->flonum if appropriate.

. Changes to generic arithmetic for fix*flo combinations.  Now these
  are open-coded with an explicit conversion (which man be constant
  folded).

Added LENGTH, and vector and string constructors.

Improved the ascii byte store code (elide object->datum on store).

Removed useless rule for flonum-subtract.

Canonicalized (flonum-less? x 0.) to flonum-negative? etc.

Added open-coder for %fixnum->flonum.

*** empty log message ***

Added (FLONUM-1-ARG FIXNUM->FLONUM ...) rules.

Added constant-folding of %fixnum->flonum.

Added %fixnum->flonum.

Typo.

Added FIXNUM->FLONUM.