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

[Peter Ross]

On Thu, Mar 01, 2001 at 01:06:41PM +0100, Peter Ross wrote:
> 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?
> 
I will check this in later today, with the following additional patch to
the tests directory if there are no objections.


Index: associative.trans_opt_exp
===================================================================
RCS file: /home/mercury1/repository/tests/term/associative.trans_opt_exp,v
retrieving revision 1.8
diff -u -r1.8 associative.trans_opt_exp
--- associative.trans_opt_exp	1999/10/23 04:58:32	1.8
+++ associative.trans_opt_exp	2001/03/02 09:27:36
@@ -1,3 +1,2 @@
 :- module associative.
 :- pragma termination_info(associative:normal_form((builtin:in), (builtin:out)), finite(0, [yes, no]), can_loop).
-:- pragma termination_info(associative:rewrite((builtin:in), (builtin:out)), finite(0, [yes, no]), cannot_loop).

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