[m-dev.] for review: record where assertions used

[Simon Taylor]

> Estimated hours taken: 8
> 
> Record in which predicates an assertion is used.
 

> Index: compiler/hlds_data.m
> ===================================================================
  
> -assertion_table_add_assertion(Assertion, AssertionTable0, AssertionTable) :-
> +assertion_table_add_assertion(Assertion, AssertionTable0, Id, AssertionTable) :-

> Index: compiler/hlds_pred.m
> ===================================================================

> -:- mode pred_info_create(in, in, in, in, in, in, in, in, in, in, in, in, in,
> +	pred_or_func, class_constraints, aditi_owner, set(assert_id),
> +	proc_info, proc_id, pred_info).
> +:- mode pred_info_create(in, in, in, in, in, in, in, in, in, in, in, in, in, in,
>  	out, out) is det.
  
nit: line wrapping.

That changes looks fine.

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