[m-rev.] diff: break up program_representation_utils

Peter Wang novalazy at gmail.com
Wed Nov 5 17:36:43 AEDT 2008

On 2008-11-05, Zoltan Somogyi <zs at csse.unimelb.edu.au> wrote:
> Increase the deep profiler's cohesion by dividing the
> program_representation_utils.m module into three files:
> - coverage.m containing the coverage analysis algorithm,
> - var_use_analysis.m containing the variable use analysis algorithm, and
> - program_representation_utils.m itself containing generally useful predicates
>   working on program representations.

Something seems to be missing:

coverage.m:332: In definition of predicate
coverage.m:332:   `coverage.disj_annotate_coverage_2'/9:
coverage.m:332:   error: undefined type `solution_count_rep'/0.


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

More information about the reviews mailing list