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

[Peter Ross]

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.

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