[m-dev.] for review: constraint propagation

[Thomas Conway]

On Wed, Feb 23, 2000 at 04:12:03PM EST, Simon Taylor wrote:
> compiler/make_hlds.m:
> 	Add `no_inline' marker to the "recursive" procedures
> 	introduced for builtins to stop constraint propagation
> 	attempting to specialize such procedures.

In general, we might want to inline a recursive procedure - call
it loop unrolling. Or more importantly, if we find for example that
append is called with an empty first arg very often, then we might
decide to inline it into the caller....

In any case, I suggest using a different marker, say one called
"recursive".

-- 
 Thomas Conway )O+     Every sword has two edges.
     Mercurian            <conway at cs.mu.oz.au>
--------------------------------------------------------------------------
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
--------------------------------------------------------------------------