[m-dev.] for review: EDCGs - diff part 1 (again)

[Fergus Henderson]

Hi,

Just a few comments so far (more to follow).

On 04-Feb-2000, Peter Nicholas MALKIN <pnmalk at students.cs.mu.oz.au> wrote:
> --- compiler/prog_util.m	2000/01/13 06:17:01	1.48
> +++ compiler/prog_util.m	2000/02/01 04:38:50
> @@ -104,6 +104,20 @@
>  :- pred construct_qualified_term(sym_name, list(term(T)), prog_context, term(T)).
>  :- mode construct_qualified_term(in, in, in, out) is det.
>  
> +	% extract the hidden modes for a particular hidden form from an
> +	% hmode_defn
> +:- pred get_hidden_modes(form, hmode_defn, list(mode)).
> +:- mode get_hidden_modes(in, in, out) is semidet.

That procedure is declared semidet, but it's not clear
from the documentation when it should fail.

> +	% set the hidden modes for a particular hidden form from an
> +	% hmode_defn
> +:- pred set_hidden_modes(form, hmode_defn, list(mode), hmode_defn).
> +:- mode set_hidden_modes(in, in, in, out) is semidet.

Likewise.

-- 
Fergus Henderson <fjh at cs.mu.oz.au>  |  "I have always known that the pursuit
WWW: <http://www.cs.mu.oz.au/~fjh>  |  of excellence is a lethal habit"
PGP: finger fjh at 128.250.37.3        |     -- the last words of T. S. Garp.
--------------------------------------------------------------------------
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
--------------------------------------------------------------------------