[m-rev.] diff: fix spurious errors in tests/valid for grade il

Fergus Henderson fjh at cs.mu.OZ.AU
Fri Nov 8 03:11:04 AEDT 2002


On 07-Nov-2002, Peter Ross <pro at missioncriticalit.com> wrote:
> fjh wrote:
> > On 07-Nov-2002, Peter Ross <pro at missioncriticalit.com> wrote:
> > > Now only intermod_pragma_import (bug ??) and soln_context (bug B9) fail
> > > in the tests/valid directory.
> > >
> > > We need to add intermod_pragma_import into the list of bugs, as it
> > > doesn't seem to match the symptoms of any other of the listed bugs.
> >
> > It matches S3, doesn't it?
> > S3 is "tests which rely on the C interface":
> >
> It tests that you can implement a predicate using a pragma import of another
> predicate made available using pragma export.

Right.  That is a test of the C interface, and the specification of the
C interface in the language reference manual implies that this test should
pass.

> This is really independent of the C interface for the il backend.

`pragma export' is supposed to export to C, according to the language
reference manual.

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