[m-rev.] trivial diff: delete duplicate imports in library

[Julien Fischer]

On Tue, 24 Oct 2006, Michael Day wrote:

>>     Delete imports that are duplicated between the interface
>>     and implementation sections.
>
> Perhaps the compiler should issue a warning for duplicate imports?

IIRC we deliberately avoided doing it for duplicate imports
between the interface and implementation sections because that would 
frequently just be annoying.

Julien.
--------------------------------------------------------------------------
mercury-reviews mailing list
Post messages to:       mercury-reviews at csse.unimelb.edu.au
Administrative Queries: owner-mercury-reviews at csse.unimelb.edu.au
Subscriptions:          mercury-reviews-request at csse.unimelb.edu.au
--------------------------------------------------------------------------