Exception transparency (correction)
peter.levart at gmail.com
Thu Jun 10 14:46:31 PDT 2010
On Thursday, June 10, 2010 11:41:36 pm Peter Levart wrote:
> Hello Maurizio,
> What if compiler would track internally any type variable with Throwable
> bound in such a way that when used in any context except "throw"
> statement it would mean lub(X,Y,Z,...) as defined today but when used in
> throw statement it would mean X|Y|Z|...
Search/replace "throw statement" with "throws declaration" ...
More information about the lambda-dev