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

don't complain big int in arg/3

Browse Source
This commit is contained in:
Vítor Santos Costa 2014-02-14 22:47:16 +00:00
parent 625c66015d
commit e52d8f7d7e
2 changed files with 6 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
C/absmi.c
View File

@ -11964,6 +11964,8 @@ Yap_absmi(int inp)
else if (IsLongIntTerm(d0)) { else if (IsLongIntTerm(d0)) {
d0 = LongIntOfTerm(d0); d0 = LongIntOfTerm(d0);
} else { } else {
if (IsBigIntTerm( d0 ))
FAIL();
saveregs(); saveregs();
Yap_Error(TYPE_ERROR_INTEGER,d0,"arg 1 of arg/3"); Yap_Error(TYPE_ERROR_INTEGER,d0,"arg 1 of arg/3");
setregs(); setregs();
@ -12151,6 +12153,8 @@ Yap_absmi(int inp)
else if (IsLongIntTerm(d0)) { else if (IsLongIntTerm(d0)) {
d0 = LongIntOfTerm(d0); d0 = LongIntOfTerm(d0);
} else { } else {
if (IsBigIntTerm( d0 ))
FAIL();
saveregs(); saveregs();
Yap_Error(TYPE_ERROR_INTEGER,d0,"arg 1 of arg/3"); Yap_Error(TYPE_ERROR_INTEGER,d0,"arg 1 of arg/3");
setregs(); setregs();

3
C/inlines.c
View File

@ -508,7 +508,8 @@ p_arg( USES_REGS1 )
else if (IsLongIntTerm(d0)) { else if (IsLongIntTerm(d0)) {
d0 = LongIntOfTerm(d0); d0 = LongIntOfTerm(d0);
} else { } else {
Yap_Error(TYPE_ERROR_INTEGER,d0,"arg 1 of arg/3"); if (!IsBigIntTerm( d0 ))
Yap_Error(TYPE_ERROR_INTEGER,d0,"arg 1 of arg/3");
return(FALSE); return(FALSE);
} }