[m-dev.] trivial diff: bugfix in termination.m
Christopher Rodd SPEIRS
crs at students.cs.mu.oz.au
Fri Oct 17 01:04:55 AEST 1997
>
> Christopher Rodd SPEIRS, you wrote:
> >
> > Fixed a bug in termination.m. When writing intermodule optimization
> > information, place it into <module>.opt.tmp. It used to be placed into
> > <module>.opt which was then overwritten by update_interface. This
> > change also fixes another bug. If the compiler was run with the -v
> > option, the "% Checking termination ..." message was printed out twice,
> > once in mercury_compile.m, and once in termination.m.
>
> That looks good, but can we please have a regression test?
You most certainly can have a regression test, but it will have to wait
till after exams. Ill do all the tests for termination analysis then.
Chris
More information about the developers
mailing list