mit-scheme.git
14 years agoMake makegen/m4.sh report m4 failure by returning 1.
Taylor R Campbell [Sat, 17 Apr 2010 05:28:16 +0000 (01:28 -0400)]
Make makegen/m4.sh report m4 failure by returning 1.

Previously, the return code of m4 was totally ignored, because it was
invoked only in a pipeline not at the end.  Because of brain damage
in shell script, we have to use a temporary file to let the subshell
in which we run m4 report the failure to the script so that the
script can know to return 1.

14 years agoIf native code is enabled, check for m4 in microcode/configure.
Taylor R Campbell [Sat, 17 Apr 2010 05:25:45 +0000 (01:25 -0400)]
If native code is enabled, check for m4 in microcode/configure.

14 years agoTrack the line count when reading.
Joe Marshall [Wed, 24 Mar 2010 16:27:16 +0000 (09:27 -0700)]
Track the line count when reading.

14 years agoNew input port operation 'INPUT-LINE.
Joe Marshall [Wed, 24 Mar 2010 16:14:10 +0000 (09:14 -0700)]
New input port operation 'INPUT-LINE.

14 years agoChange %d to %ld for pointer diffs without C99.
Chris Hanson [Mon, 22 Mar 2010 21:40:36 +0000 (14:40 -0700)]
Change %d to %ld for pointer diffs without C99.

14 years agoUse %td only if C99 is supported.
Chris Hanson [Mon, 22 Mar 2010 07:14:05 +0000 (00:14 -0700)]
Use %td only if C99 is supported.

14 years agoDetect whether C99 is supported.
Chris Hanson [Mon, 22 Mar 2010 07:13:41 +0000 (00:13 -0700)]
Detect whether C99 is supported.

14 years agoPruned too much from src/microcode/option.c.
Matt Birkholz [Mon, 22 Mar 2010 02:38:41 +0000 (19:38 -0700)]
Pruned too much from src/microcode/option.c.

* src/microcode/option.c (add_to_library_path, quote_string)
(strlen_after_quoting, must_quote_char_p): Restored inside #ifdef
__APPLE__.

14 years agoUse %td, not %d, to format ptrdiff_t values with printf.
Taylor R Campbell [Sun, 21 Mar 2010 19:29:07 +0000 (15:29 -0400)]
Use %td, not %d, to format ptrdiff_t values with printf.

14 years agoFix recent change to xwindow extra structures.
Taylor R Campbell [Sun, 21 Mar 2010 19:27:22 +0000 (15:27 -0400)]
Fix recent change to xwindow extra structures.

14 years agoFix unary predicate assembly hooks for flonums on x86-64.
Taylor R Campbell [Sun, 21 Mar 2010 16:35:19 +0000 (12:35 -0400)]
Fix unary predicate assembly hooks for flonums on x86-64.

14 years agoHandle non-character input events in READ-EXTENSION-KEY.
Taylor R Campbell [Sun, 21 Mar 2010 16:09:45 +0000 (12:09 -0400)]
Handle non-character input events in READ-EXTENSION-KEY.

14 years agoGot the (incomplete) svm1 back end complete enough to generate LAP.
Matt Birkholz [Sat, 20 Mar 2010 20:45:04 +0000 (13:45 -0700)]
Got the (incomplete) svm1 back end complete enough to generate LAP.

* src/Makefile.in (all-svm): New target, analogous to all-liarc.

* src/compiler/configure: Added make.bin to LINKS, so a purely
interpreted compiler can be loaded.

* src/compiler/machines/svm/assembler-compiler.scm
(write-copyright+license):  Punted.

(rt-defn-decoder-constructor): Removed leftover references to
coding-type, which became an implicit rt-coding-type parameter.

* src/compiler/machines/svm/assembler-runtime.scm
(init-assembler-instructions!): New skeleton.  Error actions.

(make-symbol-table): Renamed "make-typed-symbol-table", to keep it
distinct from back/symtab.scm's "symbol-table", which is used by the
assembler top-level (back/bittop.scm, back/bitutl.scm).

