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

just say cmp preds are binary.

Browse Source
This commit is contained in:
Vítor Santos Costa 2014-10-02 14:34:51 +01:00
parent 48b1cf5d45
commit 2960f81e04
1 changed files with 3 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

5
C/init.c
View File

@ -627,7 +627,7 @@ Yap_InitCmpPred(const char *Name, UInt Arity, CmpPredicate cmp_code, UInt flags)
return; return;
} }
} }
if (pe->PredFlags & CPredFlag) { if (pe->PredFlags & BinaryPredFlag) {
flags = update_flags_from_prolog(flags, pe); flags = update_flags_from_prolog(flags, pe);
p_code = pe->CodeOfPred; p_code = pe->CodeOfPred;
/* already exists */ /* already exists */
@ -651,7 +651,7 @@ Yap_InitCmpPred(const char *Name, UInt Arity, CmpPredicate cmp_code, UInt flags)
} }
} }
} }
pe->PredFlags = flags | StandardPredFlag | CPredFlag; //pe->PredFlags = flags | StandardPredFlag;
pe->CodeOfPred = p_code; pe->CodeOfPred = p_code;
pe->cs.d_code = cmp_code; pe->cs.d_code = cmp_code;
pe->ModuleOfPred = CurrentModule; pe->ModuleOfPred = CurrentModule;
@ -1054,6 +1054,7 @@ InitSWIAtoms(void)
int j=0; int j=0;
MaxAtomTranslations = 2*N_SWI_ATOMS ; MaxAtomTranslations = 2*N_SWI_ATOMS ;
SWI_Atoms = (Atom *)malloc(sizeof(Atom)*MaxAtomTranslations); SWI_Atoms = (Atom *)malloc(sizeof(Atom)*MaxAtomTranslations);
SWI_Functors = (Functor *)malloc(sizeof(Functor)*2*N_SWI_ATOMS);
#include "iswiatoms.h" #include "iswiatoms.h"
Yap_InitSWIHash(); Yap_InitSWIHash();
ATOM_ = PL_new_atom(""); ATOM_ = PL_new_atom("");