mit-scheme.git
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.

14 years agoUse length=?
Joe Marshall [Thu, 25 Feb 2010 02:22:33 +0000 (18:22 -0800)]
Use length=?

14 years agoAdd expression/call-to-not? helper function.
Joe Marshall [Thu, 25 Feb 2010 02:17:40 +0000 (18:17 -0800)]
Add expression/call-to-not? helper function.

14 years agoAdd length=? procedure.
Joe Marshall [Thu, 25 Feb 2010 01:53:59 +0000 (17:53 -0800)]
Add length=? procedure.

14 years agoFixup ignore declarations.
Joe Marshall [Wed, 24 Feb 2010 20:35:13 +0000 (12:35 -0800)]
Fixup ignore declarations.

14 years agoFixup ignores.
Joe Marshall [Wed, 24 Feb 2010 19:51:50 +0000 (11:51 -0800)]
Fixup ignores.

14 years agoFixup ignored variables.
Joe Marshall [Wed, 24 Feb 2010 02:11:09 +0000 (18:11 -0800)]
Fixup ignored variables.

14 years agoFixup ignored variables.
Joe Marshall [Wed, 24 Feb 2010 02:09:24 +0000 (18:09 -0800)]
Fixup ignored variables.

14 years agoFixup ignored variables.
Joe Marshall [Wed, 24 Feb 2010 00:32:24 +0000 (16:32 -0800)]
Fixup ignored variables.

14 years agoRemove moribund declarations, add IGNORABLE. Add package comment.
Joe Marshall [Wed, 24 Feb 2010 00:28:19 +0000 (16:28 -0800)]
Remove moribund declarations, add IGNORABLE.  Add package comment.

14 years agoHandle IGNORE declarations in a much more reasonable way.
Joe Marshall [Tue, 23 Feb 2010 21:32:05 +0000 (13:32 -0800)]
Handle IGNORE declarations in a much more reasonable way.

14 years agoFix particularly nasty (but rare) bug that makes ext file generation fail under unusu...
Joe Marshall [Tue, 23 Feb 2010 19:49:07 +0000 (11:49 -0800)]
Fix particularly nasty (but rare) bug that makes ext file generation fail under unusual circumstances.

14 years agoRemove incorrect comment.
Joe Marshall [Tue, 23 Feb 2010 16:52:01 +0000 (08:52 -0800)]
Remove incorrect comment.

14 years agoMerge branch 'release-9.0'
Chris Hanson [Mon, 22 Feb 2010 10:42:28 +0000 (02:42 -0800)]
Merge branch 'release-9.0'

14 years agoSimplify! Implement make-system-file.
Chris Hanson [Mon, 22 Feb 2010 10:41:49 +0000 (02:41 -0800)]
Simplify!  Implement make-system-file.

14 years agoFix FSF address.
Chris Hanson [Sun, 21 Feb 2010 23:13:50 +0000 (15:13 -0800)]
Fix FSF address.

14 years agoUpdate copyright dates.
Chris Hanson [Sun, 21 Feb 2010 23:10:53 +0000 (15:10 -0800)]
Update copyright dates.

14 years agoRename make-dist-files -> make-native-files.
Chris Hanson [Sun, 21 Feb 2010 23:10:02 +0000 (15:10 -0800)]
Rename make-dist-files -> make-native-files.

14 years agoMerge branch 'master' of ssh://git.savannah.gnu.org/srv/git/mit-scheme
Joe Marshall [Sun, 21 Feb 2010 19:43:05 +0000 (11:43 -0800)]
Merge branch 'master' of ssh://git.savannah.gnu.org/srv/git/mit-scheme

14 years agoAdd NULL? to constant folding operators.
Joe Marshall [Sun, 21 Feb 2010 19:41:09 +0000 (11:41 -0800)]
Add NULL? to constant folding operators.

14 years agoRewrite dist scripts for so many reasons.
Chris Hanson [Sun, 21 Feb 2010 11:30:53 +0000 (03:30 -0800)]
Rewrite dist scripts for so many reasons.

