Chris Hanson [Mon, 16 Apr 2018 02:16:56 +0000 (19:16 -0700)]
Implement scode-procedure-arity so that it can be run during cold load.
The lack of this prevented the cold load from running correctly when using
interpreted code, since it depended on a complex scode lambda implementation
that was loaded much later.
Chris Hanson [Mon, 16 Apr 2018 02:16:38 +0000 (19:16 -0700)]
Change guarantee to show context of error.
Chris Hanson [Sun, 15 Apr 2018 08:29:19 +0000 (01:29 -0700)]
Eliminate references to now-deprecated definitions.
Chris Hanson [Sun, 15 Apr 2018 08:29:02 +0000 (01:29 -0700)]
Put back inadvertently-deleted bindings.
Chris Hanson [Sun, 15 Apr 2018 08:19:00 +0000 (01:19 -0700)]
Mark deprecated list procedures and also more SRFI-1 procedures.
Chris Hanson [Sun, 15 Apr 2018 08:16:23 +0000 (01:16 -0700)]
Change find-{,not-}matching-items procedures to call find instead.
Also eliminate find-unique-{,not-}matching-items procedures which aren't used
and aren't documented. These are trivially solved with find-tail and any.
Chris Hanson [Sun, 15 Apr 2018 08:15:53 +0000 (01:15 -0700)]
Tweak indentation.
Chris Hanson [Sun, 15 Apr 2018 07:49:20 +0000 (00:49 -0700)]
Eliminate references to various list filters in favor of SRFI-1.
One unfortunate development is that somewhere in the compiler is some code that
depends on the result of a filtering option being newly allocated, while FILTER
shares the tail of the input list when it can. I modified FILTER to stop doing
that, because it wasn't obvious which of the modified calls in the compiler was
causing the problem.
Chris Hanson [Sun, 15 Apr 2018 00:59:41 +0000 (17:59 -0700)]
Optimize code generated for let*, let*-syntax, and letrec.
Thanks to Patric Jonsson for noticing this.
Chris Hanson [Sat, 14 Apr 2018 06:38:52 +0000 (23:38 -0700)]
Another round of downcasing.
Chris Hanson [Wed, 4 Apr 2018 06:23:23 +0000 (23:23 -0700)]
Downcase a lot more symbols and constants.
Chris Hanson [Tue, 3 Apr 2018 07:25:46 +0000 (00:25 -0700)]
Add program to find symbols that depend on case folding.
Chris Hanson [Mon, 2 Apr 2018 06:56:25 +0000 (23:56 -0700)]
Downcase a lot more symbols and constants.
Chris Hanson [Mon, 2 Apr 2018 04:07:46 +0000 (21:07 -0700)]
Export char-changes-when-X predicates and char sets.
Chris Hanson [Mon, 2 Apr 2018 00:38:03 +0000 (17:38 -0700)]
Downcase more symbols and constants.
Chris Hanson [Mon, 2 Apr 2018 00:02:49 +0000 (17:02 -0700)]
Downcase more symbols and constants.
Chris Hanson [Sun, 1 Apr 2018 23:58:08 +0000 (16:58 -0700)]
Downcase more symbols and constants.
Chris Hanson [Sun, 1 Apr 2018 23:52:10 +0000 (16:52 -0700)]
Downcase more symbols and constants.
Chris Hanson [Sun, 1 Apr 2018 23:42:19 +0000 (16:42 -0700)]
Downcase all symbols and constants.
Chris Hanson [Sun, 1 Apr 2018 23:31:35 +0000 (16:31 -0700)]
Change *parser-canonicalize-symbols?* to affect symbols only.
Chris Hanson [Sun, 1 Apr 2018 23:27:00 +0000 (16:27 -0700)]
Downcase symbols and constants in optiondb.
Chris Hanson [Sun, 1 Apr 2018 23:26:11 +0000 (16:26 -0700)]
Downcase symbols and constants in optiondb.
Chris Hanson [Sun, 1 Apr 2018 07:43:10 +0000 (00:43 -0700)]
Fix bug: mime decoder wasn't properly flushing its output.
Chris Hanson [Sat, 31 Mar 2018 07:02:50 +0000 (00:02 -0700)]
Fix typo in previous change.
Chris Hanson [Fri, 30 Mar 2018 05:59:08 +0000 (22:59 -0700)]
Eliminate define-expr-item-compiler in favor of define-item-compiler.
Not sure what I was thinking when I wrote that code; it was simply wrong.
Chris Hanson [Fri, 30 Mar 2018 05:58:50 +0000 (22:58 -0700)]
Move definition of access entirely into mit-syntax.
Chris Hanson [Fri, 30 Mar 2018 05:57:27 +0000 (22:57 -0700)]
Eliminate redundant code in cons-stream*.
Chris Hanson [Fri, 30 Mar 2018 05:24:02 +0000 (22:24 -0700)]
Reorder definitions in mit-macros into topical groups.
Chris Hanson [Fri, 30 Mar 2018 05:08:39 +0000 (22:08 -0700)]
Change spar-transformer->runtime to provide default environment.
Chris Hanson [Fri, 30 Mar 2018 05:03:25 +0000 (22:03 -0700)]
Rename :FOO syntax names so that they aren't potential keywords.
Chris Hanson [Fri, 30 Mar 2018 04:37:35 +0000 (21:37 -0700)]
Tweak quasiquote implementation to use shorter names.
Also refactor descend-pair slightly for brevity.
Chris Hanson [Fri, 30 Mar 2018 03:55:11 +0000 (20:55 -0700)]
Change and to be defined by syntax-rules.
Also belatedly define the feature full-unicode.
Chris Hanson [Thu, 29 Mar 2018 07:00:51 +0000 (00:00 -0700)]
Rewrite local-declare using syntax-rules.
Chris Hanson [Thu, 29 Mar 2018 06:09:43 +0000 (23:09 -0700)]
Convert define-integrable, fluid-let, and paramaterize to scons-rule.
Chris Hanson [Thu, 29 Mar 2018 06:09:08 +0000 (23:09 -0700)]
Change unsyntaxer:* variables to be parameters and export them.
Chris Hanson [Thu, 29 Mar 2018 05:31:30 +0000 (22:31 -0700)]
Fix broken unsyntaxing of scode sequences.
Also fix over-long lines.
Chris Hanson [Thu, 29 Mar 2018 04:42:19 +0000 (21:42 -0700)]
Make second arg to scons-set! optional.
Chris Hanson [Thu, 29 Mar 2018 04:20:34 +0000 (21:20 -0700)]
Refactor how keywords are matched.
* spar-arg:compare renamed to spar-arg:id=? and second argument is optional,
defaulting to spar-arg:form.
* patterns (noise ...), (noise-keyword ...), and (keyword ...) are eliminated.
* New pattern (ignore-if predicate arg...) ignores a subform if calling the
predicate is satisfied.
* Renamed (value-if ...) to (keep-if ...) with same semantics: keeps a subform
if calling the predicate is satisfied.
* New pattern (value arg) is like (values arg...) but a little clearer.
Chris Hanson [Thu, 29 Mar 2018 04:06:23 +0000 (21:06 -0700)]
Change spar pattern (elt ...) to (subform ...).
Chris Hanson [Thu, 29 Mar 2018 03:48:26 +0000 (20:48 -0700)]
Rename spar*elt* to spar*subform*.
Chris Hanson [Wed, 28 Mar 2018 06:30:54 +0000 (23:30 -0700)]
Change pattern->spar to make * and + operators implicitly listify.
Chris Hanson [Wed, 28 Mar 2018 05:00:16 +0000 (22:00 -0700)]
Eliminate special bindings for constants in pattern->spar.
Also change leading : to $ to avoid making names look like keywords.
Chris Hanson [Wed, 28 Mar 2018 04:41:07 +0000 (21:41 -0700)]
Rewrite patterns as (elt (list ...)) rather than (list (elt ...)).
Chris Hanson [Wed, 28 Mar 2018 04:34:09 +0000 (21:34 -0700)]
Convert and-let* to scons-rule.
Chris Hanson [Wed, 28 Mar 2018 04:33:56 +0000 (21:33 -0700)]
Add some simple optimizations.
Chris Hanson [Wed, 28 Mar 2018 00:17:55 +0000 (17:17 -0700)]
Convert a bunch more macros to scons-rule.
Chris Hanson [Wed, 28 Mar 2018 00:17:36 +0000 (17:17 -0700)]
Use folding to eliminate loops in macros.
Chris Hanson [Tue, 27 Mar 2018 07:29:18 +0000 (00:29 -0700)]
Rewrite COND and DO to use spar rules.
Chris Hanson [Tue, 27 Mar 2018 06:54:01 +0000 (23:54 -0700)]
Change scons-call to not quote its operator.
Instead one must explicitly call scons-close when necessary.
Chris Hanson [Tue, 27 Mar 2018 06:53:18 +0000 (23:53 -0700)]
Add context to items, for errors that happen during item compilation.
Chris Hanson [Tue, 27 Mar 2018 05:07:07 +0000 (22:07 -0700)]
Formalize the context of a syntax error.
Chris Hanson [Mon, 26 Mar 2018 08:32:47 +0000 (01:32 -0700)]
Implement spar-not.
Chris Hanson [Mon, 26 Mar 2018 02:13:33 +0000 (19:13 -0700)]
Rewrite COND-EXPAND to use spar rule.
Chris Hanson [Mon, 26 Mar 2018 00:05:17 +0000 (17:05 -0700)]
Change spars to set up error context when calling out to procedures.
Chris Hanson [Sun, 25 Mar 2018 15:49:44 +0000 (08:49 -0700)]
Tweak CASE to use new keyword pattern.
Chris Hanson [Sun, 25 Mar 2018 15:46:54 +0000 (08:46 -0700)]
Rename spar-seq to spar-and.
Chris Hanson [Sun, 25 Mar 2018 15:36:58 +0000 (08:36 -0700)]
Tweak spar patterns.
* Rename (quote <x>) to (noise <x>).
* Rename (keyword <id>) to (noise-keyword <id>).
* Implement (keyword <id>) that matches <id> and then pushes it.
Chris Hanson [Sun, 25 Mar 2018 15:31:23 +0000 (08:31 -0700)]
Clarify that spar-push-if pushes the form, and spar-push-elt the elt.
Chris Hanson [Sat, 24 Mar 2018 06:52:39 +0000 (23:52 -0700)]
Rewrite CASE as a spar-transformer.
Chris Hanson [Sat, 24 Mar 2018 06:04:15 +0000 (23:04 -0700)]
Implement spar-if and associated pattern.
Chris Hanson [Sat, 24 Mar 2018 05:00:08 +0000 (22:00 -0700)]
Simplify spars pattern language.
Also change some of the terms to be clearer: I'm anticipating how the
documentation will read.
Chris Hanson [Fri, 23 Mar 2018 06:51:23 +0000 (23:51 -0700)]
Eliminate parse-define-form.
Chris Hanson [Fri, 23 Mar 2018 06:33:38 +0000 (23:33 -0700)]
Rewrite core of pattern compiler to use rules.
Chris Hanson [Fri, 23 Mar 2018 06:32:26 +0000 (23:32 -0700)]
Implement spar-arg:compare and (keyword id) pattern.
Chris Hanson [Thu, 22 Mar 2018 07:10:25 +0000 (00:10 -0700)]
More macros converted to new model, plus a lot of fixes and tweaks.
Chris Hanson [Thu, 22 Mar 2018 04:16:07 +0000 (21:16 -0700)]
Implement syntax-constructor ("scons") mechanism.
This eliminates a potential problem with RSC and ER macros, which typically
construct ordinary list structure using quasiquote and renaming the keywords.
Unfortunately this will fail if the use environment has redefined the quasiquote
and/or quote keywords. These constructors are careful not to use any keywords
except renamed ones; they also hide most of the renaming while providing a
simple procedural interface.
Chris Hanson [Thu, 22 Mar 2018 03:52:29 +0000 (20:52 -0700)]
Handle case where debugging-info has an old-style pathname.
Chris Hanson [Thu, 22 Mar 2018 03:31:38 +0000 (20:31 -0700)]
Don't write pathnames into debugging info.
Chris Hanson [Thu, 22 Mar 2018 00:14:53 +0000 (17:14 -0700)]
Implement spar-top-level to cut down on boilerplate.
Chris Hanson [Wed, 21 Mar 2018 23:52:30 +0000 (16:52 -0700)]
Tweak.
Chris Hanson [Wed, 21 Mar 2018 22:45:04 +0000 (15:45 -0700)]
Change record predicate to check for child types. Reported by Arthur.
Chris Hanson [Wed, 21 Mar 2018 08:50:54 +0000 (01:50 -0700)]
Make record inheritance comply with SRFI 131.
Chris Hanson [Wed, 21 Mar 2018 07:40:16 +0000 (00:40 -0700)]
Implement pattern language to make spars more terse.
Chris Hanson [Wed, 21 Mar 2018 05:53:32 +0000 (22:53 -0700)]
Add forgotten export.
Chris Hanson [Tue, 20 Mar 2018 05:34:31 +0000 (22:34 -0700)]
Change spar-match-null to a procedure.
Chris Hanson [Mon, 19 Mar 2018 03:38:53 +0000 (20:38 -0700)]
Simplify spar interface a bit more.
Chris Hanson [Mon, 19 Mar 2018 03:10:00 +0000 (20:10 -0700)]
Implement record inheritance at Arthur's request.
Chris Hanson [Sun, 18 Mar 2018 22:01:23 +0000 (15:01 -0700)]
Eliminate default-inits arg from make-record-type.
This will allow all optional args to be removed after 9.3.
Chris Hanson [Sat, 17 Mar 2018 23:42:40 +0000 (16:42 -0700)]
Streamline definition of record-type proxies.
Chris Hanson [Sat, 17 Mar 2018 23:38:30 +0000 (16:38 -0700)]
Allow a record to be both applicable and fasdumpable.
Chris Hanson [Sat, 17 Mar 2018 23:38:13 +0000 (16:38 -0700)]
Restrict access to type proxies.
Chris Hanson [Sat, 17 Mar 2018 07:56:09 +0000 (00:56 -0700)]
Change default value of repl:write-result-hash-numbers? as requested by GJS.
Chris Hanson [Fri, 16 Mar 2018 05:52:45 +0000 (22:52 -0700)]
Change pathname representation to be a fasdumpable record.
Chris Hanson [Fri, 16 Mar 2018 05:52:24 +0000 (22:52 -0700)]
Use proxy instances for set-record-type-fasdumpable!.
Chris Hanson [Fri, 16 Mar 2018 05:52:08 +0000 (22:52 -0700)]
Fix typo in previous change.
Chris Hanson [Fri, 16 Mar 2018 05:28:31 +0000 (22:28 -0700)]
Implement fasdumpable records.
This is restricted to the runtime system since each type must have a
pre-allocated constant to represent it in the proxy table.
At the moment an applicable record can't be fasdumpable too. That can be fixed
by teaching the microcode about the proxy mechanism, but for now it's not
necessary.
Chris Hanson [Thu, 15 Mar 2018 04:37:56 +0000 (21:37 -0700)]
In pp, treat named list/vector specially.
Chris Hanson [Thu, 15 Mar 2018 04:29:03 +0000 (21:29 -0700)]
Use cached predicate dispatchers only where tagging is ubiquitous.
Chris Hanson [Wed, 14 Mar 2018 05:54:25 +0000 (22:54 -0700)]
Implement applicable records.
Chris Hanson [Tue, 13 Mar 2018 05:18:37 +0000 (22:18 -0700)]
Change representation of dispatch tags to eliminated nested "extra" vector.
Chris Hanson [Wed, 7 Mar 2018 04:52:32 +0000 (20:52 -0800)]
Eliminate two unused procedures.
Chris Hanson [Wed, 7 Mar 2018 04:48:07 +0000 (20:48 -0800)]
Guarantee that capture-syntactic-environment preserves error context.
Chris Hanson [Wed, 7 Mar 2018 02:26:54 +0000 (18:26 -0800)]
Some more tweaks to the low-level macro interfaces.
Chris Hanson [Wed, 7 Mar 2018 01:47:16 +0000 (17:47 -0800)]
Implement first two macros using syntax-parser.
Chris Hanson [Wed, 7 Mar 2018 01:46:34 +0000 (17:46 -0800)]
More tweaks to syntax-parser interface.
Chris Hanson [Wed, 7 Mar 2018 01:26:11 +0000 (17:26 -0800)]
Tweak interface for syntax-parser macros.
Chris Hanson [Sun, 4 Mar 2018 06:23:23 +0000 (22:23 -0800)]
Refactor syntax-low to improve support for spar transformers.
Chris Hanson [Sat, 3 Mar 2018 18:58:32 +0000 (10:58 -0800)]
Eliminate a bunch of now-unused classifier procedures.
Chris Hanson [Thu, 1 Mar 2018 06:18:00 +0000 (22:18 -0800)]
Split compile-expr-item into expr and non-expr versions.
Chris Hanson [Wed, 28 Feb 2018 06:27:22 +0000 (22:27 -0800)]
Add weak-pair support to equal?.