[m-rev.] diff: bug in outputting mercury and foreign type declarations in .opt file

Fergus Henderson fjh at cs.mu.OZ.AU
Fri Dec 13 14:39:21 AEDT 2002


On 12-Dec-2002, Simon Taylor <stayl at cs.mu.OZ.AU> wrote:
> On 10-Dec-2002, Peter Ross <pro at missioncriticalit.com> wrote:
> > I have built a test case for this, but the problems only shows up when you
> > build the .opt file in say a C grade and use the .opt file when building
> > in the IL grade.
> 
> That's not a bug -- the `.opt' files are grade dependent.
> If this is causing test failures, the correct fix is probably
> to put `GRADEFLAGS-test = il' in Mercury.options.

I think the issue shows up when running the tests against a workspace
(e.g. when the tests get run from tools/bootcheck).
The workspace typically gets compiled with a C grade,
but the IL tests need a .opt file that was built with an IL grade.

One solution would be to just disable the IL tests when running the tests in
a workspace.  But that is undesirable since it means that people might
accidentally break the IL grade and we wouldn't find out until after their
changes are checked in.

Is there any particular problem with Pete's change?
If not, I'd rather include it, even though it's not strictly necessary,
since it means we can have better test coverage when running tests
against a workspace.

-- 
Fergus Henderson <fjh at cs.mu.oz.au>  |  "I have always known that the pursuit
The University of Melbourne         |  of excellence is a lethal habit"
WWW: <http://www.cs.mu.oz.au/~fjh>  |     -- the last words of T. S. Garp.
--------------------------------------------------------------------------
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
--------------------------------------------------------------------------



More information about the reviews mailing list