[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