useful debugging code
This commit is contained in:
parent
a86b79928d
commit
b3a4666fc2
@ -2246,6 +2246,7 @@ addclause(Term t, yamop *cp, int mode, Term mod, Term *t4ref)
|
|||||||
if ((pflags & (UserCPredFlag|CArgsPredFlag|NumberDBPredFlag|AtomDBPredFlag|TestPredFlag|AsmPredFlag|CPredFlag|BinaryPredFlag)) ||
|
if ((pflags & (UserCPredFlag|CArgsPredFlag|NumberDBPredFlag|AtomDBPredFlag|TestPredFlag|AsmPredFlag|CPredFlag|BinaryPredFlag)) ||
|
||||||
(p->ModuleOfPred == PROLOG_MODULE &&
|
(p->ModuleOfPred == PROLOG_MODULE &&
|
||||||
mod != TermProlog && mod) ) {
|
mod != TermProlog && mod) ) {
|
||||||
|
/* printf("p=%p p->PredFlags=%lx p->cs.p_code.NOfClauses=%ld\n", p, p->PredFlags, p->cs.p_code.NOfClauses) */
|
||||||
addcl_permission_error(RepAtom(at), Arity, FALSE);
|
addcl_permission_error(RepAtom(at), Arity, FALSE);
|
||||||
UNLOCKPE(30,p);
|
UNLOCKPE(30,p);
|
||||||
return TermNil;
|
return TermNil;
|
||||||
|
Reference in New Issue
Block a user