[HAL-dev] Re: [m-dev.] Initialisation of solver type variables

[Ralph Becket]

Fergus Henderson, Monday, 26 April 2004:
> 
> At the end of the clause body, you mean?
> Sounds reasonable, assuming that there is an explicit mode declaration.
> 
> i.e.
> 
> 	:- mode p(..., free >> any, ...).
> 	p(..., Y, ...) :-
> 		... code which leaves Y free ...
> 
> would become
> 
> 	:- mode p(..., free >> any, ...).
> 	p(..., Y, ...) :-
> 		... code which leaves Y free ...,
> 		<<call initpred>>(Y).

Yes, this is what I've implemented.

> If there's no explicit mode declaration, then it may be better
> to infer the mode free >> free rather than free >> any.

I agree; I've left mode inference alone.

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