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

more grow fixes

Browse Source 
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@1205 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
This commit is contained in:
vsc 2004-12-08 00:10:48 +00:00
parent 1fd9afa013
commit ac7efbaabf
1 changed files with 10 additions and 8 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

18
C/cdmgr.c
View File

@ -11,8 +11,13 @@
* File: cdmgr.c * * File: cdmgr.c *
* comments: Code manager * * comments: Code manager *
* * * *
* Last rev: $Date: 2004-12-05 05:01:23 $,$Author: vsc $ * * Last rev: $Date: 2004-12-08 00:10:48 $,$Author: vsc $ *
* $Log: not supported by cvs2svn $ * $Log: not supported by cvs2svn $
* Revision 1.143 2004/12/05 05:01:23 vsc
* try to reduce overheads when running with goal expansion enabled.
* CLPBN fixes
* Handle overflows when allocating big clauses properly.
*
* Revision 1.142 2004/11/18 22:32:31 vsc * Revision 1.142 2004/11/18 22:32:31 vsc
* fix situation where we might assume nonextsing double initialisation of C predicates (use * fix situation where we might assume nonextsing double initialisation of C predicates (use
* Hidden Pred Flag). * Hidden Pred Flag).
@ -228,17 +233,14 @@ PredForChoicePt(yamop *p_code) {
return ENV_ToP(gc_B->cp_cp); return ENV_ToP(gc_B->cp_cp);
#endif #endif
case _or_else: case _or_else:
if (p_code == if (p_code == p_code->u.sla.sla_u.l) {
#ifdef YAPOR
p_code->u.ldl.l
#else
p_code->u.sla.sla_u.l
#endif
) {
/* repeat */ /* repeat */
Atom at = Yap_LookupAtom("repeat "); Atom at = Yap_LookupAtom("repeat ");
return RepPredProp(PredPropByAtom(at, PROLOG_MODULE)); return RepPredProp(PredPropByAtom(at, PROLOG_MODULE));
} else {
return p_code->u.sla.p0;
} }
break;
case _or_last: case _or_last:
#ifdef YAPOR #ifdef YAPOR
return p_code->u.sla.p0; return p_code->u.sla.p0;