[m-dev.] Re: diff: higher_order.m termination fix

[Fergus Henderson]

Simon TAYLOR, you wrote:
> 
> If the clauses are expected to be valid after higher_order.m, the 
> original code is buggy, since it just copies the clauses for the 
> old predicate when creating the pred_info for a specialised version.
> 
> We should probably document that the clauses_info is not valid after
> mode analysis, since the clauses and the procedures may be different.

OK, you've convinced me.

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