[m-dev.] for review: update error messages in typecheck.m to use stuff from error_util.m

[Fergus Henderson]

On 22-Dec-1999, Robert Ernst Johann JESCHOFNIK <rejj at cat.cs.mu.OZ.AU> wrote:
> typecheck.m:
>         Begin changing the generation of error messages to use the
>         functionality provided by error_util.m

I think that looks fine so far.

If we implement the option to delay errors until runtime,
then having error messages as strings would be very helpful,
because then we can also use the same error messages in the
arguments to error/1 if such code is encountered at runtime.

So yes, I think this is worth doing.

-- 
Fergus Henderson <fjh at cs.mu.oz.au>  |  "I have always known that the pursuit
WWW: <http://www.cs.mu.oz.au/~fjh>  |  of excellence is a lethal habit"
PGP: finger fjh at 128.250.37.3        |     -- the last words of T. S. Garp.
--------------------------------------------------------------------------
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
--------------------------------------------------------------------------