export question

[Alex Buckley]

On 4/12/2012 7:25 PM, Jonathan Gibbons wrote:
> Packages are only observable if they contain something observable. (JLS
> 7.4.3)
>
> Must a package be observable to be exported from a module? i.e. is it a
> compile-time error to export a package that is not observable?

I'm fairly sure the _lack_ of rule in this area was desired. That is, 
you want to be able to declare a module with exports before you've 
written any of the code in the module. Trying not to be too fussy about 
workflow for once.

Alex