for review: EDCGs

[Peter Schachte]

On Sun, 1 Mar 1998, Peter Nicholas MALKIN wrote:

> The hmode declaration is of the following form:
>
> :- hmode(Hidden, [changed(Mode, Mode),] [passed(Mode),] 
>                         [consumed(Mode),] [produced(Mode)]).
>
> Where Mode is a Mercury mode.

Shouldn't they be insts?  If not, why does changed need two modes?


-Peter Schachte			| ADA, n.: Something you need only know the
pets at cs.mu.OZ.AU		| name of to be an Expert in Computing. Useful
http://www.cs.mu.oz.au/~pets/	| in sentences like, "We had better develop an
PGP key available on request	| ADA awareness."