[m-dev.] for review: retain aliasing information when merging instmaps of branched goals

[Fergus Henderson]

On 19-Feb-1999, David Overton <dmo at cs.mu.OZ.AU> wrote:
> --- hlds_data.m.bak2	Mon Feb  1 12:51:00 1999
> +++ hlds_data.m	Thu Feb 18 16:20:30 1999
>  :- type substitution_inst
> -	--->	substitution_inst(inst_name, inst_key_set, inst_key_sub).
> +	--->	substitution_inst(
> +			inst_name,
> +			inst_key_set,	% The set of inst_keys that have
> +					% had their substitutions expanced.

s/expanced/expanded/

> -:- pred make_shared_inst(inst, unify_inst_info, inst, unify_inst_info).
> -:- mode make_shared_inst(in, in, out, out) is semidet.
> +:- pred make_shared_inst(inst, unify_inst_info, inst, unify_inst_info, bool).
> +:- mode make_shared_inst(in, in, out, out, out) is det.

Could you please document the meaning of the new `bool' parameter?

Apart from that, this change looks fine.

-- 
Fergus Henderson <fjh at cs.mu.oz.au>  |  "Binaries may die
WWW: <http://www.cs.mu.oz.au/~fjh>  |   but source code lives forever"
PGP: finger fjh at 128.250.37.3        |     -- leaked Microsoft memo.