[m-dev.] more correctness problems

[Ralph Becket]

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