[m-rev.] new disabled test case tests/valid/field_detism.m

[Zoltan Somogyi]

On 23-Dec-2003, Fergus Henderson <fjh at cs.mu.OZ.AU> wrote:
> In this particular case, the validity of the code depends on the details
> of how mode inference (for the automatically generated field update
> function) works,

Not really. I think it should be straighforward to accompany the automatically
generated field update function with one or two automatically generated mode
declarations. If the type has one functor, then generate one mode, which is
det. If the type has more than one functor, then generate two modes, one which
has mode `in' and is semidet, and one which has mode `in(bound(functor(...)))'
and is det. Since we have polymorphic modes, even higher order arguments
shouldn't be a problem.

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