[m-rev.] for review: make sure that abstract instances have a corresponding concrete instance

[Ralph Becket]

Julien Fischer, Wednesday, 13 April 2005:
> +
> +	% Partition all the non-imported instances for a particular
> +	% class into two groups, those that are abstract and in the
> +	% module interface and those that are concrete and in the module
> +	% implementation.  Concrete instances cannot occur in the
> +	% interface and we ignore abstract instances in the
> +	% implementation.
> +	%
> +:- pred partition_instances_for_class(class_id::in, list(hlds_instance_defn)::in,

This line is too long.

Otherwise that looks good.

-- Ralph
--------------------------------------------------------------------------
mercury-reviews mailing list
post:  mercury-reviews at cs.mu.oz.au
administrative address: owner-mercury-reviews at cs.mu.oz.au
unsubscribe: Address: mercury-reviews-request at cs.mu.oz.au Message: unsubscribe
subscribe:   Address: mercury-reviews-request at cs.mu.oz.au Message: subscribe
--------------------------------------------------------------------------