JPMS Module Path question

Peter Kriens peter.kriens at
Sat Jun 17 10:48:28 UTC 2017

> On 16 Jun 2017, at 22:02, Alex Buckley <alex.buckley at> wrote:
> On 6/15/2017 11:55 PM, Peter Kriens wrote:
>> In the current summary in (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

More information about the jpms-spec-observers mailing list