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.

Added X-graphics documentation about DRAW-CIRCLE and FILL-CIRCLE.

Added X-GRAPHICS/DRAW-ARC, X-GRAPHICS/DRAW-CIRCLE and X-GRAPHICS/FILL-CIRCLE.

Added X-GRAPHICS-DRAW-ARC for drawing filled and unfilled arcs.

Rewrite `poll' support to make it conditionalized more cleanly.

Use POLLNORM in preference to POLLIN since the former is supported
more widely.

Fix minor bug in handling of cursor during SCREEN-FORCE-UPDATE.

If the `poll' system call is available, use it in preference to
`select'.  This is needed for HP-UX 10.10 because `select' is broken
in that release.

Add conditionalization to detect versions of HP-UX that supply the
`poll' system call.

Add conditionalization to detect HP-UX version 10.10.

Fix bug that caused RMAIL to signal an error when converting poorly
formed messages to RMAIL format.

Implement "engineering" display mode.

Included "load.scm" in syntax sequence.
Added copyright notice.

Any identifier containing `protect' is no longer exported.

Extend FLONUM-UNPARSER-CUTOFF to allow specification of the display
mode, e.g. SCIENTIFIC or ENGINEERING.

Fix bug: don't enqueue a process in the process-input-queue if it is
already in the queue.  Otherwise, it can easily get entered very many
times: if there is input waiting, and the editor is busy, the process
will be queued as often as the select code can run.

Change mechanism used to open files and sockets, so that interrupts
are enabled during the open.  This is necessary, because any
network-based operation could potentially hang for long periods of
time, and it's desirable for the user to be able to interrupt out of
the operation.

This change requires microcode version 11.154 (or the corresponding
version 13).

In addition to this change, the low-level channel code was changed to
eliminate the now-obsolete gc-daemon interlocking code.

Fix code so that interrupts delivered during socket calls will
deallocated sockets where necessary.

Add code to allow delivery of interrupts during socket-opening system
calls.

Implement new primitives to support new method for opening files and
sockets.  This code is required for runtime version 14.170.

Allow keyboard interrupts while opening sockets.  This is only a
partial solution: there is a small window in which an interrupt can
arrive, leaving the descriptor open but forgotten.

Implement new procedure, like WITHOUT-INTERRUPTS, except that it
allows keyboard interrupts.