Chris Hanson [Tue, 27 Nov 2001 02:53:22 +0000 (02:53 +0000)]
Make another attempt to fix the problem with imports. The previous
fix didn't work when the analysis information was absent.
Chris Hanson [Mon, 26 Nov 2001 20:26:36 +0000 (20:26 +0000)]
Update FSF address.
Chris Hanson [Mon, 26 Nov 2001 19:52:48 +0000 (19:52 +0000)]
Distribution no longer includes "compiler.com" or "edwin.com" bands.
Chris Hanson [Mon, 26 Nov 2001 19:52:11 +0000 (19:52 +0000)]
Distribution no longer includes "compiler.com" or "edwin.com" bands.
Chris Hanson [Mon, 26 Nov 2001 19:48:14 +0000 (19:48 +0000)]
Update for 7.6.0 release. Rewrite release notes; update version
references; update list of supported Windows versions; tweak wording
that describes how to start Scheme under Windows.
Chris Hanson [Mon, 26 Nov 2001 19:21:37 +0000 (19:21 +0000)]
Document M-o command. Add section describing new sort commands.
Chris Hanson [Mon, 26 Nov 2001 19:15:10 +0000 (19:15 +0000)]
Document M-o command. Add section describing new sort commands.
Chris Hanson [Mon, 26 Nov 2001 19:14:50 +0000 (19:14 +0000)]
Document M-o command. Add section describing new sort commands.
Chris Hanson [Mon, 26 Nov 2001 19:11:18 +0000 (19:11 +0000)]
Tweak merge sort to be stable.
Chris Hanson [Mon, 26 Nov 2001 18:16:01 +0000 (18:16 +0000)]
Write first draft of XML section.
Chris Hanson [Wed, 21 Nov 2001 02:01:02 +0000 (02:01 +0000)]
Write first draft of Unicode section.
Chris Hanson [Wed, 21 Nov 2001 01:27:52 +0000 (01:27 +0000)]
Change WELL-FORMED-CODE-POINTS-LIST? to require that the argument be a
proper list.
Chris Hanson [Tue, 20 Nov 2001 22:27:55 +0000 (22:27 +0000)]
Write first draft of parser-macro section.
Chris Hanson [Tue, 20 Nov 2001 21:48:04 +0000 (21:48 +0000)]
Write first drafter of *PARSER section.
Chris Hanson [Tue, 20 Nov 2001 19:38:00 +0000 (19:38 +0000)]
Eliminate the "+" notation for MIT Scheme extensions. This is
ridiculous; virtually the entire manual is an extension.
First partial draft of parser-language section. This covers the
introduction and the subsection on *MATCHER.
Chris Hanson [Tue, 20 Nov 2001 19:37:44 +0000 (19:37 +0000)]
Eliminate the "+" notation for MIT Scheme extensions. This is
ridiculous; virtually the entire manual is an extension.
First partial draft of parser-language section. This covers the
introduction and the subsection on *MATCHER.
Chris Hanson [Tue, 20 Nov 2001 04:13:00 +0000 (04:13 +0000)]
Optimizer wasn't deleting unused procedure-valued bindings if the
procedure had side-effects. The bug fix to make top-level failure
continuations do backtracking prevented them from being substituted
properly; the substitution predicate was extended to allow this.
Also, some valuable substitutions weren't being seen because the
optimizers were being run in a fixed order. After the peephole
optimization is done, it reveals more possibilities for substitution.
So now the optimizers are re-run until nothing more can be done.
Chris Hanson [Tue, 20 Nov 2001 04:07:08 +0000 (04:07 +0000)]
Top-level failure continuations must do backtracking.
Chris Hanson [Mon, 19 Nov 2001 20:19:48 +0000 (20:19 +0000)]
Change imap-url-mailbox to always be a string. The root "mailbox" is
"", and the root container is "/". Both of these are handled
specially when converting the URL to a string.
This fixes the bug that allowed the malformed container URL
"imap://localhost//".
Chris Hanson [Sun, 18 Nov 2001 04:58:19 +0000 (04:58 +0000)]
Change file naming for cache files, so that it satisfies more
stringent Windows requirements. Make sure that directory structure
exists before locking a folder.
Chris Hanson [Sun, 18 Nov 2001 04:53:04 +0000 (04:53 +0000)]
Change file naming for cache files, so that it satisfies more
stringent Windows requirements. Make sure that directory structure
exists before locking a folder.
Chris Hanson [Sat, 17 Nov 2001 06:01:20 +0000 (06:01 +0000)]
Fix missing "Unicode" reference.
Chris Hanson [Sat, 17 Nov 2001 05:54:37 +0000 (05:54 +0000)]
Write documentation for parser-buffer abstraction.
Chris Hanson [Fri, 16 Nov 2001 21:15:11 +0000 (21:15 +0000)]
Document the REXP abstraction.
Chris Hanson [Fri, 16 Nov 2001 21:05:07 +0000 (21:05 +0000)]
Document the REXP abstraction.
Chris Hanson [Fri, 16 Nov 2001 21:02:36 +0000 (21:02 +0000)]
Document the REXP abstraction.
Chris Hanson [Fri, 16 Nov 2001 20:04:02 +0000 (20:04 +0000)]
Change ASCII to ISO-8859-1 where needed. Document FLO:FINITE?.
Update edition/version/date in header.
Chris Hanson [Thu, 15 Nov 2001 05:26:26 +0000 (05:26 +0000)]
Fix bug: imported bindings in package extensions weren't being
constructed.
Chris Hanson [Wed, 14 Nov 2001 21:11:13 +0000 (21:11 +0000)]
Update version number for 7.6.0 release.
Chris Hanson [Wed, 14 Nov 2001 20:53:32 +0000 (20:53 +0000)]
Fix some problems in the pointer optimization: pointers were being
incorrect elided across lambda expressions, and external pointer
bindings were being elided. The latter is fixed by introducing a
mechanism to distinguish internal identifiers, which eliminates the
need for the WITH-POINTER kludge.
Chris Hanson [Wed, 14 Nov 2001 20:19:13 +0000 (20:19 +0000)]
Fix some problems in the pointer optimization: pointers were being
incorrect elided across lambda expressions, and external pointer
bindings were being elided. The latter is fixed by introducing a
mechanism to distinguish internal identifiers, which eliminates the
need for the WITH-POINTER kludge.
Chris Hanson [Wed, 14 Nov 2001 18:27:17 +0000 (18:27 +0000)]
Change naming of peephole optimizer. Fold all optimization into
GENERATE-EXTERNAL-PROCEDURE.
Chris Hanson [Wed, 14 Nov 2001 18:15:31 +0000 (18:15 +0000)]
Change naming of peephole optimizer. Fold all optimization into
GENERATE-EXTERNAL-PROCEDURE.
Chris Hanson [Wed, 14 Nov 2001 18:03:32 +0000 (18:03 +0000)]
Add optimizer to elide unnecessary buffer-pointer assignments.
Chris Hanson [Wed, 14 Nov 2001 05:53:37 +0000 (05:53 +0000)]
Update for name changes in runtime system:
list-transform-positive => keep-matching-items
list-transform-negative => delete-matching-items
list-search-positive => find-matching-item
Chris Hanson [Sun, 11 Nov 2001 06:06:10 +0000 (06:06 +0000)]
Runtime support for *PARSER now integrated into the runtime system.
Chris Hanson [Sun, 11 Nov 2001 06:02:52 +0000 (06:02 +0000)]
Move unicode support into runtime system.
Chris Hanson [Sun, 11 Nov 2001 05:56:08 +0000 (05:56 +0000)]
Fix typo.
Chris Hanson [Sun, 11 Nov 2001 05:52:30 +0000 (05:52 +0000)]
Move parser-buffer abstraction into runtime system.
Chris Hanson [Sun, 11 Nov 2001 05:45:57 +0000 (05:45 +0000)]
Reorganize code for presentation style -- no change in function. Add
comments explaining how new optimizer works. Split up some large
procedures into smaller focused pieces. Reorder code to improve
readability.
Chris Hanson [Sat, 10 Nov 2001 06:31:47 +0000 (06:31 +0000)]
Add comment explaining the WITH-POINTER kludge.
Chris Hanson [Fri, 9 Nov 2001 21:38:47 +0000 (21:38 +0000)]
Implement substitution optimizer, which does a kind of data-flow
analysis to eliminate unnecessary lambda expressions.
Chris Hanson [Fri, 9 Nov 2001 21:37:55 +0000 (21:37 +0000)]
Implement substitution optimizer, which does a kind of data-flow
analysis to eliminate unnecessary lambda expressions.
Chris Hanson [Fri, 9 Nov 2001 21:37:10 +0000 (21:37 +0000)]
Need SOS loaded for proper compilation.
Chris Hanson [Tue, 6 Nov 2001 05:01:50 +0000 (05:01 +0000)]
Add locking mechanism for the IMAP folder cache. There is one lock
per folder, and the lock is held only while the folder cache is being
read and/or written. IMAIL will try three times to obtain the lock,
waiting one second between retries; thereafter it ignores the cache
until the lock becomes available.
Chris Hanson [Tue, 6 Nov 2001 04:48:23 +0000 (04:48 +0000)]
Add locking mechanism for the IMAP folder cache. There is one lock
per folder, and the lock is held only while the folder cache is being
read and/or written. IMAIL will try three times to obtain the lock,
waiting one second between retries; thereafter it ignores the cache
until the lock becomes available.
Chris Hanson [Mon, 5 Nov 2001 21:32:44 +0000 (21:32 +0000)]
Make sure *PARSER is loaded for IMAIL. It's not necessary to load it
just for the URL file.
Chris Hanson [Mon, 5 Nov 2001 21:24:54 +0000 (21:24 +0000)]
Move URL support back to IMAIL from the runtime system.
Chris Hanson [Mon, 5 Nov 2001 21:19:37 +0000 (21:19 +0000)]
Move URL support back to IMAIL from the runtime system.
Chris Hanson [Mon, 5 Nov 2001 21:05:56 +0000 (21:05 +0000)]
Move this back to IMAIL from the runtime system. Unlike anything else
in the runtime system, it requires *PARSER to compile, and I'm not
ready to add that dependency.
Chris Hanson [Mon, 5 Nov 2001 20:19:05 +0000 (20:19 +0000)]
Add missing option dependencies.
Chris Hanson [Mon, 5 Nov 2001 19:46:24 +0000 (19:46 +0000)]
Many changes to closure analysis require incrementing version number.
Chris Hanson [Mon, 5 Nov 2001 18:57:11 +0000 (18:57 +0000)]
Add long explanation of the analysis.
Chris Hanson [Mon, 5 Nov 2001 18:13:12 +0000 (18:13 +0000)]
Stylistic changes.
Chris Hanson [Mon, 5 Nov 2001 18:12:13 +0000 (18:12 +0000)]
Three fixes that together resolve the problem of compiling the XML
parser. (1) FOR-EACH-CALLEE! claimed to examine all of the callees,
but it wasn't looking at procedures called from descendant blocks that
had been disowned. (2) When removing dependent constraints, due to
closure, constraints that had indirect dependencies on the now-closed
procedure weren't being removed. (3) When adding undrifting
constraints due to closure contagion, it's wrong to constrain the
invocation block of a trivial closure.
Chris Hanson [Sat, 3 Nov 2001 05:16:48 +0000 (05:16 +0000)]
Use new names for LIST-TRANSFORM- procedures; eliminate private
definition for LIST-TRANSFORM-NEGATIVE!. Open up definition of
FOR-EACH-CALLEE! so that it can be experimented with. Change
implementation of undrifting conditions so that they can have multiple
dependencies.
Chris Hanson [Fri, 2 Nov 2001 17:10:33 +0000 (17:10 +0000)]
Add indentation bindings for new names in runtime system.
Chris Hanson [Fri, 2 Nov 2001 17:09:51 +0000 (17:09 +0000)]
Fix bug: ENVIRONMENT-BOUND? wasn't examining ancestors of
compiled-code environment frames.
Chris Hanson [Fri, 2 Nov 2001 17:08:02 +0000 (17:08 +0000)]
Fix bug: ENVIRONMENT-BOUND? wasn't examining ancestors of
compiled-code environment frames.
Chris Hanson [Fri, 2 Nov 2001 14:57:50 +0000 (14:57 +0000)]
Rearrange code to separate out manipulation of constraints list.
Chris Hanson [Fri, 2 Nov 2001 04:59:12 +0000 (04:59 +0000)]
Add explicit CONDITION datatype to track the conditions that tag
undrifting constraints. This simplifies the code and clarifies what
is happening.
Also change PENDING-UNDRIFTING? to examine the conditions for validity
in the same way that UNDRIFT-PROCEDURES! does.
Chris Hanson [Fri, 2 Nov 2001 03:57:56 +0000 (03:57 +0000)]
Guarantee that empty constraint entries are entirely removed.
Chris Hanson [Fri, 2 Nov 2001 03:28:09 +0000 (03:28 +0000)]
Change names:
list-transform-positive => keep-matching-items
list-transform-negative => delete-matching-items
list-search-positive => find-matching-item
Implement new procedures:
keep-matching-items!
delete-matching-items!
Chris Hanson [Thu, 1 Nov 2001 21:29:00 +0000 (21:29 +0000)]
Add hooks to generate debugging info about constraints.
Chris Hanson [Thu, 1 Nov 2001 18:42:59 +0000 (18:42 +0000)]
Use RVALUE/TRUE-PROCEDURE? where appropriate.
Chris Hanson [Thu, 1 Nov 2001 18:37:39 +0000 (18:37 +0000)]
Rewrite for style.
Chris Hanson [Thu, 1 Nov 2001 18:30:05 +0000 (18:30 +0000)]
Change value of PROCEDURE-FREE-CALLEES so that it contains sets of
blocks rather than lists of variables.
Chris Hanson [Tue, 30 Oct 2001 19:29:11 +0000 (19:29 +0000)]
Change M-x imail-file-message to default to the last output file.
Chris Hanson [Tue, 30 Oct 2001 19:26:40 +0000 (19:26 +0000)]
Use PROMPT-OPTIONS-DEFAULT-STRING to determine default prompt. This
allows caller to specify that history is to be used.
Chris Hanson [Tue, 30 Oct 2001 19:25:15 +0000 (19:25 +0000)]
Implement PROMPT-OPTIONS-DEFAULT-STRING to determine whether a set of
options specifies a default prompt string.
Chris Hanson [Thu, 25 Oct 2001 17:18:24 +0000 (17:18 +0000)]
Modern GNU/Linux implementations provide full siginfo and sigcontext
support, so use that instead of kludging our own.
Chris Hanson [Thu, 25 Oct 2001 17:17:19 +0000 (17:17 +0000)]
Add code to reinitialize the floating-point control word on IA-32
machines when SIGFPE is received. When this isn't done, all of the
traps are disabled.
Chris Hanson [Thu, 25 Oct 2001 15:57:16 +0000 (15:57 +0000)]
Add workaround for non-standard MIME encoding types used by Microsoft.
Chris Hanson [Wed, 24 Oct 2001 00:46:29 +0000 (00:46 +0000)]
Implement RVALUE/TRUE-PROCEDURE?.
Chris Hanson [Tue, 23 Oct 2001 20:31:48 +0000 (20:31 +0000)]
Fix problem: I was interpreting the meaning of mhash_count
incorrectly.
Chris Hanson [Mon, 22 Oct 2001 19:41:46 +0000 (19:41 +0000)]
Update for style.
Chris Hanson [Mon, 22 Oct 2001 19:17:22 +0000 (19:17 +0000)]
Update for style.
Chris Hanson [Mon, 22 Oct 2001 19:04:50 +0000 (19:04 +0000)]
Update for style.
Chris Hanson [Mon, 22 Oct 2001 00:28:09 +0000 (00:28 +0000)]
Add FLO:FINITE?.
Chris Hanson [Wed, 17 Oct 2001 03:26:55 +0000 (03:26 +0000)]
Fix newline convention of debugging tools to match current convention.
Chris Hanson [Tue, 16 Oct 2001 20:13:03 +0000 (20:13 +0000)]
Fix problem in declaration parser.
Chris Hanson [Tue, 16 Oct 2001 19:42:53 +0000 (19:42 +0000)]
Add *PARSER and XML options.
Chris Hanson [Tue, 16 Oct 2001 17:56:47 +0000 (17:56 +0000)]
Fix bug: don't avoid coloring part of the graph just because it is
going to be inlined later. There is probably a subtle bug here, but
finding it will require too much thought, and this fix appears to
work.
Chris Hanson [Tue, 16 Oct 2001 17:52:33 +0000 (17:52 +0000)]
Add code to reuse existing buffer pointers where possible.
Chris Hanson [Tue, 16 Oct 2001 16:41:13 +0000 (16:41 +0000)]
OK, this time it's right. I've gone through all the combinations, and
everything makes sense. There are some minor efficiency issues which
will be resolved in the next revision.
Chris Hanson [Tue, 16 Oct 2001 16:38:37 +0000 (16:38 +0000)]
Fix bug: don't avoid coloring part of the graph just because it is
going to be inlined later. There is probably a subtle bug here, but
finding it will require too much thought, and this fix appears to
work.
Chris Hanson [Tue, 16 Oct 2001 04:59:25 +0000 (04:59 +0000)]
Rewrite control structures again. These seem correct, after many
hours of thought and testing. Also make new top-level wrapper for
code generators, and eliminate a couple of unused definitions.
Chris Hanson [Mon, 15 Oct 2001 17:01:10 +0000 (17:01 +0000)]
Complete rewrite of output control structure. New structure supports
backtracking properly, doing greedy matching until a failure occurs,
then backtracking arbitrarily deeply to find a way forward.
Chris Hanson [Sun, 14 Oct 2001 02:00:13 +0000 (02:00 +0000)]
Fix bug: large message-body parts were being stored in the cache as
zero-length strings.
Chris Hanson [Sat, 13 Oct 2001 05:54:33 +0000 (05:54 +0000)]
Rewrite so we don't depend on matchers lifting complex expressions
upwards.
Chris Hanson [Wed, 10 Oct 2001 05:10:33 +0000 (05:10 +0000)]
Fix LOAD-OPTION so that a loading option can load any other option.
Chris Hanson [Wed, 10 Oct 2001 04:52:37 +0000 (04:52 +0000)]
The parser language developed for IMAIL has been replaced by the
newer *PARSER facility.
Chris Hanson [Wed, 10 Oct 2001 04:28:49 +0000 (04:28 +0000)]
The parser language developed for IMAIL has been replaced by the
newer *PARSER facility.
Chris Hanson [Tue, 9 Oct 2001 21:17:25 +0000 (21:17 +0000)]
Fix quoting problem.
Chris Hanson [Tue, 9 Oct 2001 17:52:00 +0000 (17:52 +0000)]
Fix case of symbol.
Chris Hanson [Tue, 9 Oct 2001 16:02:43 +0000 (16:02 +0000)]
Interpret bare string or char as self.
Chris Hanson [Tue, 9 Oct 2001 16:02:22 +0000 (16:02 +0000)]
Interpret bare string or char to be noise.
Chris Hanson [Fri, 5 Oct 2001 19:20:30 +0000 (19:20 +0000)]
Remove URL and rexp support, which are now in the runtime system.
Chris Hanson [Fri, 5 Oct 2001 19:13:30 +0000 (19:13 +0000)]
Don't forget to compile *parser and xml support.
Chris Hanson [Fri, 5 Oct 2001 19:11:15 +0000 (19:11 +0000)]
Don't clear the screen on restore.