[m-rev.] for review: prompt with "Found unhandled or incorrect exception" in DD

[Ian MacLarty]

On 10 Feb 2005, at 15:04, Mark Brown wrote:

> On 10-Feb-2005, Ian MacLarty <maclarty at cs.mu.OZ.AU> wrote:
>> For review by anyone.
>>
>> Estimated hours taken: 0.5
>
> This should be committed on both the main branch and the release 
> branch.
>

Righto.

>>
>> Print "Found unhandled or incorrect exception" instead of just "Found 
>> unhandled
>> exception" when a bug node that throws an exception is found by the 
>> declarative
>> debugger.  This is because the user may intend that an exception is 
>> throw, but
>> the bug is that the wrong one is being throw.
>
> s/throw/thrown/
> Two occurrences.
>

Fixed.

Cheers,
Ian.

--------------------------------------------------------------------------
mercury-reviews mailing list
post:  mercury-reviews at cs.mu.oz.au
administrative address: owner-mercury-reviews at cs.mu.oz.au
unsubscribe: Address: mercury-reviews-request at cs.mu.oz.au Message: unsubscribe
subscribe:   Address: mercury-reviews-request at cs.mu.oz.au Message: subscribe
--------------------------------------------------------------------------