[m-rev.] for review: change termination analysis error reporting

[Julien Fischer]

On Thu, 8 Jan 2004, Fergus Henderson wrote:

> On 08-Jan-2004, Julien Fischer <juliensf at students.cs.mu.OZ.AU> wrote:
> >
> > Index: term_indirect_warning.exp
> > ===================================================================
> > RCS file: term_indirect_warning.exp
> > diff -N term_indirect_warning.exp
> > --- /dev/null	1 Jan 1970 00:00:00 -0000
> > +++ term_indirect_warning.exp	8 Jan 2004 07:54:44 -0000
> > @@ -0,0 +1,4 @@
> > +term_indirect_warning.m:015: Termination of
> > +term_indirect_warning.m:015:   predicate `term_indirect_warning.foo/3' mode 0
> > +term_indirect_warning.m:015:   not proven for the following reason:
> > +term_indirect_warning.m:020: It contains a higher order call.
>
> The last line here has an invalid line number:
> it refers to line 20 of term_indirect_warning.m,
> but that file only contains 18 lines.
>

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