mit-scheme.git
12 years agosvm: Add clear-map! before invocation:special-primitive.
Matt Birkholz [Tue, 14 Feb 2012 17:00:33 +0000 (10:00 -0700)]
svm: Add clear-map! before invocation:special-primitive.

Also, fix order of float arguments in rule for flonum constants.
And simplify the POP-RETURN rule.

12 years agosvm: Fixed signedness of some fixnum instructions.
Matt Birkholz [Tue, 14 Feb 2012 16:53:59 +0000 (09:53 -0700)]
svm: Fixed signedness of some fixnum instructions.

Included code from liarc.h by moving it to fixnum.h.  Included
fixnum.h in fixnum.c and used it to replace near-identical code.

12 years agosvm: Added "product" instruction, i.e. Mul().
Matt Birkholz [Tue, 14 Feb 2012 16:45:55 +0000 (09:45 -0700)]
svm: Added "product" instruction, i.e. Mul().

Using this new instruction only when overflow detection is required.

12 years agosvm: Fixed icall instruction, and cast in IMPORT_REGS.
Matt Birkholz [Tue, 14 Feb 2012 16:36:27 +0000 (09:36 -0700)]
svm: Fixed icall instruction, and cast in IMPORT_REGS.

12 years agoAdd LETREC*. Convert LETREC to R6RS semantics. Use internal definition for expansio...
Joe Marshall [Mon, 13 Feb 2012 21:04:49 +0000 (13:04 -0800)]
Add LETREC*.  Convert LETREC to R6RS semantics.  Use internal definition for expansion of named let.

12 years agoBetter unsyntaxing of lambda and extended-lambda.
Joe Marshall [Sun, 12 Feb 2012 01:51:08 +0000 (17:51 -0800)]
Better unsyntaxing of lambda and extended-lambda.

12 years agoAvoid creating extended-lambdas just because of aux vars.
Joe Marshall [Sun, 12 Feb 2012 01:41:01 +0000 (17:41 -0800)]
Avoid creating extended-lambdas just because of aux vars.

12 years agoFix typo.
Joe Marshall [Sun, 12 Feb 2012 01:23:35 +0000 (17:23 -0800)]
Fix typo.

12 years agoAdd lambda-interface, guarantees, and re-org code.
Joe Marshall [Sun, 12 Feb 2012 01:14:43 +0000 (17:14 -0800)]
Add lambda-interface, guarantees, and re-org code.

12 years agoAdd codwlk handler for extended-lambda (defaults to lambda).
Joe Marshall [Sun, 12 Feb 2012 01:05:47 +0000 (17:05 -0800)]
Add codwlk handler for extended-lambda (defaults to lambda).

12 years agoImprove unsyntaxing of sequences.
Joe Marshall [Sat, 11 Feb 2012 22:37:01 +0000 (14:37 -0800)]
Improve unsyntaxing of sequences.

12 years agoMerge branch 'master' of ssh://git.sv.gnu.org/srv/git/mit-scheme
Joe Marshall [Sat, 11 Feb 2012 19:52:56 +0000 (11:52 -0800)]
Merge branch 'master' of ssh://git.sv.gnu.org/srv/git/mit-scheme

12 years agoUse lambda-components* and lambda-bound rather than lambda-components.
Joe Marshall [Thu, 9 Feb 2012 04:39:26 +0000 (20:39 -0800)]
Use lambda-components* and lambda-bound rather than lambda-components.

12 years agoUse lambda-bound and lambda-body rather than lambda-components.
Joe Marshall [Thu, 9 Feb 2012 04:07:24 +0000 (20:07 -0800)]
Use lambda-bound and lambda-body rather than lambda-components.

12 years agosvm: Undo "fix" for copy-block.
Matt Birkholz [Wed, 8 Feb 2012 04:48:06 +0000 (21:48 -0700)]
svm: Undo "fix" for copy-block.

There was nothing wrong with copy-block.  Presumably define-code-
sequence took a separate pattern and "coding" for a reason...
Copy-block can remain the sole exercise of the separation...

