add PL_fail and PL_succeed to SWI interface emulation.

This commit is contained in:
Vitor Santos Costa 2008-08-24 14:22:49 +01:00
parent e1544a0358
commit 2e2aaf040b
1 changed files with 3 additions and 0 deletions

View File

@ -174,6 +174,9 @@ typedef void *PL_engine_t;
/* copied from old SICStus/SWI interface */
typedef void install_t;
#define PL_fail return FALSE /* fail */
#define PL_succeed return TRUE /* success */
extern X_API void PL_free(void *);
extern X_API PL_agc_hook_t PL_agc_hook(PL_agc_hook_t);