publishing

Subject: publishing
From: Todd D Millstein (todd@cs.washington.edu)
Date: Tue Mar 20 2001 - 14:10:33 PST

• sorted by: [ date ] [ thread ] [ subject ] [ author ]
• Next message: Jonathan Aldrich: "ArchJava paper draft"
• Previous message: Craig Chambers: "[Fwd: PLT is moving]"
• Next in thread: Craig Chambers: "publishing"

I'm publishing some small changes to whirlwind that I've had lying
around for a while. In my previous publish, the building of the gf
and class hierarchies relied on a few assumptions. Those assumptions
are now checked. They are described below:

    1) Generic functions and classes should be created only in "initial"
       declarations.

    2) Methods should only be added to generic functions declared in the
       same scope.

    3) Classes should only inherit from classes declared in the same
       scope.

It's possible we'll want to relax those last two restrictions in the
future. They are fairly restrictive w.r.t making non-trivial use of
nested declarations.

Todd

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

• Next message: Jonathan Aldrich: "ArchJava paper draft"
• Previous message: Craig Chambers: "[Fwd: PLT is moving]"
• Next in thread: Craig Chambers: "publishing"
• Maybe reply: Todd D Millstein: "publishing"

This archive was generated by hypermail 2b25 : Tue Mar 20 2001 - 14:11:04 PST