[m-dev.] variable not found bug

[Fergus Henderson]

Zoltan Somogyi wrote:
> 
> It seems to me that the proper solution is to make inlining merge the
> the goal_info of the called goal with the goal_info of the body of the
> inlined proc. The determinism should come from the inlined proc, and
> so should the delta-instmap (suitably renamed). Possibly other fields
> should also be taken from the inlined proc.

If you do that, you'll need to recompute the delta-instmaps
and the determinism of the enclosing goals.

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