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

[Peter Ross]

On Wed, Feb 28, 2001 at 10:24:04PM +1100, Fergus Henderson wrote:
> 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 ;-)
> 
Well blow me down, I did too.

And yes it should be no, change done.

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