[m-dev.] for review: fix bug with quantification & instmap deltas

Simon Taylor stayl at cs.mu.OZ.AU
Thu Jun 10 11:43:13 AEST 1999


> Estimated hours taken: 1
> 
> Fix a bug that caused a variable not found error when compiling
> library/term_io.m with intermodule optimization in my local version
> of the Mercury compiler (which has various changes for existential types).
> The problem was that when liveness.m calls requantify_proc,
> quantification.m discovers that a variable is now local to a subgoal,
> but leaves the instmap delta on the containing goal unchanged, still
> containing a (now bogus) entry for that variable.
> I think the same problem could occur without my existenial types changes,

s/existenial/existential/

Otherwise this change is fine. The alias branch will need a different
fix because instmap_delta_restrict doesn't work with aliasing. It's probably 
necessary to run recompute_instmap_delta every time a goal is requantified
after mode analysis.

Simon.
--------------------------------------------------------------------------
mercury-developers mailing list
Post messages to:       mercury-developers at cs.mu.oz.au
Administrative Queries: owner-mercury-developers at cs.mu.oz.au
Subscriptions:          mercury-developers-request at cs.mu.oz.au
--------------------------------------------------------------------------



More information about the developers mailing list