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.

Added STRING relational operators.

Added switch compiler:rtl-instruction-scheduling?

Fixed type checked indexed operators to not generate a type check for
indexes that are known to be fixnums.

Fixed bug in PROCEDURE-TYPE.

Added TYPE:->CONSTANT.

Added rewrite code to replace an expression with a literal if the type
system tells us what the value must be.  Most useful for
IF-predicates, as replacing <pred> by, e.g., (BEGIN <pred> '#T) allows
the dead code to be removed.

Added predicate code to yield a #T or #F value.  Previously the
predicate information was being used only in the branches of an if.
Obviously, it is nice to know when the predicate is always true or
false.

Tweaked with inference rules for EQ?/EQV?/EQUAL?.  This could be
better, for example, if (eq? x y) then we know the types must be in
the intersection.  This would require work in TYPEREW/PRED.

Added an arity check so that primitives with rewrite rules but used
with teh wrong arity are silently ignored.  The applicat phase will
give a warning.

Added rewrites for most int: primitives to produce fixnum diamonds, or
to use the generic operations (for comparisons).

Exported flag compiler:rtl-instruction-scheduling?

SET-INTERRUPT-ENABLES! is now open-coded as a special primitive unless
'SET-INTERRUPT-ENABLES! is in compiler:primitives-with-no-open-coding.

SET-INTERRUPT-ENABLES! is now open-coded as a special primitive unless
'SET-INTERRUPT-ENABLES! is in compiler:primitives-with-no-open-coding.

Added set_interrupt_enables_hook

Added rules for %/, which enables &/ -> flo:/

Fixed bug in TYPEREW/EXPR*/UNORDERED/HARD where type information was
being lost because the list had been REVERSE!-ed.

Added graphcis operations DRAW-ARC, DRAW-CIRCLE and FILL-CIRCLE.

Fixed X-GRAPHICS-DRAW-ARC to do the right thing when the X and/or Y
axes are flipped.