[m-dev.] for review: last call modulo constructors [2/3]

[Fergus Henderson]

On 24-Jun-1998, Andrew Bromage <bromage at cs.mu.OZ.AU> wrote:
> > @@ -1696,7 +1734,8 @@
> 
> > -inst_merge_3(free, free, InstTable, M, free, InstTable, M).
> > +inst_merge_3(free(Aliasing), free(Aliasing), InstTable, M, free(Aliasing),
> > +		InstTable, M).
> 
> This is a difficult case.  I think that merging free(unique) and
> free(alias) would require extra code.  Best to leave this an error
> for now.

Yep, that is what I thought the answer would be here -- it is like the
merge of free and any.  But please add a comment explaining this.

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