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

Simon Taylor stayl at cs.mu.OZ.AU
Tue Sep 12 12:24:11 AEDT 2000


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

--- special_pred.m      2000/09/12 00:11:52     1.2
+++ special_pred.m      2000/09/12 00:11:57
@@ -79,7 +79,7 @@
        % 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 
+       % defined by hand.
 :- 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.
 
--------------------------------------------------------------------------
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