(Assembler Machine Dependencies): New.  Just the required (per CREF
analysis) bindings, pilfered from i386/assmd.scm.

(Instructions, Memory addressing, Traps, Machine registers): Removed
to machine.scm.

(Register references): Removed to lapgen.scm, except
word-register-reference? and float-register-reference?.  Then had to
copy register-reference?, and import register-reference AND
reference->register.

(Symbolic addresses): Commented out for now.

* src/compiler/machines/svm/compile-assembler.scm: Punt loading
write-mit-scheme-copyright from ../../../runtime/version, and the
commented out LAP macrology.

* src/compiler/machines/svm/compiler.pkg (compiler lap-syntaxer):
Include CREF, for decls.scm.  Moved assembler-runtime.scm,
assembler-db.scm, and svm1-opcodes.scm to (compiler assembler).

(compiler assembler): Added back/symtab.scm to complete the
machine-independent assembler top-level.  Import from (compiler
lap-syntaxer) some of the register-reference procedures that just
moved to lapgen.scm.  Import add-instruction!.

* src/compiler/machines/svm/compiler.sf: Load option SF.  This file is
intended to run in a band withOUT an existing (compiler) package.

* src/compiler/machines/svm/decls.scm (init-packages): No longer used.

(setup-source-nodes! env): Typo.

* src/compiler/machines/svm/disassembler.scm: For now a no-op.
Deleted the code copied verbatim from i386/dassm1.scm.

* src/compiler/machines/svm/lapgen.scm (available-machine-registers):
New.

(Register references): New from assembler-runtime.
(register-reference): Fixed to include the
un-available-machine-registers.

(rref:word-0, etc.): New.

(make-internal-procedure-label): Fixed to use new
encode-internal-procedure-offset.
(encode-internal-procedure-offset): New.  Copied from
encode-continuation-offset.

(invert-condition): Make conditions a proper alist.

(interpreter-call-argument?, interpreter-call-temporary)
(rtl:simple-offset?, simple-offset->ea!): New from i386, like
interpreter-call-argument->machine-register!, BUT uses
prefix-instructions!, if necessary, and a temporary which, with Good
Luck, will use the same alias as the argument.

(parse-memory-address): Fixed to avoid thinking (un-thunking?) #f.

* src/compiler/machines/svm/lapopt.scm (optimize-linear-lap): Now a
no-op.  Deleted the code copied verbatim from i386/lapopt, i.e. all of
it.

