[m-dev.] for review: generate special preds lazily

[Fergus Henderson]

On 09-Sep-2000, Simon Taylor <stayl at cs.mu.OZ.AU> wrote:
> 
> Generate declarations and clauses for the compiler-generated
> unification and comparison procedures only when they are needed.
> The vast majority of these procedures are never used.
> This change speeds up `mmc -C make_hlds' by about 5%.
...
> --- compiler/special_pred.m	1998/09/10 06:51:38	1.23
> +++ compiler/special_pred.m	2000/09/07 14:56:11
> +	% Succeed if the type can have clauses generated for
> +	% its special predicates. This will fail for abstract
> +	% types and types for which the RTTI information is
> +	% defined by hand. This predicate 
> +:- pred can_generate_special_pred_clauses_for_type(type_id, hlds_type_body).
> +:- mode can_generate_special_pred_clauses_for_type(in, in) is semidet.

The comment there is incomplete.

Apart from that, this 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.
--------------------------------------------------------------------------
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
--------------------------------------------------------------------------