[m-rev.] for review: improve termination analysis of special preds

[Ian MacLarty]

On 22 Jan 2005, at 00:07, Julien Fischer wrote:

>
> On Fri, 21 Jan 2005, Ian MacLarty wrote:
>
>> I posted some comments on the 19th.
>>
> So you did - I either didn't get them or accidently deleted them.
>
> I don't think the first point is relevant and I've fixed the second.
> (Hopefully that makes sense with absolutely no context).
>

Yeah that's fine.

Ian.

--------------------------------------------------------------------------
mercury-reviews mailing list
post:  mercury-reviews at cs.mu.oz.au
administrative address: owner-mercury-reviews at cs.mu.oz.au
unsubscribe: Address: mercury-reviews-request at cs.mu.oz.au Message: unsubscribe
subscribe:   Address: mercury-reviews-request at cs.mu.oz.au Message: subscribe
--------------------------------------------------------------------------