mit-scheme.git
38 years agoChange some error messages to go out to stderr.
Chris Hanson [Tue, 21 Apr 1987 15:02:02 +0000 (15:02 +0000)]
Change some error messages to go out to stderr.

38 years agoCause all GCs to return through the return code RC_NORMAL_GC_DONE.
Chris Hanson [Tue, 21 Apr 1987 15:01:18 +0000 (15:01 +0000)]
Cause all GCs to return through the return code RC_NORMAL_GC_DONE.

38 years agoInitialize `GC_Space_Needed' to a reasonable value.
Chris Hanson [Tue, 21 Apr 1987 15:00:46 +0000 (15:00 +0000)]
Initialize `GC_Space_Needed' to a reasonable value.

38 years agoCause all GCs to return through the return code RC_NORMAL_GC_DONE.
Chris Hanson [Tue, 21 Apr 1987 14:54:50 +0000 (14:54 +0000)]
Cause all GCs to return through the return code RC_NORMAL_GC_DONE.

38 years agoDefine new per-combination flag which indicates whether or not the
Chris Hanson [Tue, 21 Apr 1987 14:29:17 +0000 (14:29 +0000)]
Define new per-combination flag which indicates whether or not the
combination has been constant-folded.

38 years agoSolution to constant folding problem is overly conservative. Earlier
Chris Hanson [Tue, 21 Apr 1987 14:23:43 +0000 (14:23 +0000)]
Solution to constant folding problem is overly conservative.  Earlier
change (which guaranteed that the combination-value became unknown
when the operator or operands were) is sufficient.

38 years agoUpdate the version: release.
Guillermo J. Rozas [Mon, 20 Apr 1987 12:30:20 +0000 (12:30 +0000)]
Update the version: release.

38 years agoUpdate the version: release.
Guillermo J. Rozas [Mon, 20 Apr 1987 12:27:22 +0000 (12:27 +0000)]
Update the version: release.

38 years agoWhen building a closure frame, do not attempt to lookup variables
Chris Hanson [Sat, 18 Apr 1987 00:26:35 +0000 (00:26 +0000)]
When building a closure frame, do not attempt to lookup variables
which are integrated, as it will cause an error.  This is probably not
needed given the change which has been made elsewhere which deletes
such variables from the closure block previous to this point.

38 years agoChange the analysis performed to determine whether a variable has been
Chris Hanson [Sat, 18 Apr 1987 00:22:35 +0000 (00:22 +0000)]
Change the analysis performed to determine whether a variable has been
assigned.  Do not treat auxiliary bindings specially, except those
that have been identified as having constant or procedure values.

This unfortunately produces less efficient code, but guarantees that
there will be no troubles with the order of events when creating
closures.

38 years agoIf a combination's value is constant, do not replace it by the
Chris Hanson [Sat, 18 Apr 1987 00:18:35 +0000 (00:18 +0000)]
If a combination's value is constant, do not replace it by the
constant value, because we have no side-effect analyzer to determine
whether that is safe.

38 years ago`goto-command', when selecting a subproblem with no reductions, tried
Chris Hanson [Sat, 18 Apr 1987 00:15:53 +0000 (00:15 +0000)]
`goto-command', when selecting a subproblem with no reductions, tried
to set the reduction number to 1, rather than 0.  This previously
"worked" because

