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

be more careful when to complain about redefining system press.

Browse Source
This commit is contained in:
Vítor Santos Costa 2016-02-21 19:07:14 +00:00
parent f7d23f9deb
commit d5862139c8
1 changed files with 9 additions and 11 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

20
C/cdmgr.c
View File

@ -1581,6 +1581,15 @@ bool Yap_constPred(PredEntry *p) {
pred_flags_t pflags;
pflags = p->PredFlags;
if (Yap_isSystemModule(p->ModuleOfPred)) {
if (p->cs.p_code.NOfClauses == 0) {
p->src.OwnerFile = Yap_source_file_name();
return false;
}
if (p->src.OwnerFile == Yap_source_file_name()) {
return false;
}
}
if (pflags &
((UserCPredFlag | CArgsPredFlag | NumberDBPredFlag | AtomDBPredFlag |
TestPredFlag | AsmPredFlag | CPredFlag | BinaryPredFlag)))
@ -1590,17 +1599,6 @@ bool Yap_constPred(PredEntry *p) {
(SysExportPredFlag | MultiFileFlag | DynamicPredFlag | LogUpdatePredFlag))
return false;
if (Yap_isSystemModule(p->ModuleOfPred)) {
if (p->cs.p_code.NOfClauses == 0) {
p->src.OwnerFile = Yap_source_file_name();
return false;
}
if (p->src.OwnerFile == Yap_source_file_name()) {
return false;
}
return true;
}
return false;
}