Project Lambda: Java Language Specification draft

[Alex Buckley]

Neal Gafter wrote:
> On Fri, Jan 22, 2010 at 2:55 PM, Alex Buckley <Alex.Buckley at sun.com> wrote:
>> ExceptionTypeList:
>>  Identifier
>>  ExceptionTypeList '|' Identifier
> 
> Is it intentional that types in the function's throws clause can't use
> qualified names?

Nope, and in fact I am going to reuse the JLS3 8.4.6 Throws production 
so we're back to a comma-separated list:

FunctionType:
   '#' ResultType '(' [Type] ')' FunctionThrows_opt
FunctionThrows:
   '(' Throws ')'

#int(String)(throws java.io.IOException, java.sql.SQLException)

To another of your points, the notation #T(S1..Sm)(E1..En) is meant to 
be an abstract notation for use in the JLS where a type needs to be 
destructured. In case the FunctionType production changes.

Alex