[m-dev.] for review: write abstract instances to .int files

[Simon Taylor]

> I think it would be a good idea to change the comment for `get_interface'
> to reflect that change, i.e. mention that it strips out the bodies
> of instance definitions.

Done.

> > +:- pred make_abstract_instance(item, item).
> > +:- mode make_abstract_instance(in, out) is semidet.
 
> I think it would be a little clearer if the comment preceded
> the code here, rather than being interspersed in the middle.

Done.

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