Subject: publishing
From: Craig Chambers (chambers@cs.washington.edu)
Date: Thu Feb 08 2001 - 13:59:46 PST
I'm publishing my system, including (in a little bit) a new Vortex
executable with an improved typechecker.
*) I finished writing implementations of many Java native methods,
including all that we'll need to run towers and probably most of our
standard Java benchmarks. Various changes to the Java front-end, the
JV-em script, and various .wil files were made, including regenerating
all the Java .wil stdlib and towers files.
*) I added a "return" part of a prim stmt, for primitives that are
known not to fall-through. This aided rep-checking of native
methods. I did a little reorganization of the rep-checking/-computing
code in the process.
*) I added a little support to track the runtime system configuration
in Whirlwind, and to generate a Makefile for the compiled program.
*) I reorganized the vortex/runtime/wil directory, which now contains
the initial sketch of a default runtime system for Whirlwind to use.
(I.e., the current Whirlwind configuration uses stuff from this
directory subtree as its runtime system.) In the future, we'll
probably have different runtime systems for different input languages,
with large parts of those runtime systems being shared.
vortex/runtime/wil will probably hold the shared parts of the runtime
systems.
*) I fixed a small problem with how included files were stored and
processed, so that now Whirlwind will visit files (e.g. for
typechecking or compilation) in the order that they appear in the
source rather than essentially random. No semantic difference, but it
makes the user experience more natural.
*) I augmented the Vortex typechecker to enforce that anonymous object
creation expressions inherit from a non-abstract parent. This matches
our current coding style, but I think actually it's not required, and
not sufficient in the case of an anonymous object creation expression
that inherits from multiple parents, if we wish to ignore anonymous
objects when doing implementation-side typechecking.
*) I did a whole bunch of simple reformatting, inserting line breaks,
inserting or taking out spaces, taking out unnecessary closure return
types, etc.
-- Craig
This archive was generated by hypermail 2b25 : Thu Feb 08 2001 - 13:59:50 PST