[m-dev.] diff: begin using functionality from error_util in typecheck.m

[Robert Ernst Johann JESCHOFNIK]

On Thu, 10 Feb 2000, Fergus Henderson wrote:

> You should just delete the old code, rather than leaving it commented out.
> Leaving it there doesn't really add anything to the readability of the code.
> (If people want to look at the old code, that is what cvs is for...)

Sure, done.
(wasn't sure, so I thought I'd leave it and err on the side of safety)

> > +	% This is intended to superceed the above predicate - It performs the
> 
> s/superceed/supercede/

fixed

> > +	% The string generated by this predicate is of the form:
> > +	%   "In clause for module:pred/N :"
> 
> s/N :/N:/
>    ^

fixed.


rob

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