[m-rev.] diff: workaround to fix nightly builds

[Mark Brown]

On 16-Aug-2005, Zoltan Somogyi <zs at cs.mu.OZ.AU> wrote:
> On 16-Aug-2005, Mark Brown <mark at cs.mu.OZ.AU> wrote:
> > tests/valid/aditi_calls_mercury.m:
> > 	Modify this test case so that the Aditi predicate no longer uses
> > 	polymorphism.  Without this, we get the error "the code uses
> > 	polymorphism or type-classes which are not supported by Aditi".
> 
> Why did this work before?

I can't be precisely sure without looking into how magic sets works a lot
more.  But it appears that saved_vars was moving the type_info construction
into a place that was not triggering the error.  The documentation in magic.m
doesn't make clear exactly what polymorphic code is not permitted, nor does
it mention that the reason for running saved_vars_proc has anything to do
with this restriction.

Cheers,
Mark.

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