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

fix swi interface.

Browse Source
This commit is contained in:
Vitor Santos Costa 2012-10-28 18:21:11 +00:00
parent f33fe61ada
commit 06051f05fb
2 changed files with 7 additions and 4 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

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

@ -150,7 +150,10 @@ PL_agc_hook(PL_agc_hook_t entry)
YAP: char* AtomName(Atom) */ YAP: char* AtomName(Atom) */
X_API char* PL_atom_chars(atom_t a) /* SAM check type */ X_API char* PL_atom_chars(atom_t a) /* SAM check type */
{ {
return RepAtom(SWIAtomToAtom(a))->StrOfAE; Atom at = SWIAtomToAtom(a);
if (IsWideAtom(at))
return NULL;
return RepAtom(at)->StrOfAE;
} }
/* SWI: char* PL_atom_chars(atom_t atom) /* SWI: char* PL_atom_chars(atom_t atom)
@ -281,7 +284,7 @@ X_API int PL_get_atom_chars(term_t ts, char **a) /* SAM check type */
{ {
CACHE_REGS CACHE_REGS
Term t = Yap_GetFromSlot(ts PASS_REGS); Term t = Yap_GetFromSlot(ts PASS_REGS);
if (!IsAtomTerm(t)) if (!IsAtomTerm(t) || IsWideAtom(AtomOfTerm(t)))
return 0; return 0;
*a = RepAtom(AtomOfTerm(t))->StrOfAE; *a = RepAtom(AtomOfTerm(t))->StrOfAE;
return 1; return 1;
@ -1252,7 +1255,7 @@ X_API int PL_unify_arg(int index, term_t tt, term_t arg)
return FALSE; return FALSE;
to = ArgOfTerm(index, t); to = ArgOfTerm(index, t);
} }
return Yap_unify(Yap_GetFromSlot(t PASS_REGS),to); return Yap_unify(Yap_GetFromSlot(arg PASS_REGS),to);
} }
/* SWI: int PL_unify_list(term_t ?t, term_t +h, term_t -t) /* SWI: int PL_unify_list(term_t ?t, term_t +h, term_t -t)

2
library/range.yap
View File

@ -16,7 +16,7 @@
*************************************************************************/ *************************************************************************/
:- module(range, [ :- module(range, [
euclidean_distance/3 euclidean_distance/3,
in_range/4, in_range/4,
in_range/8 in_range/8
]). ]).