[m-rev.] diff: implement concat_string_list for .NET

Ralph Becket rafe at cs.mu.OZ.AU
Tue Feb 18 14:22:34 AEDT 2003


Fergus Henderson, Tuesday, 18 February 2003:
> 
> Ralph, would you mind having a look at this?
> How about modifying the loop_inv pass so that it treats goals at the start
> of an if-then-else condition up to and including the first can_fail goal
> the same way it treats goals in a conjunction?

That sounds like a good idea.  I'll look into it.

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



More information about the reviews mailing list