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

[Peter Ross]

stayl 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.  This can be tested by setting the grade in EXTRA_MCOIFLAGS,
but
> > where should I put this test case?
> >
> > ===================================================================
> > Estimated hours taken: 1
> > Branches: main
> >
> > Fix a bug where types which where defined as a C foreign_type and a
> > Mercury type where not having the Mercury type definition placed in
> > the .opt file.
>
> 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.
>
The bug symptom is that the type io__buffer is not fully declared in io.opt
which means that you can't compile any IL programs, because they all read
this file.  It is also not possible for one to rebuild the .opt file for io
as we don't have the source.

When writing the code to output foreign_types into the .opt file I tried to
make their output grade independent.  My change at least fixes the bug that
the outputting of  types which have a pragma foreign_type component where no
longer being output in grade independent manner.


---
Outgoing mail is certified Virus Free.
Checked by AVG anti-virus system (http://www.grisoft.com).
Version: 6.0.419 / Virus Database: 235 - Release Date: 11/15/2002

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