[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