(list-ref '() 1) ==> '()

instead of signalling an error as it now does.

38 years agoAccommodate VMS (bug in VMS 4 scanf).
Guillermo J. Rozas [Fri, 17 Apr 1987 15:56:08 +0000 (15:56 +0000)]
Accommodate VMS (bug in VMS 4 scanf).

38 years ago*** empty log message ***
Chris Hanson [Fri, 17 Apr 1987 10:55:42 +0000 (10:55 +0000)]
*** empty log message ***

38 years agoAdd new rules for cases which arise when dead-code-elimination phase
Chris Hanson [Fri, 17 Apr 1987 10:55:17 +0000 (10:55 +0000)]
Add new rules for cases which arise when dead-code-elimination phase
is not performed.

38 years agoInitial revision
Chris Hanson [Fri, 17 Apr 1987 10:53:25 +0000 (10:53 +0000)]
Initial revision

38 years agoSplit into three files to aid in compilation.
Chris Hanson [Fri, 17 Apr 1987 10:52:41 +0000 (10:52 +0000)]
Split into three files to aid in compilation.

38 years agoTwo bugs:
Chris Hanson [Fri, 17 Apr 1987 10:21:49 +0000 (10:21 +0000)]
Two bugs:

1. When searching the formals list in `extend_frame', the variable
`scan' was not being incremented.

2. The primitive procedure `lexical-unassigned?' should signal an
error if the argument variable is unbound.

38 years agoInitial revision
Chris Hanson [Fri, 17 Apr 1987 08:02:27 +0000 (08:02 +0000)]
Initial revision

38 years agoForgot to add one (for GC header) to vector-ref index when
Chris Hanson [Fri, 17 Apr 1987 07:46:08 +0000 (07:46 +0000)]
Forgot to add one (for GC header) to vector-ref index when
open-coding.

38 years agoExternal primitives are not safe.
Chris Hanson [Fri, 17 Apr 1987 07:38:02 +0000 (07:38 +0000)]
External primitives are not safe.

38 years ago*** empty log message ***
Chris Hanson [Fri, 17 Apr 1987 04:03:23 +0000 (04:03 +0000)]
*** empty log message ***

38 years agoPrim_bit_string_zero_p had 2 as its arity rather than 1, causing the
Chris Hanson [Fri, 17 Apr 1987 03:50:09 +0000 (03:50 +0000)]
Prim_bit_string_zero_p had 2 as its arity rather than 1, causing the
stack to get out of sync.

38 years agoEliminate use of `mapcar', clean up some other things too.
Chris Hanson [Fri, 17 Apr 1987 00:58:33 +0000 (00:58 +0000)]
Eliminate use of `mapcar', clean up some other things too.

38 years agoLoop which was walking around reductions used `eq?' to test for
Chris Hanson [Fri, 17 Apr 1987 00:54:28 +0000 (00:54 +0000)]
Loop which was walking around reductions used `eq?' to test for
termination.  Because the arguments to `eq?' were variables, the
variable lookup code was stripping the danger bits off of the values.
The new microcode does not do this so it was necessary to explicitly
strip the danger bits off in the appropriate places.

38 years agoPatch to accommodate a bug in the 4.2 bsd vax C compiler.
Guillermo J. Rozas [Fri, 17 Apr 1987 00:04:05 +0000 (00:04 +0000)]
Patch to accommodate a bug in the 4.2 bsd vax C compiler.

38 years agoPrimitive-type returns "safe" types.
Guillermo J. Rozas [Thu, 16 Apr 1987 23:20:46 +0000 (23:20 +0000)]
Primitive-type returns "safe" types.

38 years agoEliminate reference to TC_STRING
Guillermo J. Rozas [Thu, 16 Apr 1987 15:30:25 +0000 (15:30 +0000)]
Eliminate reference to TC_STRING

38 years agoDeclare external procedure Make_Prim_Exts.
Guillermo J. Rozas [Thu, 16 Apr 1987 14:35:15 +0000 (14:35 +0000)]
Declare external procedure Make_Prim_Exts.

38 years agoMove Make_Prim_Exts to primutl.c.
Guillermo J. Rozas [Thu, 16 Apr 1987 14:34:28 +0000 (14:34 +0000)]
Move Make_Prim_Exts to primutl.c.

38 years agoMake built-in primitive table be generated automatically.
Guillermo J. Rozas [Thu, 16 Apr 1987 12:21:36 +0000 (12:21 +0000)]
Make built-in primitive table be generated automatically.

38 years agoMake built in primitive tables be generated automatically.
Guillermo J. Rozas [Thu, 16 Apr 1987 02:33:24 +0000 (02:33 +0000)]
Make built in primitive tables be generated automatically.
Attempt to fix OS_read_char_ready on bsd.
Some changes for VMS.

38 years agoMake built in primitive tables be generated automatically.
Guillermo J. Rozas [Thu, 16 Apr 1987 02:08:53 +0000 (02:08 +0000)]
Make built in primitive tables be generated automatically.
Attempt to fix OS_read_char_ready on bsd.
Some changes for VMS.

38 years ago*** empty log message ***
Guillermo J. Rozas [Thu, 16 Apr 1987 02:01:51 +0000 (02:01 +0000)]
*** empty log message ***

38 years agoChange error messages so that error message truncation does not
Chris Hanson [Wed, 15 Apr 1987 05:07:31 +0000 (05:07 +0000)]
Change error messages so that error message truncation does not
discard interesting information.

38 years agoAdd `set-current-history!' to list of unsafe primitives.
Chris Hanson [Mon, 13 Apr 1987 23:59:26 +0000 (23:59 +0000)]
Add `set-current-history!' to list of unsafe primitives.

38 years agoDelete `extended-fixnum' type.
Chris Hanson [Mon, 13 Apr 1987 19:25:31 +0000 (19:25 +0000)]
Delete `extended-fixnum' type.

38 years ago*** empty log message ***
Chris Hanson [Mon, 13 Apr 1987 18:44:18 +0000 (18:44 +0000)]
*** empty log message ***

38 years agoUpdate `object-type' to reflect changes in the type tables.
Chris Hanson [Mon, 13 Apr 1987 18:25:02 +0000 (18:25 +0000)]
Update `object-type' to reflect changes in the type tables.

38 years agoForgot to wrap `fetch' around reference to stack pointer register.
Chris Hanson [Sun, 12 Apr 1987 01:14:46 +0000 (01:14 +0000)]
Forgot to wrap `fetch' around reference to stack pointer register.

38 years agoThere are two kinds of "stack" procedure, which can be distinguished
Chris Hanson [Sun, 12 Apr 1987 00:25:26 +0000 (00:25 +0000)]
There are two kinds of "stack" procedure, which can be distinguished
by whether or not the parent frame of the procedure is a stack frame.
Split these two and handle them separately.  See "emodel" for details
about the new classifications.

38 years agoUse a new version of GNU Emacs's unexec, and make it work on Suns.
Guillermo J. Rozas [Sat, 11 Apr 1987 16:05:19 +0000 (16:05 +0000)]
Use a new version of GNU Emacs's unexec, and make it work on Suns.

38 years agoUse a newer version from GNU Emacs.
Guillermo J. Rozas [Sat, 11 Apr 1987 15:17:52 +0000 (15:17 +0000)]
Use a newer version from GNU Emacs.

38 years agoThe encore's cpp doesn't like => in strings.
Guillermo J. Rozas [Sat, 11 Apr 1987 15:17:09 +0000 (15:17 +0000)]
The encore's cpp doesn't like => in strings.

38 years agoBetter conditionalization for dumpworld.
Guillermo J. Rozas [Sat, 11 Apr 1987 15:08:34 +0000 (15:08 +0000)]
Better conditionalization for dumpworld.

38 years ago*** empty log message ***
Guillermo J. Rozas [Sat, 11 Apr 1987 14:44:10 +0000 (14:44 +0000)]
*** empty log message ***

38 years agoVarious changes to make it run on the hp9000s500.
Guillermo J. Rozas [Thu, 9 Apr 1987 21:04:55 +0000 (21:04 +0000)]
Various changes to make it run on the hp9000s500.

38 years agoAdd sun3 support.
Guillermo J. Rozas [Thu, 9 Apr 1987 15:59:37 +0000 (15:59 +0000)]
Add sun3 support.

38 years agoFix casting bug which prevented it from compiling on the hp9000s500.
Guillermo J. Rozas [Wed, 8 Apr 1987 12:25:57 +0000 (12:25 +0000)]
Fix casting bug which prevented it from compiling on the hp9000s500.

38 years agoThe 500's compiler complains if a (bigdigit *) is not cast to
Guillermo J. Rozas [Tue, 7 Apr 1987 16:58:25 +0000 (16:58 +0000)]
The 500's compiler complains if a (bigdigit *) is not cast to
(Pointer *) before using Make_Pointer on it.

38 years agoChange in lookup because of vax compiler bug, and fix of poetential
Guillermo J. Rozas [Mon, 6 Apr 1987 12:50:19 +0000 (12:50 +0000)]
Change in lookup because of vax compiler bug, and fix of poetential
bug in bignums.

38 years agoFix potential bug in Big_To_Fix.
Guillermo J. Rozas [Mon, 6 Apr 1987 12:49:05 +0000 (12:49 +0000)]
Fix potential bug in Big_To_Fix.

38 years agoMacroize ILLEGAL_OBJECT becuase of compiler bug on the vax.
Guillermo J. Rozas [Mon, 6 Apr 1987 11:03:21 +0000 (11:03 +0000)]
Macroize ILLEGAL_OBJECT becuase of compiler bug on the vax.

38 years agoChanges to match the rewrite of the variable lookup code in the
Guillermo J. Rozas [Fri, 3 Apr 1987 00:53:27 +0000 (00:53 +0000)]
Changes to match the rewrite of the variable lookup code in the
microcode and a few minor bug fixes.

38 years agoRewrite of the variable lookup code and slight tuning of the interpreter.
Guillermo J. Rozas [Fri, 3 Apr 1987 00:48:04 +0000 (00:48 +0000)]
Rewrite of the variable lookup code and slight tuning of the interpreter.

38 years agoRewrite of variable lookup code and some tuning of the interpreter.
Guillermo J. Rozas [Fri, 3 Apr 1987 00:23:01 +0000 (00:23 +0000)]
Rewrite of variable lookup code and some tuning of the interpreter.

38 years agoInitial revision
Chris Hanson [Sat, 21 Mar 1987 00:23:49 +0000 (00:23 +0000)]
Initial revision

38 years agoChange semantics of procedure's name so that it is not considered to
Chris Hanson [Fri, 20 Mar 1987 23:50:32 +0000 (23:50 +0000)]
Change semantics of procedure's name so that it is not considered to
be a bound variable.

38 years agoLoad `macros' into the correct package.
Chris Hanson [Fri, 20 Mar 1987 05:29:33 +0000 (05:29 +0000)]
Load `macros' into the correct package.

Implement changes to close mutually-recursive procedures correctly.

38 years agoAdd some more scode operations.
Chris Hanson [Fri, 20 Mar 1987 05:26:32 +0000 (05:26 +0000)]
Add some more scode operations.

38 years agoGenerate internal definitions differently. Now the procedure keeps
Chris Hanson [Fri, 20 Mar 1987 05:25:58 +0000 (05:25 +0000)]
Generate internal definitions differently.  Now the procedure keeps
track of mutually-recursive internal definitions, which must have
their closure frames specially constructed in case there are cycles in
the environment/procedure graph.

38 years agoAdd a rule which implements consing of unassigned objects.
Chris Hanson [Fri, 20 Mar 1987 05:16:16 +0000 (05:16 +0000)]
Add a rule which implements consing of unassigned objects.

38 years agoFor interpreter calls, all pseudo registers are assumed to be pushed
Chris Hanson [Fri, 20 Mar 1987 05:14:46 +0000 (05:14 +0000)]
For interpreter calls, all pseudo registers are assumed to be pushed
on the stack, and must therefore contain Scheme objects.  When one of
these operations is encountered, invalidate all expressions whose
values are not objects.

38 years agoAdd `expression-not-object?', which is true of any expression whose
Chris Hanson [Fri, 20 Mar 1987 05:12:44 +0000 (05:12 +0000)]
Add `expression-not-object?', which is true of any expression whose
result is not a Scheme object.

38 years agoDefinitions are side-effects to the variable also.
Chris Hanson [Thu, 19 Mar 1987 23:11:10 +0000 (23:11 +0000)]
Definitions are side-effects to the variable also.

38 years agoKeep track of the number of side-effects to a variable. Somehow this
Chris Hanson [Thu, 19 Mar 1987 23:06:16 +0000 (23:06 +0000)]
Keep track of the number of side-effects to a variable.  Somehow this
code was lost.

38 years agoDo something reasonable if the externs file does not exist.
Chris Hanson [Thu, 19 Mar 1987 17:23:08 +0000 (17:23 +0000)]
Do something reasonable if the externs file does not exist.

38 years agoThe `integrate-primitive-procedures' declaration was looking up the
Chris Hanson [Thu, 19 Mar 1987 17:19:06 +0000 (17:19 +0000)]
The `integrate-primitive-procedures' declaration was looking up the
name twice, resulting in a variable whose name was another variable.

38 years agoReorganize code for new directory structure. Break some large useful
Chris Hanson [Thu, 19 Mar 1987 00:56:02 +0000 (00:56 +0000)]
Reorganize code for new directory structure.  Break some large useful
files into smaller ones that can be compiled.  Delete all
`using-syntax' occurrences and `Edwin Variables'.

38 years agoInitial revision
Chris Hanson [Thu, 19 Mar 1987 00:49:12 +0000 (00:49 +0000)]
Initial revision

38 years agoReorganize code for new directory structure. Break some large useful
Chris Hanson [Thu, 19 Mar 1987 00:34:49 +0000 (00:34 +0000)]
Reorganize code for new directory structure.  Break some large useful
files into smaller ones that can be compiled.  Delete all
`using-syntax' occurrences and `Edwin Variables'.

38 years agoThe info stored in operations is 2-valued and must be separated into
Chris Hanson [Wed, 18 Mar 1987 22:51:09 +0000 (22:51 +0000)]
The info stored in operations is 2-valued and must be separated into
its components before being changed to the external representation.

38 years agoMaking suspend-world reset! the primitive io system on restart.
Guillermo J. Rozas [Wed, 18 Mar 1987 20:07:23 +0000 (20:07 +0000)]
Making suspend-world reset! the primitive io system on restart.

38 years agoAdding reset! to primitive io for the benefit of disk-restore.
Guillermo J. Rozas [Wed, 18 Mar 1987 20:05:36 +0000 (20:05 +0000)]
Adding reset! to primitive io for the benefit of disk-restore.

38 years agoChange runtime system so that a lambda's name is not considered a
Chris Hanson [Tue, 17 Mar 1987 18:55:18 +0000 (18:55 +0000)]
Change runtime system so that a lambda's name is not considered a
bound variable.  Eliminate all references to `#!false' and `#!true'.
Eliminate `canonicalize-filename-string', since pathname parsing is
now system-dependent.  Install new quasiquote expander which does
vectors.  Teach `eqv?' to handle null length vectors.  Eliminate
`make-package' special form.

38 years agoExterns files now are dumped in an internal form rather than by
Chris Hanson [Fri, 13 Mar 1987 04:14:48 +0000 (04:14 +0000)]
Externs files now are dumped in an internal form rather than by
converting them to SCode first.  This speeds up the process of
re-interning them.

Also, `sf' now maintains a database which allows the user to
programmatically specify syntax table and global declarations on a
per-filename basis.  This is used to eliminate `using-syntax' and
`integrate-external' occurrences in each file.

38 years agoAdd RELOAD-BAND-NAME.
Guillermo J. Rozas [Thu, 12 Mar 1987 17:48:32 +0000 (17:48 +0000)]
Add RELOAD-BAND-NAME.

38 years agoRemove compatibility with older versions of fasl files.
Guillermo J. Rozas [Thu, 12 Mar 1987 14:52:23 +0000 (14:52 +0000)]
Remove compatibility with older versions of fasl files.

38 years agoRename read-char-ready? to char-ready? as required by R^3RS.
Guillermo J. Rozas [Thu, 12 Mar 1987 02:20:33 +0000 (02:20 +0000)]
Rename read-char-ready? to char-ready? as required by R^3RS.

38 years agoAdd init file.
Guillermo J. Rozas [Thu, 12 Mar 1987 02:19:48 +0000 (02:19 +0000)]
Add init file.

38 years agoInitial revision
Guillermo J. Rozas [Thu, 12 Mar 1987 02:16:51 +0000 (02:16 +0000)]
Initial revision

38 years agoSplit pathnm.scm into OS independent and OS dependent part for
Guillermo J. Rozas [Thu, 12 Mar 1987 02:16:14 +0000 (02:16 +0000)]
Split pathnm.scm into OS independent and OS dependent part for
portability.

38 years agoOS_tty_tyi now returns ints.
Guillermo J. Rozas [Wed, 11 Mar 1987 07:37:06 +0000 (07:37 +0000)]
OS_tty_tyi now returns ints.

38 years agoEliminate some fossil primitives from io.c
Guillermo J. Rozas [Wed, 11 Mar 1987 07:33:51 +0000 (07:33 +0000)]
Eliminate some fossil primitives from io.c

38 years agoUpdate unknown.c, flush fossil io.c and minor OS changes.
Guillermo J. Rozas [Wed, 11 Mar 1987 07:32:56 +0000 (07:32 +0000)]
Update unknown.c, flush fossil io.c and minor OS changes.

38 years agoAdd integrate-external declaration.
Chris Hanson [Tue, 10 Mar 1987 14:58:01 +0000 (14:58 +0000)]
Add integrate-external declaration.

38 years agoChanges to unix.c and vms.c
Guillermo J. Rozas [Tue, 10 Mar 1987 14:14:11 +0000 (14:14 +0000)]
Changes to unix.c and vms.c

38 years agoEliminate references to "beta".
Chris Hanson [Tue, 10 Mar 1987 13:36:06 +0000 (13:36 +0000)]
Eliminate references to "beta".

38 years ago*** empty log message ***
Chris Hanson [Tue, 10 Mar 1987 13:25:33 +0000 (13:25 +0000)]
*** empty log message ***

38 years agoMake the microcode work on the Vax.
Guillermo J. Rozas [Mon, 9 Mar 1987 23:31:19 +0000 (23:31 +0000)]
Make the microcode work on the Vax.

38 years agoOops... losing typo.
Chris Hanson [Mon, 9 Mar 1987 16:02:18 +0000 (16:02 +0000)]
Oops... losing typo.

38 years agoChange to use named slots for microcode-identification table.
Chris Hanson [Mon, 9 Mar 1987 15:00:25 +0000 (15:00 +0000)]
Change to use named slots for microcode-identification table.

38 years agoAdd new microcode table: Identification_Vector.
Chris Hanson [Mon, 9 Mar 1987 14:45:18 +0000 (14:45 +0000)]
Add new microcode table: Identification_Vector.

38 years agoAdd new entries to ID vector: OS name and OS variant.
Chris Hanson [Mon, 9 Mar 1987 14:24:40 +0000 (14:24 +0000)]
Add new entries to ID vector: OS name and OS variant.

38 years agoWhen doing (read-char) from the terminal, check for any characters in
Chris Hanson [Sat, 7 Mar 1987 17:36:00 +0000 (17:36 +0000)]
When doing (read-char) from the terminal, check for any characters in
the input buffer before asking Emacs to read one.

38 years agoFix read-char-ready? for hpux.
Chris Hanson [Sat, 7 Mar 1987 11:44:20 +0000 (11:44 +0000)]
Fix read-char-ready? for hpux.

38 years agoChange error signalling of declaration processing procedures so that
Chris Hanson [Fri, 27 Feb 1987 21:59:36 +0000 (21:59 +0000)]
Change error signalling of declaration processing procedures so that
they can be called from outside of the syntaxer.

38 years agoChange SCode variable objects to unparse their name as an object
Chris Hanson [Fri, 20 Feb 1987 13:49:28 +0000 (13:49 +0000)]
Change SCode variable objects to unparse their name as an object
rather than a symbol, so as to distinguish between uninterned and
interned symbols.

38 years agoAdd a -utabmd command line option to Scheme.
Guillermo J. Rozas [Sun, 15 Feb 1987 16:10:52 +0000 (16:10 +0000)]
Add a -utabmd command line option to Scheme.

38 years agoChange name of `compilable-primitive-functions' and
Chris Hanson [Sun, 15 Feb 1987 15:46:23 +0000 (15:46 +0000)]
Change name of `compilable-primitive-functions' and
`compilable-primitive-variables' to be
`integrate-primitive-procedures'.