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

always deref arguments to built-ins.

Browse Source
This commit is contained in:
Vítor Santos Costa 2014-10-02 14:32:26 +01:00
parent 74c136b986
commit a1022f8237
1 changed files with 3 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
C/cmppreds.c
View File

@ -794,7 +794,9 @@ a_eq(Term t1, Term t2)
{
CACHE_REGS
/* A =:= B */
int out;
Int out;
t1 = Deref(t1);
t2 = Deref(t2);
if (IsVarTerm(t1)) {
Yap_Error(INSTANTIATION_ERROR, t1, "=:=/2");