[m-rev.] diff: part 2 of the fix for the trace_goal_* test case failures

[Julien Fischer]

On Mon, 14 Aug 2006, Zoltan Somogyi wrote:

> compiler/term_util.m:
> compiler/term_constr_util.m:
> compiler/termination.m:
> 	The predicate all_args_input_or_zero_size used to be defined in
> 	both term_constr_util and termination.m (with identical code).
> 	Replace both with a single definition in term_util.

I would prefer it if the new analyser did not import bits of the old one
(which was probably the reason there are two copies of that predicate).  I
suggest either putting that predicate in term_norm.m or adding a new module
that contains code that is common to both termination analysers.

Julien.
--------------------------------------------------------------------------
mercury-reviews mailing list
Post messages to:       mercury-reviews at csse.unimelb.edu.au
Administrative Queries: owner-mercury-reviews at csse.unimelb.edu.au
Subscriptions:          mercury-reviews-request at csse.unimelb.edu.au
--------------------------------------------------------------------------