[mercury-users] nondet pragma c_code (LOCALS)

Robert Bossy bossy at ccr.jussieu.fr
Tue Nov 30 02:41:53 AEDT 1999


Thank you for your detailed and informative answer.

Some local_vars I use actually point to dynamically allocated memory but,
unfortunately, I won't be able to use GC_MALLOC since those variables are handled
by functions provided in an API.


Just a little detail:

> ...
>
>         (1) if the nondet C procedure fails,
>             which it can do by returning with SUCCESS_INDICATOR = FAIL;
>
>         (2) if the nondet C procedure succeeds and indicates
>             that this is the last solution, which it can do by
>             returning with SUCCESS_INDICATOR = SUCCEED_LAST;
> ...

Isn't it just FAIL instead SUCCESS_INDICATOR = FAIL , like the reference manual
mentions (sampes in section Nondet pragma c_code)?


RB

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



More information about the users mailing list