12 years agosvm: Fix copy-block instruction's parameter list.
Matt Birkholz [Tue, 7 Feb 2012 19:34:23 +0000 (12:34 -0700)]
svm: Fix copy-block instruction's parameter list.

12 years agoAdd selectors for OPEN-BLOCKs, rewrite unscan-defines in direct style.
Joe Marshall [Tue, 7 Feb 2012 18:42:30 +0000 (10:42 -0800)]
Add selectors for OPEN-BLOCKs, rewrite unscan-defines in direct style.

12 years agoDon't create LEXPRs or CLEXPRs.
Joe Marshall [Tue, 7 Feb 2012 04:39:45 +0000 (20:39 -0800)]
Don't create LEXPRs or CLEXPRs.

12 years agoFix how SF generates SCode for top level open blocks and procedure bodies.
Joe Marshall [Mon, 6 Feb 2012 22:38:59 +0000 (14:38 -0800)]
Fix how SF generates SCode for top level open blocks and procedure bodies.

12 years agoMerge branch 'master' of ssh://git.sv.gnu.org/srv/git/mit-scheme
Joe Marshall [Mon, 6 Feb 2012 22:27:26 +0000 (14:27 -0800)]
Merge branch 'master' of ssh://git.sv.gnu.org/srv/git/mit-scheme

12 years agoUse MAKE-LAMBDA-LIST rather than ad-hoc code.
Joe Marshall [Mon, 6 Feb 2012 19:55:19 +0000 (11:55 -0800)]
Use MAKE-LAMBDA-LIST rather than ad-hoc code.

12 years agoAdd debugging tool.
Joe Marshall [Mon, 6 Feb 2012 19:54:23 +0000 (11:54 -0800)]
Add debugging tool.

12 years agoAdd MAKE-LAMBDA-LIST.
Joe Marshall [Mon, 6 Feb 2012 16:55:54 +0000 (08:55 -0800)]
Add MAKE-LAMBDA-LIST.

12 years agosvm: Fixed the return of trap results.
Matt Birkholz [Mon, 6 Feb 2012 01:13:54 +0000 (18:13 -0700)]
svm: Fixed the return of trap results.

12 years agosvm: Added compiler temporaries, for now, with warnings.
Matt Birkholz [Sun, 5 Feb 2012 22:46:25 +0000 (15:46 -0700)]
svm: Added compiler temporaries, for now, with warnings.

