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

Peter Ross pro at missioncriticalit.com
Fri Nov 8 02:49:47 AEDT 2002


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.  This is really independent of
the C interface for the il backend.

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