[m-dev.] intermodule optimization bug fix

Fergus Henderson fjh at cs.mu.oz.au
Tue Apr 1 21:10:15 AEST 1997


Simon TAYLOR, you wrote:
> 
> Fix an abort reported by Peter Schachte, which was caused by 
> hlds_module:get_pred_id_and_proc_id attempting to resolve overloading
> on a predicate from a `.opt' file, while the code to resolve overloading
> in typecheck.m does not attempt to match against predicates declared
> in `.opt' files since all calls to such predicates should be module
> qualified in the `.opt' file.

Do you mean "... attempting to resolve overloading _in_ a predicate ..."?

> +# intermod_lambda.m needs inter-module optimization
> +intermod_lambda.c:
> +	$(MC) --grade $(GRADE) $(MCGFLAGS) --make-interface intermod_lambda2.m
> +	$(MC) --grade $(GRADE) $(MCGFLAGS) --make-optimization-interface \
> +		intermod_lambda2.m
> +	$(MCG) --grade $(GRADE) $(MCGFLAGS) --intermodule-optimization \
> +		intermod_lambda.m

That should be $(MCIFLAGS) and $(MCOIFLAGS) rather than $(MCGFLAGS)
on the `--make-interface' and `--make-optimization-inferface' lines.

Otherwise that change looks fine.

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



More information about the developers mailing list