14 years agoAdd /pc/.
Chris Hanson [Fri, 19 Feb 2010 09:08:54 +0000 (01:08 -0800)]
Add /pc/.

14 years agoAdd changelog.txt.
Chris Hanson [Fri, 19 Feb 2010 09:08:34 +0000 (01:08 -0800)]
Add changelog.txt.

14 years agoMerge branch 'release-9.0'
Chris Hanson [Fri, 19 Feb 2010 09:07:49 +0000 (01:07 -0800)]
Merge branch 'release-9.0'

14 years agoUpdate for release.
Chris Hanson [Fri, 19 Feb 2010 09:05:05 +0000 (01:05 -0800)]
Update for release.

14 years agoUpdate copyright year.
Chris Hanson [Fri, 19 Feb 2010 07:40:31 +0000 (23:40 -0800)]
Update copyright year.

14 years agoFix problem converting negative bignums to flonums.
Chris Hanson [Thu, 18 Feb 2010 06:08:37 +0000 (22:08 -0800)]
Fix problem converting negative bignums to flonums.

14 years agoFix problem converting negative bignums to flonums.
Chris Hanson [Thu, 18 Feb 2010 06:08:37 +0000 (22:08 -0800)]
Fix problem converting negative bignums to flonums.

14 years agoMerge in changes from release-9.0.
Chris Hanson [Tue, 16 Feb 2010 08:33:33 +0000 (00:33 -0800)]
Merge in changes from release-9.0.

14 years agoRemove unused variable binding.
Chris Hanson [Tue, 16 Feb 2010 05:57:07 +0000 (21:57 -0800)]
Remove unused variable binding.

14 years agoInstall Taylor's patch to fix parsing of compiled interrupt frames.
Chris Hanson [Tue, 16 Feb 2010 05:56:58 +0000 (21:56 -0800)]
Install Taylor's patch to fix parsing of compiled interrupt frames.

14 years agoEliminate --enable-static-libs flag.
Chris Hanson [Tue, 16 Feb 2010 05:16:33 +0000 (21:16 -0800)]
Eliminate --enable-static-libs flag.

14 years agoEliminate multiple liarc builds; just use one now that it works again.
Chris Hanson [Tue, 16 Feb 2010 04:18:32 +0000 (20:18 -0800)]
Eliminate multiple liarc builds; just use one now that it works again.

14 years agoRename "LOG" to "changelog.txt".
Chris Hanson [Tue, 16 Feb 2010 04:16:06 +0000 (20:16 -0800)]
Rename "LOG" to "changelog.txt".

14 years agoFix HEXADECIMAL->VECTOR-8B.
Taylor R Campbell [Tue, 16 Feb 2010 02:36:57 +0000 (21:36 -0500)]
Fix HEXADECIMAL->VECTOR-8B.

Now it passes

