Comments and questions on JSR 308 draft from January 23, 2013

[Joseph Darcy]

Hi Mike,

On 3/28/2013 9:29 PM, Michael Ernst wrote:
> Joe-
>
>> It was not clear to me from reading the specification whether or not "C
>> style" mixed array declarations were able to be annotated. If the answer is
>> "no", that is fine by me.
> "C style" mixed array declarations are permitted because the grammar uses
> FormalParameterDecls, which permits them.

It would be possible to forbid the combination of the "denigrated" 
feature of mixed array declarations and the new feature of type 
annotations. No existing code would be directly impacted.

>
> Whereas I'm addressing your other comments by editing the document,
> this one doesn't seem worth discussing explicitly in the spec.  But if I am
> missing something, please let me know.
>
> 		    -Mike

I'm aware that there were discussions about whether the [] in array 
declarations go inside-out or outside-in. I assume the mixed array 
declarations complicate the convention that has been determined for the 
non-mixed case. If so, I suggest contemplating not allowing the 
combination of type annotations and mixed array declarations.

Cheers,

-Joe