[m-rev.] diff: tabling in non-C grades

[Julien Fischer]

On Tue, 21 Dec 2004, Zoltan Somogyi wrote:

> On 21-Dec-2004, Julien Fischer <juliensf at cs.mu.OZ.AU> wrote:
> > In addition to the diff regarding accurate gc, the following one
> > is also required.  Unfortunately, even when this diff is applied
> > we still end up with assertion failures in the ml code generator
> > and in part of the il backend.
>
> What assertions?
>

(Assuming you apply the diff from my previous post)
For grade hlc.agc the following one:

simple.m:007: Ignoring the pragma memo for predicate `simple.simple/2' mode 0
simple.m:007:   due to lack of support on this back end.
Uncaught Mercury exception:
Software Error: ml_code_gen.m: Sorry, not implemented: tabling and `--gc accurate'


For grade il this one:

simple.m:007: Ignoring the pragma memo for predicate `simple.simple/2' mode 0
simple.m:007:   due to lack of support on this back end.
Uncaught Mercury exception:
Software Error: unimplemented: mangling tabling_pointer

Everything works as expected in grade java but I suspect that's just
because any tabling stuff hasn't been implemented in the java code
generator.

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