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

Peter Ross peter.ross at miscrit.be
Thu Mar 1 23:06:41 AEDT 2001


On Wed, Feb 28, 2001 at 11:16:47AM +0100, Peter Ross wrote:
> Hi,
> 
> For stayl to review.
> 
> I have only one issue with this change and that is the test
> term/associative.m now fails because it no longer contains a
> termination_info pragma about rewrite.  However rewrite only exists in
> the implementation section, so should we have been outputting a
> termination_info pragma in the first place?
> 
If possible, I would like to check this in tomorrow.  Will there be
anymore review comments?

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



More information about the developers mailing list