diogo/yap-6.3
Archived
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

thread support

Browse Source
This commit is contained in:
Vítor Santos Costa 2016-01-03 01:25:31 +00:00
parent 9bcd3de29d
commit 4e2649c743
1 changed files with 5 additions and 5 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

10
C/c_interface.c
View File

@ -806,7 +806,7 @@ X_API Term YAP_MkPairTerm(Term t1, Term t2) {
BACKUP_H(); BACKUP_H();
t1 = Yap_GetFromSlot(sl1); t1 = Yap_GetFromSlot(sl1);
t2 = Yap_GetFromSlot(sl2); t2 = Yap_GetFromSlot(sl2);
Yap_RecoverSlots(2, sl2 PASS_REGS); Yap_RecoverSlots(2, sl2);
} }
t = MkPairTerm(t1, t2); t = MkPairTerm(t1, t2);
RECOVER_H(); RECOVER_H();
@ -828,7 +828,7 @@ X_API Term YAP_MkListFromTerms(Term *ta, Int sz) {
} }
BACKUP_H(); BACKUP_H();
ta = (CELL *)Yap_GetFromSlot(sl1); ta = (CELL *)Yap_GetFromSlot(sl1);
Yap_RecoverSlots(1, sl1 PASS_REGS); Yap_RecoverSlots(1, sl1);
} }
h = HR; h = HR;
t = AbsPair(h); t = AbsPair(h);
@ -1063,7 +1063,7 @@ X_API Int YAP_TermHash(Term t, Int sz, Int depth, int variant) {
X_API Int YAP_CurrentSlot(void) { X_API Int YAP_CurrentSlot(void) {
CACHE_REGS CACHE_REGS
return Yap_CurrentSlot(PASS_REGS1); return Yap_CurrentSlot();
} }
X_API Int YAP_NewSlots(int n) { X_API Int YAP_NewSlots(int n) {
@ -1078,7 +1078,7 @@ X_API Int YAP_InitSlot(Term t) {
X_API int YAP_RecoverSlots(int n, Int top_slot) { X_API int YAP_RecoverSlots(int n, Int top_slot) {
CACHE_REGS CACHE_REGS
return Yap_RecoverSlots(n, top_slot PASS_REGS); return Yap_RecoverSlots(n, top_slot);
} }
X_API Term YAP_GetFromSlot(Int slot) { X_API Term YAP_GetFromSlot(Int slot) {
@ -1109,7 +1109,7 @@ restart:
X_API void YAP_PutInSlot(Int slot, Term t) { X_API void YAP_PutInSlot(Int slot, Term t) {
CACHE_REGS CACHE_REGS
Yap_PutInSlot(slot, t PASS_REGS); Yap_PutInSlot(slot, t);
} }
typedef Int (*CPredicate0)(void); typedef Int (*CPredicate0)(void);