[m-dev.] preferences for error contexts

[Zoltan Somogyi]

On 15-May-2009, Ralph Becket <rafe at csse.unimelb.edu.au> wrote:
> Surely 'error' can't be more than a few lines of Awk?

It is 330 lines of mercury: extras/error/error.m.

Zoltan.
--------------------------------------------------------------------------
mercury-developers mailing list
Post messages to:       mercury-developers at csse.unimelb.edu.au
Administrative Queries: owner-mercury-developers at csse.unimelb.edu.au
Subscriptions:          mercury-developers-request at csse.unimelb.edu.au
--------------------------------------------------------------------------