[m-dev.] preferences for error contexts

[Zoltan Somogyi]

On 15-May-2009, Peter Ross <pdross at gmail.com> wrote:
> Well you could modify it to handle the new style of errors.  All it
> needs to do is use the last error lines context if the new line
> doesn't have one.  Should be trivial to implement.

Trivial to implement yes, but whether desirable is a different question.
At the moment, error ignores any lines that do not look like error messages.
This makes it safe to give the whole output from make or mmake to error as
input, knowing that error will ignore the lines that are commands.

Your proposed change would make this impossible, and I would object to that.

Giving error an option to switch between the two behaviours would work,
but it would still be annoying to have to think about when to specify the
option and when not.

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