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

fix correctly the bug in coroutining: Yap should join the two goals.

Browse Source 
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@1129 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
This commit is contained in:
vsc 2004-09-08 18:09:26 +00:00
parent ab7489b93d
commit 6a4d9ef41a
2 changed files with 2 additions and 5 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
C/tracer.c
View File

@ -120,10 +120,6 @@ low_level_trace(yap_low_level_port port, PredEntry *pred, CELL *args)
/* extern int gc_calls; */ /* extern int gc_calls; */
vsc_count++; vsc_count++;
if (vsc_count < 845900)
return;
if (vsc_count == 845979)
jmp_deb(1);
#ifdef COMMENTED #ifdef COMMENTED
// if (vsc_count == 218280) // if (vsc_count == 218280)
// vsc_xstop = 1; // vsc_xstop = 1;

3
pl/corout.yap
View File

@ -220,7 +220,8 @@ dif(_, _).
% %
% check if the variable was really bound % check if the variable was really bound
% %
'$redo_freeze'(Done, V, _) :- var(V), !. '$redo_freeze'(Done, V, G) :- var(V), !,
'$freeze'(V, '$redo_freeze'(Done,V,G)).
% %
% I can't believe it: we're done and can actually execute our % I can't believe it: we're done and can actually execute our
% goal. Notice we have to say we are done, otherwise someone else in % goal. Notice we have to say we are done, otherwise someone else in