publishing


Subject: publishing
From: Craig Chambers (chambers@cs.washington.edu)
Date: Fri Feb 16 2001 - 17:06:10 PST


I'm publishing some small changes, essentially none to Whirlwind,
mostly for Vass to get some of my changes to the typechecker.

*) I made some small changes to the typechecker output for
implementation-side typechecking.

*) I modified a bunch of stdlib & Vortex formal argument declarations
to use the @: sugar in more cases. These new cases were sugars
defined after the code was originally written, but after the sugars
became fully supported, we never went back and cleaned up the old code
to exploit them.

-- Craig
_______________________________________________
Cecil mailing list
Cecil@cs.washington.edu
http://majordomo.cs.washington.edu/mailman/listinfo/cecil



This archive was generated by hypermail 2b25 : Fri Feb 16 2001 - 17:07:04 PST