JPMS Module Path question

[Alex Buckley]

On 6/15/2017 11:55 PM, Peter Kriens wrote:
> In the current summary in http://cr.openjdk.java.net/~mr/jigsaw/spec/lang-vm.html (which I understand was pat of the input to the vote), the following things were wrong:
>
> 	* Grammar (package declaration allowed together with a module declaration), and

As I said earlier in this thread, I don't understand this comment. Where 
is a package declaration allowed with a module declaration in:

CompilationUnit:
   [PackageDeclaration] {ImportDeclaration} {TypeDeclaration}
   {ImportDeclaration} ModuleDeclaration

?  The definition of CompilationUnit has been refactored since 
publication of this lang-vm.html file, but the language accepted by 
CompilationUnit has not changed.

> 	* Several attribute descriptions were missing []

OK, I see that in the Module attribute, the exports_to_index, 
opens_to_index, and provides_with_index items should have [] suffixes, 
since they are tables.

Alex