Module compilation unit grammar

[Alex Buckley]

I think 'export' should follow 'import' by allowing redundant 
single-type-export or type-export-on-demand declarations ... "the effect 
is as if the type or types are exported only once."

I don't see that:

export p.q;
export p.q;
export p.*;

is more dangerous than the analogous imports, nor that the .** 
type-export-on-demand-on-steroids syntax is a special case.

Alex

On 4/4/2011 3:14 PM, Jonathan Gibbons wrote:
> More questions:
> 
> What are the restrictions on export, with respect to "clashes"?   i.e. 
> what about duplicates or otherwise redundant entries?
> 
>     export p.**;
>     export p.**;      // duplicate
>     export p.*;       // redundant, given preceding p.**;
>     export p.q;       // also redundant
>     export p.p1.q;    // also redundant
> 
> -- Jon