fix depth_limit in call/1
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@170 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
This commit is contained in:
parent
458a0a857f
commit
c327cafdaa
@ -11193,12 +11193,12 @@ absmi(int inp)
|
|||||||
PREG = (yamop *) pen->CodeOfPred;
|
PREG = (yamop *) pen->CodeOfPred;
|
||||||
#ifdef DEPTH_LIMIT
|
#ifdef DEPTH_LIMIT
|
||||||
if (DEPTH <= MkIntTerm(1)) {/* I assume Module==0 is primitives */
|
if (DEPTH <= MkIntTerm(1)) {/* I assume Module==0 is primitives */
|
||||||
if (Module(pt0)) {
|
if (pen->ModuleOfPred) {
|
||||||
if (DEPTH == MkIntTerm(0))
|
if (DEPTH == MkIntTerm(0))
|
||||||
FAIL();
|
FAIL();
|
||||||
else DEPTH = RESET_DEPTH();
|
else DEPTH = RESET_DEPTH();
|
||||||
}
|
}
|
||||||
} else if (Module(pt0))
|
} else if (pen->ModuleOfPred)
|
||||||
DEPTH -= MkIntConstant(2);
|
DEPTH -= MkIntConstant(2);
|
||||||
#endif /* DEPTH_LIMIT */
|
#endif /* DEPTH_LIMIT */
|
||||||
#ifdef LOW_LEVEL_TRACER
|
#ifdef LOW_LEVEL_TRACER
|
||||||
|
Reference in New Issue
Block a user