Subject: publishing
From: Craig Chambers (chambers@cs.washington.edu)
Date: Mon Jan 22 2001 - 14:44:38 PST
At long last, I'm publishing my system, including a new vortex and
whirlwind executable. I'll be installing a new whirlwind.nCCP file
later today.
*) I did a bunch of work to tease apart the code from Vortex that's
actually used by Whirlwind from all the other crap. Now Whirlwind
only includes about a dozen Vortex files, and actually uses all the
code in those files. The whirlwind-patches file has been removed.
Now, we get no type errors when typechecking Whirlwind, nor do we get
any compile error messages. We may incrementally add some Vortex
files back into Whirlwind, as we see their need, but we have a
reasonably clean base on which to build now.
*) I did a bunch of work to support incremental recompilation in
Whirlwind. Now a source file can be touched/modified, and only those
files that depended on that source file will be recompiled. Errors
are checked, and compilation stops immediately if any name resolution
or other errors occur at the global level. I haven't done too much
testing of this, and there are some things that could be improved
further, but it's a distinct improvement over the previous state of
affairs and I think it's reasonable for our present purposes. (One
thing I'd particularly like to do is to make global typechecking
incremental, with only changed/invalidated files need rechecking.)
*) I added a maybe object, akin to ML's option datatype. I'm
replacing my few uses of not_defined with maybes, and you should too,
if doing something better isn't appropriate.
*) I added some type parameters to the Analysis, AnalysisAction,
AnalysisInfo, and AnalysisGraph objects, and their current subclasses,
to enable more correct typechecking. Thanks for Vass for reminding me
how the forall construct enables me to avoid some gratuitous type
parameters.
*) I factored out a TopoAnalysisPriority object, to avoid some code
duplication.
*) I added support for prim statements and prim global declarations to
Wil (for embedding C/C++ code in Wil output).
*) I wrote some native methods and other primitives in
vortex/Java/wil-stdlib/native/*.wil. Note that you have to rebuild
your Whirlwind compiler with my changes to the parser in order to
parse these .wil files.
*) I added an on_error function akin to unwind_protect. See the
commentary in error.cecil.
*) I renamed the "graphs" command to Whirlwind to "globals".
*) I fixed a performance bug with topological numbering where the
incoming edges were getting misnumbered. Probably didn't matter, but
it's fixed nonetheless.
*) I added (** debug **) pragmas to the top of all non-trivial
Whirlwind files. I think.
*) I updated all the copyright dates in the source files. So many
files looked changed, but only in trivial ways.
-- Craig
This archive was generated by hypermail 2b25 : Mon Jan 22 2001 - 14:44:50 PST