[mercury-users] Recursive lambdas

[Ralph Becket]

The 0.9 compiler's just complained about the following:

...,
P = (pred(...) :- <<stuff which includes a recursive call to P>>)
...

saying that

atom.m:1275:   expected instantiatedness for non-local variables
atom.m:1275:   of lambda goals is `ground'.

I realise this is slightly naughty in terms of the occurs check,
but for lambdas this seems to be an entirely reasonable thing to
want to do.

Is there a solution?

Cheers,

Ralph
--------------------------------------------------------------------------
mercury-users mailing list
post:  mercury-users at cs.mu.oz.au
administrative address: owner-mercury-users at cs.mu.oz.au
unsubscribe: Address: mercury-users-request at cs.mu.oz.au Message: unsubscribe
subscribe:   Address: mercury-users-request at cs.mu.oz.au Message: subscribe
--------------------------------------------------------------------------