How to disable warning for "export item 'module ...' exports nothing"?

[Ross Paterson]

On Fri, Aug 15, 2008 at 03:09:16PM +0200, Sean Leather wrote:
> Ross Paterson wrote:
>     With implicit import, it just doesn't work to have different instances in
>     different places.  Suppose two modules use your library in the different
>     ways you envisage.  Then those modules cannot be used together in the
>     same program.  Your library will not be re-usable.
> 
> It is not true that those modules cannot be used in the same program. It is
> possibly true that they cannot both be imported by another module. (It depends
> on how the instances are used.)

If they're in the same program, there will be chains of imports from Main
to each of them, so Main will implicitly import conflicting instances and
will be rejected by the compiler.