Some thoughts on the 'reveal' operator

[Chip Morningstar]

MarcS sez:
>Revelation: I don't remember if this idea came up in the discussion of
>reveal alternatives, and it is probably foolish for me to even make
>proposals, since I don't have the foggiest idea about the
>expansion-to-kernel-language consequences of a proposal, but how about
>
>def multiplier run(a,b) reveals c {
>    c := a * b
>}
>
>This syntax handles "reveals" sort of like Java handles "throws". And it

I'll have to give this suggestion more serious thought, but my immediate
gut reaction is that I like it a *lot*.