12 years agosvm: Fix (load-option 'compiler).
Matt Birkholz [Sat, 4 Feb 2012 01:23:03 +0000 (18:23 -0700)]
svm: Fix (load-option 'compiler).

Syntax compiler/machine/make, not compiler/make.  The
compiler/make.bin|com symlinks seem to confuse sf/conditionally.
CREF is required when loading compiler-unx.pkd(?).

12 years agosvm: workaround definition for pseudo-register-home
Matt Birkholz [Sat, 4 Feb 2012 01:13:31 +0000 (18:13 -0700)]
svm: workaround definition for pseudo-register-home

12 years agosvm: IMPORT_REGS should restore dynamic-link.
Matt Birkholz [Fri, 3 Feb 2012 23:40:24 +0000 (16:40 -0700)]
svm: IMPORT_REGS should restore dynamic-link.

The i386's interface_to_scheme restores this register from the
CC_STACK_ENV pushed by comutil_interrupt_dlink via
compiler_interrupt_common.  comp_interrupt_restart has popped the
CC_STACK_ENV into the value register and interface_to_scheme takes it
from there.

12 years agosvm: Fixed closure gc-flip.
Matt Birkholz [Fri, 3 Feb 2012 15:57:42 +0000 (08:57 -0700)]
svm: Fixed closure gc-flip.

The new compiled closures were unusable after a gc-flip.  The first
(often only) target entry was not scanned.  compiled_closure_entry is
not used when !EMBEDDED_CLOSURE_ADDRS_P.

12 years agoClean up dangling references.
Chris Hanson [Thu, 2 Feb 2012 05:42:11 +0000 (21:42 -0800)]
Clean up dangling references.

12 years agosvm: instructions is now a hash table.
Matt Birkholz [Wed, 1 Feb 2012 18:38:03 +0000 (11:38 -0700)]
svm: instructions is now a hash table.

12 years agocref: Added butils.scm to hand-compiled bootstrap packages.
Matt Birkholz [Wed, 1 Feb 2012 18:33:51 +0000 (11:33 -0700)]
cref: Added butils.scm to hand-compiled bootstrap packages.

12 years agocref: Replace alists with lists.
Matt Birkholz [Wed, 1 Feb 2012 18:29:49 +0000 (11:29 -0700)]
cref: Replace alists with lists.

Even alists are too much when bindings and references already contain
the name.  Use find-matching-item rather than assq&cdr!

12 years agoUndoing a change the hard way.
Joe Marshall [Mon, 30 Jan 2012 02:59:06 +0000 (18:59 -0800)]
Undoing a change the hard way.

12 years agoInstall .bci files for common parts of the compiler.
Joe Marshall [Sat, 28 Jan 2012 23:08:49 +0000 (15:08 -0800)]
Install .bci files for common parts of the compiler.

12 years agoRemove handling of IN-PACKAGE frames (which no longer exist).
Joe Marshall [Sat, 28 Jan 2012 23:01:13 +0000 (15:01 -0800)]
Remove handling of IN-PACKAGE frames (which no longer exist).

12 years agoRemove unused error codes, add syntax error code.
Joe Marshall [Sat, 28 Jan 2012 20:41:37 +0000 (12:41 -0800)]
Remove unused error codes, add syntax error code.
Add syntax-error SCode object.

12 years agoMerge branch 'master' of git.sv.gnu.org:/srv/git/mit-scheme
Chris Hanson [Fri, 27 Jan 2012 05:46:21 +0000 (21:46 -0800)]
Merge branch 'master' of git.sv.gnu.org:/srv/git/mit-scheme

12 years agoDon't delete symlinks with maybe_rm.
Chris Hanson [Fri, 27 Jan 2012 05:45:56 +0000 (21:45 -0800)]
Don't delete symlinks with maybe_rm.

12 years agoUnparse assignments, definitions, and lambdas with their respective names.
Joe Marshall [Fri, 27 Jan 2012 01:01:58 +0000 (17:01 -0800)]
Unparse assignments, definitions, and lambdas with their respective names.

12 years agoAdd some generated files to .gitignore
Joe Marshall [Wed, 25 Jan 2012 16:56:33 +0000 (08:56 -0800)]
Add some generated files to .gitignore

12 years agoCombinations no longer constructed with pcomb1, pcomb2, comb1, etc.
Joe Marshall [Wed, 25 Jan 2012 16:36:57 +0000 (08:36 -0800)]
Combinations no longer constructed with pcomb1, pcomb2, comb1, etc.

12 years agoUse sequence-immediate-first instead of sequence-first.
Joe Marshall [Wed, 25 Jan 2012 15:46:58 +0000 (07:46 -0800)]
Use sequence-immediate-first instead of sequence-first.

12 years agoExport sequence-immediate-first and -second.
Joe Marshall [Wed, 25 Jan 2012 15:21:36 +0000 (07:21 -0800)]
Export sequence-immediate-first and -second.

12 years agoAdd sequence-immediate-first and sequence-immediate-second.
Joe Marshall [Wed, 25 Jan 2012 15:20:15 +0000 (07:20 -0800)]
Add sequence-immediate-first and sequence-immediate-second.

12 years agoFix typo, clean up.
Joe Marshall [Wed, 25 Jan 2012 09:48:51 +0000 (01:48 -0800)]
Fix typo, clean up.

12 years agoDon't bother flipping the sense of negative conditionals.
Joe Marshall [Wed, 25 Jan 2012 08:38:56 +0000 (00:38 -0800)]
Don't bother flipping the sense of negative conditionals.

12 years agoCorrectly handle lambda bodies with declarations.
Joe Marshall [Wed, 25 Jan 2012 08:38:12 +0000 (00:38 -0800)]
Correctly handle lambda bodies with declarations.

12 years agoCheck record-length before dereferencing.
Joe Marshall [Wed, 25 Jan 2012 06:42:47 +0000 (22:42 -0800)]
Check record-length before dereferencing.

12 years agoMerge branch 'master' of git.sv.gnu.org:/srv/git/mit-scheme
Chris Hanson [Tue, 24 Jan 2012 08:57:36 +0000 (00:57 -0800)]
Merge branch 'master' of git.sv.gnu.org:/srv/git/mit-scheme

12 years agoUpdate DTD references.
Chris Hanson [Tue, 24 Jan 2012 08:57:11 +0000 (00:57 -0800)]
Update DTD references.

12 years agoRelocate a top-level variable.
Joe Marshall [Sun, 22 Jan 2012 01:10:56 +0000 (17:10 -0800)]
Relocate a top-level variable.

12 years agoFix some well-intentioned, but semantically suspect code.
Joe Marshall [Sun, 22 Jan 2012 00:42:01 +0000 (16:42 -0800)]
Fix some well-intentioned, but semantically suspect code.

12 years agoPass profile into run-with-stack-sampling.
Joe Marshall [Sat, 21 Jan 2012 20:02:10 +0000 (12:02 -0800)]
Pass profile into run-with-stack-sampling.

12 years agoAvoid printing trailing whitespace.
Joe Marshall [Sat, 21 Jan 2012 19:34:37 +0000 (11:34 -0800)]
Avoid printing trailing whitespace.

12 years agoUse scode/sequence-... procedures.
Joe Marshall [Sat, 21 Jan 2012 19:22:01 +0000 (11:22 -0800)]
Use scode/sequence-... procedures.

12 years agoExport SEQUENCE-FIRST and SEQUENCE-SECOND.
Joe Marshall [Sat, 21 Jan 2012 19:20:42 +0000 (11:20 -0800)]
Export SEQUENCE-FIRST and SEQUENCE-SECOND.

12 years agoExport SEQUENCE-FIRST and SEQUENCE-SECOND.
Joe Marshall [Sat, 21 Jan 2012 18:52:56 +0000 (10:52 -0800)]
Export SEQUENCE-FIRST and SEQUENCE-SECOND.

12 years agoFixup scode SEQUENCE abstraction.
Joe Marshall [Sat, 21 Jan 2012 18:51:37 +0000 (10:51 -0800)]
Fixup scode SEQUENCE abstraction.

12 years agoRemove SEQUENCE-3 (forgot to commit this one).
Joe Marshall [Sat, 21 Jan 2012 17:32:33 +0000 (09:32 -0800)]
Remove SEQUENCE-3 (forgot to commit this one).

12 years agoMissed a SEQUENCE-3.
Joe Marshall [Sat, 21 Jan 2012 01:57:34 +0000 (17:57 -0800)]
Missed a SEQUENCE-3.

12 years agoRemove SEQUENCE-3 from Scheme code.
Joe Marshall [Fri, 20 Jan 2012 18:42:10 +0000 (10:42 -0800)]
Remove SEQUENCE-3 from Scheme code.

12 years agoFix bogus steps.
Joe Marshall [Wed, 18 Jan 2012 22:48:14 +0000 (14:48 -0800)]
Fix bogus steps.

12 years agoAdd instructions for rebuilding the compiler.
Joe Marshall [Wed, 18 Jan 2012 20:27:09 +0000 (12:27 -0800)]
Add instructions for rebuilding the compiler.

12 years agoAvoid UTF-8/ASCII transcoding if possible (and perform the transcoding if necessary).
Joe Marshall [Wed, 18 Jan 2012 04:25:44 +0000 (20:25 -0800)]
Avoid UTF-8/ASCII transcoding if possible (and perform the transcoding if necessary).

12 years agoAdd ASCII-STRING-COPY procedure.
Joe Marshall [Wed, 18 Jan 2012 04:21:37 +0000 (20:21 -0800)]
Add ASCII-STRING-COPY procedure.

12 years agoChange name->open-coders alist to a hash table.
Joe Marshall [Wed, 18 Jan 2012 04:17:26 +0000 (20:17 -0800)]
Change name->open-coders alist to a hash table.

12 years agoChange statement and expression rewrite rules from alists to hash tables.
Joe Marshall [Wed, 18 Jan 2012 04:15:47 +0000 (20:15 -0800)]
Change statement and expression rewrite rules from alists to hash tables.

12 years agoChange cse-methods alist to a hash-table.
Joe Marshall [Wed, 18 Jan 2012 04:14:54 +0000 (20:14 -0800)]
Change cse-methods alist to a hash-table.

12 years agoChange expression-methods alist into a hash table.
Joe Marshall [Wed, 18 Jan 2012 04:14:08 +0000 (20:14 -0800)]
Change expression-methods alist into a hash table.

12 years agoChange instructions alist to a hash table.
Joe Marshall [Wed, 18 Jan 2012 04:12:35 +0000 (20:12 -0800)]
Change instructions alist to a hash table.

12 years agoUse new potential-control-merge slot.
Joe Marshall [Wed, 18 Jan 2012 04:11:35 +0000 (20:11 -0800)]
Use new potential-control-merge slot.

12 years agoAdd potential-control-merge slot to cfg nodes.
Joe Marshall [Wed, 18 Jan 2012 04:08:36 +0000 (20:08 -0800)]
Add potential-control-merge slot to cfg nodes.

12 years agoUse new subgraph-color slot rather than the node alist.
Joe Marshall [Mon, 16 Jan 2012 18:29:31 +0000 (10:29 -0800)]
Use new subgraph-color slot rather than the node alist.

12 years agoAdd a sugraph-color slot to the cfg.
Joe Marshall [Mon, 16 Jan 2012 15:29:04 +0000 (07:29 -0800)]
Add a sugraph-color slot to the cfg.

12 years agoMake noop-tag-property a slot in the vector tag.
Joe Marshall [Sat, 14 Jan 2012 22:01:04 +0000 (14:01 -0800)]
Make noop-tag-property a slot in the vector tag.

12 years agoSuppress redundant type checks in generated pattern matching code.
Joe Marshall [Sat, 14 Jan 2012 19:33:16 +0000 (11:33 -0800)]
Suppress redundant type checks in generated pattern matching code.

12 years agoMerge branch 'master' of ssh://git.sv.gnu.org/srv/git/mit-scheme
Joe Marshall [Fri, 13 Jan 2012 03:42:37 +0000 (19:42 -0800)]
Merge branch 'master' of ssh://git.sv.gnu.org/srv/git/mit-scheme

12 years agoAdd a declaration to the expansion of rule results.
Joe Marshall [Fri, 13 Jan 2012 03:39:43 +0000 (19:39 -0800)]
Add a declaration to the expansion of rule results.

12 years agoImplement GENERATE-PATTERN-MATCHER.
Joe Marshall [Fri, 13 Jan 2012 03:32:15 +0000 (19:32 -0800)]
Implement GENERATE-PATTERN-MATCHER.

12 years agoAdd call to GENERATE-PATTERN-MATCHER. Controlled by a switch that is currently off...
Joe Marshall [Thu, 12 Jan 2012 19:18:01 +0000 (11:18 -0800)]
Add call to GENERATE-PATTERN-MATCHER.  Controlled by a switch that is currently off.  Also avoid unnecessary calls CLOSE-SYNTAX.

12 years agoExport GENERATE-PATTERN-MATCHER.
Joe Marshall [Thu, 12 Jan 2012 16:00:05 +0000 (08:00 -0800)]
Export GENERATE-PATTERN-MATCHER.

12 years agoAdd stub definition for GENERATE-PATTERN-MATCHER.
Joe Marshall [Thu, 12 Jan 2012 15:58:37 +0000 (07:58 -0800)]
Add stub definition for GENERATE-PATTERN-MATCHER.

12 years agoMerge branch 'master' of ssh://git.sv.gnu.org/srv/git/mit-scheme
Taylor R Campbell [Sun, 8 Jan 2012 20:53:47 +0000 (20:53 +0000)]
Merge branch 'master' of ssh://git.sv.gnu.org/srv/git/mit-scheme

12 years agoDocument RE-COMPILE-PATTERN.
Taylor R Campbell [Sun, 8 Jan 2012 20:44:21 +0000 (20:44 +0000)]
Document RE-COMPILE-PATTERN.

The manual mentions it, and we use it all over Edwin.

12 years agocref: Replace hash-tables with alists.
Matt Birkholz [Sat, 7 Jan 2012 19:07:22 +0000 (12:07 -0700)]
cref: Replace hash-tables with alists.

A strong-eq-hash-table seems like overkill now.

12 years agocref: Eliminate needless sorting of bindings and references.
Matt Birkholz [Sat, 7 Jan 2012 17:00:19 +0000 (10:00 -0700)]
cref: Eliminate needless sorting of bindings and references.

Replaced package/sorted-references and package/sorted-bindings with
unsorted versions package/references and package/bindings.

12 years agoMerge branch 'master' of ssh://git.sv.gnu.org/srv/git/mit-scheme
Joe Marshall [Sat, 7 Jan 2012 03:25:56 +0000 (19:25 -0800)]
Merge branch 'master' of ssh://git.sv.gnu.org/srv/git/mit-scheme

12 years agoFixed CREF to handle uninterned symbols.
Matt Birkholz [Fri, 6 Jan 2012 23:18:40 +0000 (16:18 -0700)]
Fixed CREF to handle uninterned symbols.

"Names" (aka "binding-names") are symbols OR uninterned symbols, and
NOT sortable.  Replaced the rb-trees with hash tables.  This banished
the bogus complaints about free references to e.g. .tag.1 in compiler,
edwin and imail.

12 years agoExport pattern-lookup-2
Joe Marshall [Wed, 4 Jan 2012 05:46:09 +0000 (21:46 -0800)]
Export pattern-lookup-2

12 years agoAdd pattern-lookup-2
Joe Marshall [Wed, 4 Jan 2012 05:45:43 +0000 (21:45 -0800)]
Add pattern-lookup-2

12 years agoExport PATTERN-CONTAINS-DUPLICATES?
Joe Marshall [Wed, 4 Jan 2012 04:38:35 +0000 (20:38 -0800)]
Export PATTERN-CONTAINS-DUPLICATES?

12 years agoAdd PATTERN-CONTAINS-DUPLICATES?
Joe Marshall [Wed, 4 Jan 2012 04:33:43 +0000 (20:33 -0800)]
Add PATTERN-CONTAINS-DUPLICATES?

13 years agoMerge branch 'master' of git.sv.gnu.org:/srv/git/mit-scheme
Chris Hanson [Sun, 18 Dec 2011 09:04:20 +0000 (01:04 -0800)]
Merge branch 'master' of git.sv.gnu.org:/srv/git/mit-scheme

13 years agoFix over-long line and tweak indentation.
Chris Hanson [Sun, 18 Dec 2011 08:10:01 +0000 (00:10 -0800)]
Fix over-long line and tweak indentation.

13 years agoMark channel closed before interrupting in Unix's OS_channel_closed.
Taylor R Campbell [Tue, 13 Dec 2011 07:40:37 +0000 (07:40 +0000)]
Mark channel closed before interrupting in Unix's OS_channel_closed.

Interruption may restart the primitive that called it, which will
choke on a bad file descriptor.

13 years agoMerge from release-9.1 branch.
Chris Hanson [Wed, 9 Nov 2011 06:55:37 +0000 (22:55 -0800)]
Merge from release-9.1 branch.

13 years agoProperly fix default-target setting code. origin/release-9.1 release-9.1.1
Chris Hanson [Wed, 9 Nov 2011 06:27:20 +0000 (22:27 -0800)]
Properly fix default-target setting code.

13 years agoBump version number for new point release.
Chris Hanson [Wed, 9 Nov 2011 05:24:17 +0000 (21:24 -0800)]
Bump version number for new point release.

13 years agoAdd configure option to set default make target; use it in distrib files.
Chris Hanson [Wed, 9 Nov 2011 05:00:33 +0000 (21:00 -0800)]
Add configure option to set default make target; use it in distrib files.