[m-dev.] more correctness problems

Ralph Becket rafe at cs.mu.OZ.AU
Mon Apr 3 09:51:22 AEST 2006

Peter Stuckey, Monday,  3 April 2006:
> But a better solution to this is
> 	member(out(I), in(list(I))  I <= any
> where it is clear that the any doesnt get instantiated,  To support this
> we have to improve the mode analysis for mode variables.

Can you explain that?  It isn't at all clear to me why the any wouldn't
be further constrained (e.g., by unification).
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