* src/compiler/machines/svm/machine.scm (Architecture Parameters):
Needed endianness, scheme-datum-width, and some *-fixnum/*-limit
bindings.

(Instructions, Memory addressing, Traps, Machine registers): New from
assembler-runtime.scm.  This makes the regnum:*, inst:*, trap:* and
ea:* bindings available to (compiler lap-syntaxer) AND (compiler
lap-optimizer), assuming the latter eventually wants to generate some
LAP, as in other back-ends.

(interpreter-register:environment, etc.): New from i386.

(define-machine-register): Closing the syntactic environment around
e.g., interpreter-value-register, causes it to be renamed.  Generate
defines with bare symbols for binding names.

(interpreter-regs-pointer?, interpreter-regs-pointer): New.  No-ops.

(rtl:machine-register?): Map ALL registers, including dynamic-link,
environment, and all of the interpreter-call-result: registers.

(Closure format): Added a closure-entry-size binding, as in other
architectures, a reflection of CLOSURE_ENTRY_SIZE in
microcode/cmpintmd/svm1.h.

* src/compiler/machines/svm/make.scm: New.  Cribbed from i386.

* src/compiler/machines/svm/rgspcm.scm: Typo.

* src/compiler/machines/svm/rules.scm: Fixed some typos, e.g. source
vs. target, trap:[compiler-]lexpr-apply, etc.  Added a few rules for
CONSTANTs and CONS-POINTERs.  Expect just an effective address from
parse-memory-address.

(interrupt-check): Punted, along with shared closure interrupt code.
simple-procedure-header only needs to generate an interrupt-test-*
instruction.

(generate/cons-closure, generate/cons-multi-closure): Replaced the old
i386 code.

(generate/closure-header): Replaced the old i386 code.  Use
simple-procedure-header.

(generate/make-magic-closure-constant, make-closure-longword)
(make-closure-code-longword): Punted.  Compiled closure entries do not
even have a format word!

(CONS-MULTICLOSURE, generate/quotation-header, generate/remote-link)
(generate/remote-links): Replaced the old i386 code.

(generate/constants-block): Finished skeletal code.

(INTERPRETER-CALL:): Provide interpreter-call-temporary argument to
the trap:* instructions.

(integer-power-of-2?): Added, for FIXNUM-2-ARGS.

* src/configure.ac (ALL_TARGET): Set to "all-svm".

* src/etc/compile-svm.sh: New.

* src/microcode/cmpintmd/svm1.c, svm1.h: Extern read_u16, for
svm1-interp.

* src/microcode/option.c (add_to_library_path, quote_string)
(strlen_after_quoting, must_quote_char_p): Removed.  No longer in use.

* src/microcode/svm1-interp.c (enter_closure): Use CLOSURE_COUNT_SIZE,
CLOSURE_ENTRY_SIZE, skip_compiled_closure_padding and read_u16.  This
makes enter_closure look like the other closure handling procedures in
cmpintmd/svm1.c.

14 years agoAvoid 122 warnings from gcc4.4: dereferencing type-punned pointer will break strict...
Matt Birkholz [Thu, 18 Mar 2010 19:47:30 +0000 (12:47 -0700)]
Avoid 122 warnings from gcc4.4: dereferencing type-punned pointer will break strict-aliasing rules

14 years agoBetter handling of keywords so escaping works correctly.
Joe Marshall [Wed, 17 Mar 2010 09:45:31 +0000 (02:45 -0700)]
Better handling of keywords so escaping works correctly.

14 years agoReduce flag options to 'PREFIX, 'SUFFIX, or #F
Joe Marshall [Wed, 17 Mar 2010 09:42:43 +0000 (02:42 -0700)]
Reduce flag options to 'PREFIX, 'SUFFIX, or #F

14 years agoRemove trailing whitespace.
Chris Hanson [Wed, 17 Mar 2010 07:40:24 +0000 (00:40 -0700)]
Remove trailing whitespace.

14 years agoFix over-long lines; remove trailing whitespace.
Chris Hanson [Wed, 17 Mar 2010 07:24:51 +0000 (00:24 -0700)]
Fix over-long lines; remove trailing whitespace.

14 years agoExport guarantee-*-lambda-list.
Chris Hanson [Wed, 17 Mar 2010 06:50:31 +0000 (23:50 -0700)]
Export guarantee-*-lambda-list.

14 years agoParse keywords based on value of *keyword-style*.
Joe Marshall [Mon, 15 Mar 2010 21:29:28 +0000 (14:29 -0700)]
Parse keywords based on value of *keyword-style*.

14 years agoImplement keyword objects.
Joe Marshall [Mon, 15 Mar 2010 20:15:01 +0000 (13:15 -0700)]
Implement keyword objects.

14 years agoAdd support for quoting keyword-like symbols.
Joe Marshall [Mon, 15 Mar 2010 19:26:46 +0000 (12:26 -0700)]
Add support for quoting keyword-like symbols.

14 years agoAvoid constructing sequence-3 objects.
Joe Marshall [Mon, 15 Mar 2010 02:18:15 +0000 (19:18 -0700)]
Avoid constructing sequence-3 objects.

14 years agoConstruct open-blocks from sequence-2.
Joe Marshall [Mon, 15 Mar 2010 02:11:27 +0000 (19:11 -0700)]
Construct open-blocks from sequence-2.

14 years agoRecognize open-blocks even if they appear in a sequence-2.
Joe Marshall [Mon, 15 Mar 2010 02:04:47 +0000 (19:04 -0700)]
Recognize open-blocks even if they appear in a sequence-2.

14 years agoDon't track invocation count on variables.
Joe Marshall [Sun, 14 Mar 2010 22:45:36 +0000 (15:45 -0700)]
Don't track invocation count on variables.

14 years agoInsert integrate-operator declarations when reasonable.
Joe Marshall [Sun, 14 Mar 2010 22:37:05 +0000 (15:37 -0700)]
Insert integrate-operator declarations when reasonable.

14 years agoExport expression/free-variable-info and expression/size.
Joe Marshall [Sun, 14 Mar 2010 22:34:52 +0000 (15:34 -0700)]
Export expression/free-variable-info and expression/size.

14 years agoAdd expression/free-variable-info and expression/size.
Joe Marshall [Sun, 14 Mar 2010 22:34:08 +0000 (15:34 -0700)]
Add expression/free-variable-info and expression/size.

14 years agoFixup sequences, simplify some code, rewrite conditionals whose predicates are sequences.
Joe Marshall [Sat, 13 Mar 2010 23:47:17 +0000 (15:47 -0800)]
Fixup sequences, simplify some code, rewrite conditionals whose predicates are sequences.

14 years agoTidy up and simplify conditional/disjunction optimization.
Joe Marshall [Sat, 13 Mar 2010 19:44:09 +0000 (11:44 -0800)]
Tidy up and simplify conditional/disjunction optimization.

14 years agoAdd sf:enable-safe-integration?
Joe Marshall [Sat, 13 Mar 2010 00:42:23 +0000 (16:42 -0800)]
Add sf:enable-safe-integration?

14 years agoTidy up.
Joe Marshall [Sat, 13 Mar 2010 00:16:24 +0000 (16:16 -0800)]
Tidy up.

14 years agoAdd a declaration.
Joe Marshall [Fri, 12 Mar 2010 23:44:17 +0000 (15:44 -0800)]
Add a declaration.

14 years agoAdd expressions/equal?
Joe Marshall [Fri, 12 Mar 2010 01:52:24 +0000 (17:52 -0800)]
Add expressions/equal?

14 years agoExport sf:maximum-duplicate-expression-size and sf:enable-true-unspecific? to global.
Joe Marshall [Wed, 10 Mar 2010 22:01:15 +0000 (14:01 -0800)]
Export sf:maximum-duplicate-expression-size and sf:enable-true-unspecific? to global.

14 years agoRemove some debugging noise.
Joe Marshall [Wed, 10 Mar 2010 21:35:53 +0000 (13:35 -0800)]
Remove some debugging noise.

14 years agoMerge branch 'master' of ssh://git.savannah.gnu.org/srv/git/mit-scheme
Joe Marshall [Wed, 10 Mar 2010 21:20:14 +0000 (13:20 -0800)]
Merge branch 'master' of ssh://git.savannah.gnu.org/srv/git/mit-scheme

14 years agoFix typos in open-block analyzers.
Joe Marshall [Wed, 10 Mar 2010 21:19:20 +0000 (13:19 -0800)]
Fix typos in open-block analyzers.

14 years agoMerge branch 'release-9.0'
Chris Hanson [Wed, 10 Mar 2010 05:46:04 +0000 (21:46 -0800)]
Merge branch 'release-9.0'

14 years agoAdjust for new location of "all.com" file. origin/release-9.0
Chris Hanson [Wed, 10 Mar 2010 05:45:54 +0000 (21:45 -0800)]
Adjust for new location of "all.com" file.

14 years agoMerge branch 'release-9.0'
Chris Hanson [Wed, 10 Mar 2010 05:40:58 +0000 (21:40 -0800)]
Merge branch 'release-9.0'

14 years agoChange script to work properly with distributed binary tars.
Chris Hanson [Wed, 10 Mar 2010 05:40:41 +0000 (21:40 -0800)]
Change script to work properly with distributed binary tars.

14 years agoClean out lib/lib dir.
Chris Hanson [Wed, 10 Mar 2010 05:36:24 +0000 (21:36 -0800)]
Clean out lib/lib dir.

14 years agoMake sure band is saved in correct location.
Chris Hanson [Wed, 10 Mar 2010 05:27:53 +0000 (21:27 -0800)]
Make sure band is saved in correct location.

14 years agoMerge with release-9.0 branch.
Chris Hanson [Wed, 10 Mar 2010 05:16:06 +0000 (21:16 -0800)]
Merge with release-9.0 branch.

14 years agoBump version number.
Chris Hanson [Wed, 10 Mar 2010 05:14:24 +0000 (21:14 -0800)]
Bump version number.

14 years agoUpdate for release 9.0.
unknown [Sun, 7 Mar 2010 08:37:51 +0000 (00:37 -0800)]
Update for release 9.0.

14 years agoMerge branch 'release-9.0'
Chris Hanson [Wed, 10 Mar 2010 04:53:45 +0000 (20:53 -0800)]
Merge branch 'release-9.0'

14 years agoUpdate ref manual for release.
Chris Hanson [Wed, 10 Mar 2010 02:28:15 +0000 (18:28 -0800)]
Update ref manual for release.

14 years agoImplement quoting to enable use of colon in directory pathnames.
Chris Hanson [Mon, 8 Mar 2010 05:27:04 +0000 (21:27 -0800)]
Implement quoting to enable use of colon in directory pathnames.

14 years agoBump version number to 9.0.1.
Chris Hanson [Wed, 10 Mar 2010 01:29:09 +0000 (17:29 -0800)]
Bump version number to 9.0.1.

14 years agoDisable --enable-host-scheme-test by default.
Chris Hanson [Wed, 10 Mar 2010 01:28:52 +0000 (17:28 -0800)]
Disable --enable-host-scheme-test by default.

14 years agoExpander for NOT.
Joe Marshall [Tue, 9 Mar 2010 21:38:57 +0000 (13:38 -0800)]
Expander for NOT.

14 years agoAdd sf:enable-rewrite-nested-conditionals?
Joe Marshall [Mon, 8 Mar 2010 22:35:08 +0000 (14:35 -0800)]
Add sf:enable-rewrite-nested-conditionals?

14 years agoAdd sf:rewrite-disjunction-in-conditional.
Joe Marshall [Mon, 8 Mar 2010 21:56:26 +0000 (13:56 -0800)]
Add sf:rewrite-disjunction-in-conditional.

14 years agoFixup disjunction integration.
Joe Marshall [Mon, 8 Mar 2010 21:42:00 +0000 (13:42 -0800)]
Fixup disjunction integration.

14 years agoFixup conditional and disjunction construction.
Joe Marshall [Mon, 8 Mar 2010 21:09:21 +0000 (13:09 -0800)]
Fixup conditional and disjunction construction.

14 years agoTurn off sf:enable-true-unspecific?
Joe Marshall [Mon, 8 Mar 2010 21:09:02 +0000 (13:09 -0800)]
Turn off sf:enable-true-unspecific?

14 years agoMove EXPRESSION/UNSPECIFIC?, add EXPRESSION/PURE-TRUE? and EXPRESSION/PURE-FALSE?
Joe Marshall [Mon, 8 Mar 2010 20:46:02 +0000 (12:46 -0800)]
Move EXPRESSION/UNSPECIFIC?, add EXPRESSION/PURE-TRUE? and EXPRESSION/PURE-FALSE?

14 years agoMove several routines from object.scm to analyze.scm and rewrite using dispatch-vecto...
Joe Marshall [Mon, 8 Mar 2010 20:32:20 +0000 (12:32 -0800)]
Move several routines from object.scm to analyze.scm and rewrite using dispatch-vector mechanism.

14 years agoRename VARIABLE/FREE-IN-EXPRESSION? to EXPRESSION/FREE-VARIABLE?
Joe Marshall [Mon, 8 Mar 2010 20:03:48 +0000 (12:03 -0800)]
Rename VARIABLE/FREE-IN-EXPRESSION? to EXPRESSION/FREE-VARIABLE?

14 years agoChange FREE/EXPRESSION to EXPRESSION/FREE-VARIABLES.
Joe Marshall [Mon, 8 Mar 2010 19:47:14 +0000 (11:47 -0800)]
Change FREE/EXPRESSION to EXPRESSION/FREE-VARIABLES.

14 years agoChange file for package (scode-optimizer free)
Joe Marshall [Mon, 8 Mar 2010 19:31:23 +0000 (11:31 -0800)]
Change file for package (scode-optimizer free)

14 years agoRename free.scm to analyze.scm before adding more stuff.
Joe Marshall [Mon, 8 Mar 2010 19:29:48 +0000 (11:29 -0800)]
Rename free.scm to analyze.scm before adding more stuff.

14 years agoImplement quoting to enable use of colon in directory pathnames.
Chris Hanson [Mon, 8 Mar 2010 05:27:04 +0000 (21:27 -0800)]
Implement quoting to enable use of colon in directory pathnames.

14 years agoFix typo in LENGTH=?.
Taylor R Campbell [Sun, 7 Mar 2010 21:21:50 +0000 (16:21 -0500)]
Fix typo in LENGTH=?.

14 years agoFix some typos in recent changes to SF.
Taylor R Campbell [Sun, 7 Mar 2010 21:04:01 +0000 (16:04 -0500)]
Fix some typos in recent changes to SF.

Thanks, mejja.

14 years agoMerge branch 'release-9.0'
Chris Hanson [Sun, 7 Mar 2010 09:49:52 +0000 (01:49 -0800)]
Merge branch 'release-9.0'

14 years agoDescribe how to build a Windows executable installer.
Chris Hanson [Sun, 7 Mar 2010 08:43:57 +0000 (00:43 -0800)]
Describe how to build a Windows executable installer.

14 years agoUpdate for release 9.0.
unknown [Sun, 7 Mar 2010 08:37:51 +0000 (00:37 -0800)]
Update for release 9.0.

14 years agoFix typos.
Chris Hanson [Sun, 7 Mar 2010 07:30:04 +0000 (23:30 -0800)]
Fix typos.

14 years agoDo just one arch at a time.
Chris Hanson [Sun, 7 Mar 2010 07:29:53 +0000 (23:29 -0800)]
Do just one arch at a time.

14 years agoMore changes for new distrib scheme.
Chris Hanson [Sun, 7 Mar 2010 07:11:09 +0000 (23:11 -0800)]
More changes for new distrib scheme.

14 years agoNew script.
Chris Hanson [Sun, 7 Mar 2010 07:09:58 +0000 (23:09 -0800)]
New script.

14 years agoUpdate for release 9.0.
Chris Hanson [Sun, 7 Mar 2010 06:51:46 +0000 (22:51 -0800)]
Update for release 9.0.

14 years agoUpdates for new binary distribution scheme.
Chris Hanson [Sun, 7 Mar 2010 05:38:57 +0000 (21:38 -0800)]
Updates for new binary distribution scheme.

14 years agoFix (CHAR-SET->REGEXP (CHAR-SET <char>)).
Taylor R Campbell [Sat, 6 Mar 2010 20:32:27 +0000 (15:32 -0500)]
Fix (CHAR-SET->REGEXP (CHAR-SET <char>)).

Factor LET binding in RE-QUOTE-STRING's definition to the top level.
Perhaps CHAR-SET:RE-SPECIAL ought to be exported.

14 years agoOmit vestige of --enable-static-libs from microcode/configure.ac.
Taylor R Campbell [Sat, 6 Mar 2010 20:08:39 +0000 (15:08 -0500)]
Omit vestige of --enable-static-libs from microcode/configure.ac.

14 years agoWrite FOO, not SIGFOO, with `trap' in microcode/makegen/makeinit.sh.
Taylor R Campbell [Sat, 6 Mar 2010 20:04:13 +0000 (15:04 -0500)]
Write FOO, not SIGFOO, with `trap' in microcode/makegen/makeinit.sh.

14 years agoAdd code for rewriting disjunctions where the predicate is a conditional.
Joe Marshall [Wed, 3 Mar 2010 20:07:17 +0000 (12:07 -0800)]
Add code for rewriting disjunctions where the predicate is a conditional.

14 years agoMove disjunction linearization, propagate conditional value in alternative branch.
Joe Marshall [Wed, 3 Mar 2010 16:19:50 +0000 (08:19 -0800)]
Move disjunction linearization, propagate conditional value in alternative branch.

14 years agoIntegrate GUARANTEE-STRING.
Joe Marshall [Wed, 3 Mar 2010 15:52:43 +0000 (07:52 -0800)]
Integrate GUARANTEE-STRING.

14 years agoMove conditional and disjunction folding and inversion to subst.scm
Joe Marshall [Wed, 3 Mar 2010 02:01:08 +0000 (18:01 -0800)]
Move conditional and disjunction folding and inversion to subst.scm

14 years agoDon't check untaken branches when checking for boolean expression.
Joe Marshall [Tue, 2 Mar 2010 22:19:52 +0000 (14:19 -0800)]
Don't check untaken branches when checking for boolean expression.

14 years agoSlightly smarter expansion for EQ? #F.
Joe Marshall [Tue, 2 Mar 2010 18:43:48 +0000 (10:43 -0800)]
Slightly smarter expansion for EQ? #F.

14 years agoExport new bindings.
Joe Marshall [Tue, 2 Mar 2010 18:30:44 +0000 (10:30 -0800)]
Export new bindings.

14 years agoAdd VARIABLE/FREE-IN-EXPRESSION? Avoid collecting free variables from untaken branches.
Joe Marshall [Tue, 2 Mar 2010 18:28:05 +0000 (10:28 -0800)]
Add VARIABLE/FREE-IN-EXPRESSION?  Avoid collecting free variables from untaken branches.

14 years agoAdd expression/can-duplicate?
Joe Marshall [Tue, 2 Mar 2010 18:08:48 +0000 (10:08 -0800)]
Add expression/can-duplicate?

14 years agoAdd sf:enable-true-unspecific
Joe Marshall [Tue, 2 Mar 2010 17:33:55 +0000 (09:33 -0800)]
Add sf:enable-true-unspecific

14 years agoAdd some expression helpers.
Joe Marshall [Tue, 2 Mar 2010 17:16:41 +0000 (09:16 -0800)]
Add some expression helpers.

14 years agoAdd GUARANTEE-INTEGRATION-INFO.
Joe Marshall [Tue, 2 Mar 2010 16:26:38 +0000 (08:26 -0800)]
Add GUARANTEE-INTEGRATION-INFO.

14 years agoAdd PP-EXPRESSION debugging utility.
Joe Marshall [Tue, 2 Mar 2010 16:14:22 +0000 (08:14 -0800)]
Add PP-EXPRESSION debugging utility.

14 years agoMerge branch 'master' of ssh://git.savannah.gnu.org/srv/git/mit-scheme
Joe Marshall [Tue, 2 Mar 2010 15:44:00 +0000 (07:44 -0800)]
Merge branch 'master' of ssh://git.savannah.gnu.org/srv/git/mit-scheme

14 years agoMerge branch 'release-9.0'
Chris Hanson [Mon, 1 Mar 2010 22:08:41 +0000 (14:08 -0800)]
Merge branch 'release-9.0'

14 years agoMerge branch 'master' of ssh://git.savannah.gnu.org/srv/git/mit-scheme
Joe Marshall [Mon, 1 Mar 2010 19:12:25 +0000 (11:12 -0800)]
Merge branch 'master' of ssh://git.savannah.gnu.org/srv/git/mit-scheme

14 years agoFix problem with re-reading microcode tables on disk-restore.
Chris Hanson [Mon, 1 Mar 2010 05:20:55 +0000 (21:20 -0800)]
Fix problem with re-reading microcode tables on disk-restore.

14 years agoAdd sanity checks and clarify error messages in various scripts.
Taylor R Campbell [Sun, 28 Feb 2010 19:43:42 +0000 (14:43 -0500)]
Add sanity checks and clarify error messages in various scripts.

14 years agoElide conditional canonicalization.
Joe Marshall [Thu, 25 Feb 2010 03:00:11 +0000 (19:00 -0800)]
Elide conditional canonicalization.

14 years agoElide double negatives in combinations.
Joe Marshall [Thu, 25 Feb 2010 02:46:22 +0000 (18:46 -0800)]
Elide double negatives in combinations.