JPMS Module Path question

[Peter Kriens]

> On 16 Jun 2017, at 22:02, Alex Buckley <alex.buckley at oracle.com> wrote:
> 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.

As you said, in the latest draft this is corrected but it is imho therefore still [wrong] in the current lang-vm.html file? I.e. in lang-vm it still allows:

	package foo;
	module foo {}

In the draft this is invalid.

Kind regards,

	Peter Kriens

> 
>> 	* 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