At 05:15 PM 7/29/2004 -0700, Shawn Bowers wrote:
Confusingly, there is also a type called unknown, which is the bottom most
type in the lattice. And, unknown often seems to have a special meaning,
i.e., it somehow violates covariance/contravariance rules.
I've run into this issue also. The bottom of the type lattice
should be "token" (a pure token with no value)...
This would preserve the co/contravariance rules.
Comments?
Edward
------------
Edward A. Lee, Professor
518 Cory Hall, UC Berkeley, Berkeley, CA 94720
phone: 510-642-0455, fax: 510-642-2739
[EMAIL PROTECTED], http://ptolemy.eecs.berkeley.edu/~eal
----------------------------------------------------------------------------
Posted to the ptolemy-hackers mailing list. Please send administrative
mail for this list to: [EMAIL PROTECTED]
