for review: deforestation [2/4]

[Fergus Henderson]

On 19-Feb-1998, Simon Taylor <stayl at cs.mu.OZ.AU> wrote:
> 
> +	% Given a varset and a set of variables, return another varset
> +	% containing only those variables.
> +:- pred varset__select(varset, set(var), varset).
> +:- mode varset__select(in, in, out) is det.

I think the implementation of this does not match the specification,
particularly with respect to the behaviour of varset__vars.

Have a look at the documentation of varset__delete to see how it
sidesteps this issue.

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