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

Michael Ernst mernst at cs.washington.edu
Thu Mar 28 21:29:55 PDT 2013


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.

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


More information about the type-annotations-spec-experts mailing list