cleanup error messages in functor/3
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@90 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
This commit is contained in:
parent
d9edb0d992
commit
792d836ee6
@ -1977,7 +1977,7 @@ absmi(int inp)
|
|||||||
* *cannot* fail before having woken up all suspended goals.
|
* *cannot* fail before having woken up all suspended goals.
|
||||||
*/
|
*/
|
||||||
/* make sure we are here because of an awoken goal */
|
/* make sure we are here because of an awoken goal */
|
||||||
if (CFREG == Unsigned(LCL0)) {
|
if (CFREG == Unsigned(LCL0) && !(PrologMode & AbortMode)) {
|
||||||
Term WGs = ReadTimedVar(WokenGoals);
|
Term WGs = ReadTimedVar(WokenGoals);
|
||||||
Term my_goal = AbsAppl(H);
|
Term my_goal = AbsAppl(H);
|
||||||
|
|
||||||
@ -10103,7 +10103,7 @@ absmi(int inp)
|
|||||||
if (IsIntegerTerm(d1))
|
if (IsIntegerTerm(d1))
|
||||||
d1 = IntegerOfTerm(d1);
|
d1 = IntegerOfTerm(d1);
|
||||||
else {
|
else {
|
||||||
Error(TYPE_ERROR_INTEGER,ARG3,"functor/3");
|
Error(TYPE_ERROR_INTEGER,d1,"functor/3");
|
||||||
FAIL();
|
FAIL();
|
||||||
}
|
}
|
||||||
if (!IsAtomicTerm(d0)) {
|
if (!IsAtomicTerm(d0)) {
|
||||||
@ -10206,7 +10206,7 @@ absmi(int inp)
|
|||||||
if (IsIntegerTerm(d1))
|
if (IsIntegerTerm(d1))
|
||||||
d1 = IntegerOfTerm(d1);
|
d1 = IntegerOfTerm(d1);
|
||||||
else {
|
else {
|
||||||
Error(TYPE_ERROR_INTEGER,ARG3,"functor/3");
|
Error(TYPE_ERROR_INTEGER,d1,"functor/3");
|
||||||
FAIL();
|
FAIL();
|
||||||
}
|
}
|
||||||
/* We made it!!!!! we got in d0 the name, in d1 the arity and
|
/* We made it!!!!! we got in d0 the name, in d1 the arity and
|
||||||
@ -10388,7 +10388,7 @@ absmi(int inp)
|
|||||||
if (IsIntegerTerm(d1))
|
if (IsIntegerTerm(d1))
|
||||||
d1 = IntegerOfTerm(d1);
|
d1 = IntegerOfTerm(d1);
|
||||||
else {
|
else {
|
||||||
Error(TYPE_ERROR_INTEGER,ARG3,"functor/3");
|
Error(TYPE_ERROR_INTEGER,d1,"functor/3");
|
||||||
FAIL();
|
FAIL();
|
||||||
}
|
}
|
||||||
if (!IsAtomicTerm(d0)) {
|
if (!IsAtomicTerm(d0)) {
|
||||||
|
Reference in New Issue
Block a user