[m-rev.] diff: break up program_representation_utils

[Paul Bone]

On 05/11/2008, at 5:36 PM, Peter Wang wrote:

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

I beleive this is defined in program_representation_utils.m   
coverage.m should import program_representation_utils.

I can check for this and other problems in about an hour.

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