(do ((i 0 (+ i 1)))
    ((= i #x100))
  (let* ((v (random-byte-vector #x100))
         (h (vector-8b->hexadecimal v))
         (v* (hexadecimal->vector-8b h)))
    (do ((i 0 (+ i 1)))
        ((= i #x100))
      (if (not (= (vector-8b-ref v i) (vector-8b-ref v* i)))
          (error "Lose:" h)))))

14 years agoDon't fix constant at compile time; breaks liarc build.
Chris Hanson [Tue, 16 Feb 2010 00:09:14 +0000 (16:09 -0800)]
Don't fix constant at compile time; breaks liarc build.

14 years agoIn microcode/makegen/makeinit.sh, delete Makefile.in on ^C.
Taylor R Campbell [Mon, 15 Feb 2010 23:12:30 +0000 (18:12 -0500)]
In microcode/makegen/makeinit.sh, delete Makefile.in on ^C.

This reduces the damage to the tree caused by an inopportune ^C
during Setup.sh which would otherwise require manual intervention
to clean up the mess.

14 years agoDon't link prmcrypt.so against libltdl.
Taylor R Campbell [Sun, 14 Feb 2010 18:53:28 +0000 (13:53 -0500)]
Don't link prmcrypt.so against libltdl.

Since 2.5.5 (released nearly eight years ago), libmcrypt has
statically linked all its modules by default, unless configured with
--enable-dynamic-loading.  If anyone actually uses that, we ought to
use `libmcrypt-config --libs' to get the actual list of linker flags,
but just passing -lmcrypt should do for now.

14 years agoMerge branch 'master' of ssh://git.sv.gnu.org/srv/git/mit-scheme
Taylor R Campbell [Sun, 14 Feb 2010 05:25:17 +0000 (00:25 -0500)]
Merge branch 'master' of ssh://git.sv.gnu.org/srv/git/mit-scheme

14 years agoruntime/gdbm.scm has no INITIALIZE-PACKAGE!.
Taylor R Campbell [Sun, 14 Feb 2010 05:18:17 +0000 (00:18 -0500)]
runtime/gdbm.scm has no INITIALIZE-PACKAGE!.

14 years agoTypo in variable name.
Joe Marshall [Sat, 13 Feb 2010 22:12:24 +0000 (14:12 -0800)]
Typo in variable name.

14 years agoMake X11 modules dynamically loadable.
Taylor R Campbell [Sat, 13 Feb 2010 21:22:28 +0000 (16:22 -0500)]
Make X11 modules dynamically loadable.

Make the modules depend on `scheme' only for Mac OS X, and let that
be an option to configure, so that users can just build modules
against an already installed Scheme.

This is a step toward making every feature that currently involves a
compile-time decision instead be dynamically loadable, and compilable
separately from the microcode executable.  All that is left is
termcap support.

14 years agoReorganize procedures and use dispatch vector for handling combination operators.
Joe Marshall [Sat, 13 Feb 2010 21:08:53 +0000 (13:08 -0800)]
Reorganize procedures and use dispatch vector for handling combination operators.

14 years agoFix thinko in last change to check realloc errors in tparam.c.
Taylor R Campbell [Sat, 13 Feb 2010 18:16:52 +0000 (13:16 -0500)]
Fix thinko in last change to check realloc errors in tparam.c.

14 years agoMerge branch 'master' of ssh://git.sv.gnu.org/srv/git/mit-scheme
Taylor R Campbell [Sat, 13 Feb 2010 08:00:16 +0000 (03:00 -0500)]
Merge branch 'master' of ssh://git.sv.gnu.org/srv/git/mit-scheme

14 years agoTweak tparam.c and tgoto.c.
Taylor R Campbell [Sat, 13 Feb 2010 07:55:11 +0000 (02:55 -0500)]
Tweak tparam.c and tgoto.c.

(tparam.c): Use ANSI-style declarations.  Include relevant headers.
Use memcpy rather than bcopy.  Check for malloc and realloc failures.

(tterm.c): Check for tparam and tgoto failures.  Handle the case
where tparam and tgoto malloc their own memory.  Ensure that a Scheme
interrupt/GC in char_pointer_to_string does not leak that memory.

14 years agoTweak microcode to build better on NetBSD.
Taylor R Campbell [Sat, 13 Feb 2010 07:10:34 +0000 (02:10 -0500)]
Tweak microcode to build better on NetBSD.

Clarify termcap library selection.

Omit rpath hack -- users can specify ld rpath arguments explicitly
when configuring the microcode.

14 years agoSeparate global declarations from top-level declarations.
Joe Marshall [Fri, 12 Feb 2010 22:44:09 +0000 (14:44 -0800)]
Separate global declarations from top-level declarations.

14 years agoAdd some interpreter entries' names to the i386 disassembler.
Taylor R Campbell [Fri, 12 Feb 2010 21:06:01 +0000 (16:06 -0500)]
Add some interpreter entries' names to the i386 disassembler.

14 years agoFix typo in i386 disassembler.
Taylor R Campbell [Fri, 12 Feb 2010 20:45:08 +0000 (15:45 -0500)]
Fix typo in i386 disassembler.

14 years agoSuppress integration of global operators shadowed by top-level integrations. Subtle...
Joe Marshall [Fri, 12 Feb 2010 20:41:14 +0000 (12:41 -0800)]
Suppress integration of global operators shadowed by top-level integrations.  Subtle bug here.  This will workaround until I make the real fix.

14 years agoConvert integrate/name from CPS to direct style and fix up callers.
Joe Marshall [Fri, 12 Feb 2010 01:48:25 +0000 (17:48 -0800)]
Convert integrate/name from CPS to direct style and fix up callers.

14 years agoAdd expansion for EQ?
Joe Marshall [Thu, 11 Feb 2010 02:16:32 +0000 (18:16 -0800)]
Add expansion for EQ?

14 years agoConvert usiexp.scm from CPS to direct style. Fix callers in subst.scm.
Joe Marshall [Thu, 11 Feb 2010 02:14:22 +0000 (18:14 -0800)]
Convert usiexp.scm from CPS to direct style.  Fix callers in subst.scm.

14 years agoUse notifications for noise.
Joe Marshall [Wed, 10 Feb 2010 21:22:02 +0000 (13:22 -0800)]
Use notifications for noise.

14 years agoUse SRFI-1 lset routines.
Joe Marshall [Wed, 10 Feb 2010 20:11:22 +0000 (12:11 -0800)]
Use SRFI-1 lset routines.

14 years agoMove combination rewriting to combination constructor. Import constant folding opera...
Joe Marshall [Wed, 10 Feb 2010 02:42:52 +0000 (18:42 -0800)]
Move combination rewriting to combination constructor.  Import constant folding operators from runtime.

14 years agoSimply disjunction integration by moving disjunction construction logic to object.scm
Joe Marshall [Wed, 10 Feb 2010 01:08:18 +0000 (17:08 -0800)]
Simply disjunction integration by moving disjunction construction logic to object.scm

14 years agoCreate constructor stubs for combination, conditional, and disjunction.
Joe Marshall [Tue, 9 Feb 2010 23:55:03 +0000 (15:55 -0800)]
Create constructor stubs for combination, conditional, and disjunction.

14 years agoMerge branch 'master' of ssh://git.savannah.gnu.org/srv/git/mit-scheme
Joe Marshall [Tue, 9 Feb 2010 23:32:01 +0000 (15:32 -0800)]
Merge branch 'master' of ssh://git.savannah.gnu.org/srv/git/mit-scheme

14 years agoMove environment table to tables.
Joe Marshall [Tue, 9 Feb 2010 23:30:08 +0000 (15:30 -0800)]
Move environment table to tables.

14 years agoAdd guarantees, minor cleanups.
Joe Marshall [Tue, 9 Feb 2010 23:24:55 +0000 (15:24 -0800)]
Add guarantees, minor cleanups.

14 years agoAdd KNOWN-DECLARATION guarantee.
Joe Marshall [Tue, 9 Feb 2010 23:19:19 +0000 (15:19 -0800)]
Add KNOWN-DECLARATION guarantee.

14 years agoMerge branch 'master' of git.sv.gnu.org:/srv/git/mit-scheme
Chris Hanson [Tue, 9 Feb 2010 21:31:01 +0000 (13:31 -0800)]
Merge branch 'master' of git.sv.gnu.org:/srv/git/mit-scheme

14 years agoCorrectly remove runtime.com from image.
Chris Hanson [Tue, 9 Feb 2010 20:09:08 +0000 (12:09 -0800)]
Correctly remove runtime.com from image.

14 years agoAdd and export CONSTANT-PROCEDURE.
Joe Marshall [Tue, 9 Feb 2010 19:02:07 +0000 (11:02 -0800)]
Add and export CONSTANT-PROCEDURE.

14 years agoMake guarantees for objects, improve debugging.
Joe Marshall [Tue, 9 Feb 2010 18:51:07 +0000 (10:51 -0800)]
Make guarantees for objects, improve debugging.

14 years agoAdd IGNORABLE declaration for variables. Issue warning if variable is IGNORE, but...
Joe Marshall [Tue, 9 Feb 2010 18:01:25 +0000 (10:01 -0800)]
Add IGNORABLE declaration for variables.  Issue warning if variable is IGNORE, but used anyway.

14 years agoGet rid of block/flags, open-block/optimized, weird optimization switches, and code...
Joe Marshall [Tue, 9 Feb 2010 17:34:53 +0000 (09:34 -0800)]
Get rid of block/flags, open-block/optimized, weird optimization switches, and code for INTEGRATE-SAFELY.

14 years agoRemove declarations INTEGRATE-SAFELY, AUTOMAGIC-INTEGRATIONS, ETA-SUBSTITUTION, and...
Joe Marshall [Tue, 9 Feb 2010 17:13:23 +0000 (09:13 -0800)]
Remove declarations INTEGRATE-SAFELY, AUTOMAGIC-INTEGRATIONS, ETA-SUBSTITUTION, and OPEN-BLOCK-OPTIMIZATION.

14 years agoIgnore eager-integration-switch and eta-substitution-switch.
Joe Marshall [Tue, 9 Feb 2010 17:07:52 +0000 (09:07 -0800)]
Ignore eager-integration-switch and eta-substitution-switch.

14 years agoGet rid of lsets and table. Simplify emodel.
jrm [Tue, 9 Feb 2010 16:51:31 +0000 (08:51 -0800)]
Get rid of lsets and table.  Simplify emodel.

14 years agoRemove strange declarations.
jrm [Tue, 9 Feb 2010 16:48:24 +0000 (08:48 -0800)]
Remove strange declarations.

14 years agoAdd package comments.
jrm [Tue, 9 Feb 2010 16:47:10 +0000 (08:47 -0800)]
Add package comments.

14 years agoAdd SF:DISPLAY-TOP-LEVEL-PROCEDURE-NAMES?
jrm [Tue, 9 Feb 2010 15:56:51 +0000 (07:56 -0800)]
Add SF:DISPLAY-TOP-LEVEL-PROCEDURE-NAMES?

14 years agoMake sure that arch tar file is deleted prior to running tar.
Chris Hanson [Tue, 9 Feb 2010 11:34:04 +0000 (03:34 -0800)]
Make sure that arch tar file is deleted prior to running tar.

14 years agoDon't include "runtime.com" in the image.
Chris Hanson [Tue, 9 Feb 2010 11:21:13 +0000 (03:21 -0800)]
Don't include "runtime.com" in the image.

14 years agoFix some bugs.
Chris Hanson [Tue, 9 Feb 2010 11:20:15 +0000 (03:20 -0800)]
Fix some bugs.

14 years agoChange c32/c64 names to have common prefix with other files.
Chris Hanson [Tue, 9 Feb 2010 10:59:50 +0000 (02:59 -0800)]
Change c32/c64 names to have common prefix with other files.

14 years agoMerge doc files into binary tarballs.
Chris Hanson [Tue, 9 Feb 2010 10:21:53 +0000 (02:21 -0800)]
Merge doc files into binary tarballs.

14 years agoRewrite to handle new architecture and to remove the system-specific
Chris Hanson [Tue, 9 Feb 2010 09:46:10 +0000 (01:46 -0800)]
Rewrite to handle new architecture and to remove the system-specific
code from the main builds.

14 years agoAdjust for 32- and 64-bit liarc builds.
Chris Hanson [Tue, 9 Feb 2010 03:18:38 +0000 (19:18 -0800)]
Adjust for 32- and 64-bit liarc builds.

14 years agoUpdate copyright notices for 2010.
Chris Hanson [Tue, 9 Feb 2010 00:14:01 +0000 (16:14 -0800)]
Update copyright notices for 2010.

14 years agoBump release version to 9.0.
Chris Hanson [Tue, 9 Feb 2010 00:05:25 +0000 (16:05 -0800)]
Bump release version to 9.0.

14 years agoAdd ability to pass configure args to script.
Chris Hanson [Mon, 1 Feb 2010 08:19:49 +0000 (00:19 -0800)]
Add ability to pass configure args to script.

14 years agoEliminate open-coding of QUOTIENT and REMAINDER.
Chris Hanson [Mon, 1 Feb 2010 07:21:41 +0000 (23:21 -0800)]
Eliminate open-coding of QUOTIENT and REMAINDER.