[m-rev.] diff: clean up library and compiler imports

[Julien Fischer]

On Wed, 27 Sep 2006, Peter Ross wrote:

> On Wed, Sep 27, 2006 at 04:30:58PM +1000, Julien Fischer wrote:
>>
>> On Wed, 27 Sep 2006, Peter Ross wrote:
>>
>>> Hi,
>>>
>>> I've been slowly fixing some of the --warn-unused-imports errors.
>>> Rather than waiting until all have been done.  I thought I would
>>> check-in what I've done.
>>
>> This diff will break the Java and IL backends since
>> your analysis doesn't check Mercury clauses if there are foreign clauses,
>> e.g. some of the :- use_module rtti_implementation decls shouldn't
>> have been deleted (the ones in construct and deconstruct).
>>
> Do you know where these clauses are deleted from the HLDS?  I will have
> to fix my analysis.

>From memory I think they are deleted fairly early on - this is actually
a more general problem with most of the semantic checks the compiler
performs.  It should really hang on to all of the clauses until after
semantic checking is complete** - doing the necessary plumbing to make
that work is probably going to be quite tedious though.

** We've had similar problems with purity errors in default Mercury
    clauses going undetected in the past.

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
--------------------------------------------------------------------------