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

small speedups

Browse Source
This commit is contained in:
Vítor Santos Costa 2012-11-05 13:49:49 +00:00
parent 06b915d568
commit 2a737fe22b
1 changed files with 3 additions and 3 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

6
library/dialect/swi/fli/swi.c
View File

@ -397,9 +397,9 @@ X_API int PL_get_integer(term_t ts, int *i)
{ {
CACHE_REGS CACHE_REGS
YAP_Term t = Yap_GetFromSlot(ts PASS_REGS); YAP_Term t = Yap_GetFromSlot(ts PASS_REGS);
if (!YAP_IsIntTerm(t) ) if (IsVarTerm(t) || !IsIntegerTerm(t) )
return 0; return 0;
*i = YAP_IntOfTerm(t); *i = (int)IntegerOfTerm(t);
return 1; return 1;
} }
@ -1078,7 +1078,7 @@ X_API int PL_warning(const char *msg, ...) {
X_API int PL_unify(term_t t1, term_t t2) X_API int PL_unify(term_t t1, term_t t2)
{ {
CACHE_REGS CACHE_REGS
return YAP_Unify(Yap_GetFromSlot(t1 PASS_REGS),Yap_GetFromSlot(t2 PASS_REGS)); return Yap_unify(Yap_GetFromSlot(t1 PASS_REGS),Yap_GetFromSlot(t2 PASS_REGS));
} }
/* SWI: int PL_unify_atom(term_t ?t, atom *at) /* SWI: int PL_unify_atom(term_t ?t, atom *at)