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

Simon Taylor stayl at cs.mu.OZ.AU
Mon Mar 5 22:38:55 AEDT 2001


On Mon, Mar 05, 2001 at 10:56:06AM +0100, Peter Ross wrote:
> On Fri, Mar 02, 2001 at 11:30:50PM +1100, Simon Taylor wrote:
> > I'm pretty sure your change does the wrong thing for termination
> > pragmas. Termination information for opt_exported predicates should
> > be written to the `.opt' files, as you've done for unused arguments
> > pragmas.
> > 
> Put that fix in, here is the new log message and relative diff.

That looks fine.

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