[e-lang] Labeled promises?

[Mark Miller]

> Would it break anything in the E model to attach labels to promises?


The only issue I see is how it might effect the sameness semantics of
TraversalKeys. If there's no issue there, then I think this is a good idea.
It may be a good idea anyway, but it'd take more examination.

A placeholder for an explanation of TraversalKeys is at
http://www.erights.org/javadoc/org/erights/e/elib/tables/TraversalKey.html .
Kevin, could you post an explanation? Thanks.

--
Text by me above is hereby placed in the public domain

    Cheers,
    --MarkM
-------------- next part --------------
An HTML attachment was scrubbed...
URL: http://eros.cs.jhu.edu/pipermail/e-lang/attachments/20051130/1b0f79ee/attachment.html