[m-dev.] for review: move tabling builtins into new module

Simon Taylor stayl at cs.mu.OZ.AU
Wed Sep 20 14:00:05 AEDT 2000


 
> Index: compiler/dead_proc_elim.m
> ===================================================================
> RCS file: /home/mercury1/repository/mercury/compiler/dead_proc_elim.m,v
> retrieving revision 1.59
> diff -u -d -r1.59 dead_proc_elim.m
> --- compiler/dead_proc_elim.m	2000/08/09 07:46:22	1.59
> +++ compiler/dead_proc_elim.m	2000/09/19 05:37:45
> @@ -790,6 +790,9 @@
>  			% Don't eliminate preds from builtin.m or
>  			% private_builtin.m, since polymorphism.m
>  			% needs unify/2 and friends.
> +			% (Should the same apply for other builtin
> +			% modules, such as table_builtin? 
> +			% I don't think so...)
>  			mercury_public_builtin_module(PredModule)
>  		;
>  			mercury_private_builtin_module(PredModule)

This does need to check for predicates from table_builtin.m.
Any predicates for which the compiler may introduce calls
must be checked for here. This code is only run
with --intermodule-optimization.

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