[m-dev.] [CTGC] conflict options ?

[Julien Fischer]

This is from Nancy - the original message was too big to get
through the mail system.


---------- Forwarded message ----------

Message-ID: <43DF635E.9050601 at cs.kuleuven.be>
Date: Tue, 31 Jan 2006 14:17:18 +0100
From: Nancy <Nancy.Mazur at cs.kuleuven.ac.be>

To: mercury-developers at cs.mu.OZ.AU
Subject: [CTGC] conflicting options ?
Content-Type: multipart/mixed;
 boundary="------------000808050608020900080002"
X-Virus-Scanned: by amavisd-new-20030616-p10 (Debian) at cs.kuleuven.be
X-Virus-Scanned: by KULeuven Antivirus Cluster
X-Virus-Scanned: amavisd-new at cs.mu.OZ.AU

This is a multi-part message in MIME format.
--------------000808050608020900080002
Content-Type: text/plain; charset=ISO-8859-1; format=flowed
Content-Transfer-Encoding: 7bit


Hi,

I have a quite odd situation with the mercury options.

I've added a new option "structure-sharing" (long option:
data_structure_sharing_analysis) (cf. the attached options.m file).
As structure sharing analysis depends on trans-opt files, it seems
logical to me to add the line:

option_implies(data_structure_sharing_analysis,
      make_transitive_opt_interface, bool(yes), !Globals),

in handle_options.m (see attach.).

But here is the thing when I perform structure sharing analysis on a
small example with the command line:
"lmc -V -c -d 193 -D ALL --structure-sharing nrev.m"

* without the above option_implies line, the analysis is performed,
which can be seen in the output during compilation, and the hlds-dump.
* but _with_ implication, the analysis is not done.

The same thing if I use the "--make-transitive-optimization-interface"
as a command line option: although I ask for structure sharing analysis,
no analysis is performed. So where is the conflict?

I'm a bit puzzled, and I don't really know where to look for the
problem... has anybody some ideas?

Thanks,
Nancy
--------------------------------------------------------------------------
mercury-developers mailing list
Post messages to:       mercury-developers at cs.mu.oz.au
Administrative Queries: owner-mercury-developers at cs.mu.oz.au
Subscriptions:          mercury-developers-request at cs.mu.oz.au
--------------------------------------------------------------------------