[m-dev.] for review: add opt_exported import_status

Fergus Henderson fjh at cs.mu.OZ.AU
Wed Feb 28 22:24:04 AEDT 2001


On 28-Feb-2001, Peter Ross <peter.ross at miscrit.be> wrote:
> On Wed, Feb 28, 2001 at 09:36:46PM +1100, Fergus Henderson wrote:
> > On 28-Feb-2001, Peter Ross <peter.ross at miscrit.be> wrote:
> > > +++ compiler/assertion.m	2001/02/28 10:00:25
> > > @@ -838,6 +838,7 @@
> > >  is_defined_in_implementation_section(abstract_imported, no).
> > >  is_defined_in_implementation_section(pseudo_imported, no).
> > >  is_defined_in_implementation_section(exported, no).
> > > +is_defined_in_implementation_section(opt_exported, no).
> > >  is_defined_in_implementation_section(pseudo_exported, no).
> > 
> > That looks wrong.
>
> I kept the same answers as for exported because that is what we used to
> set the import_status to.  I can try changing it to yes and see what
> happens, if you like.

Well, no, I don't really want you to just try things at random and see
if they (seem to) work.

It would be much better to read the code in question and understand it;
then you will know what is the right thing to do here. 

Since you are the person who originally wrote that code, hopefully
understanding it shouldn't be too hard ;-)

-- 
Fergus Henderson <fjh at cs.mu.oz.au>  |  "I have always known that the pursuit
                                    |  of excellence is a lethal habit"
WWW: <http://www.cs.mu.oz.au/~fjh>  |     -- the last words of T. S. Garp.
--------------------------------------------------------------------------
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
--------------------------------------------------------------------------



More information about the developers mailing list