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

dbg

Browse Source
This commit is contained in:
Vitor Santos Costa 2019-05-25 09:06:55 +01:00
parent ee12fea7cd
commit 60adbb9a75
1 changed files with 5 additions and 5 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

10
C/write.c
View File

@ -424,7 +424,7 @@ static inline bool was_visited(Term t, wglbs *wg, Term *ta ) {
CELL *pt= (CELL*)AtomOfTerm(*tp); CELL *pt= (CELL*)AtomOfTerm(*tp);
if (pt >= wg->visited0 && if (pt >= wg->visited0 &&
pt < wg->visited) { pt < wg->visited) {
int depth = (wg->visited+1)-tp; int depth = (wg->visited+1)-pt;
wrputs(" @( ", wg->stream); wrputs(" @( ", wg->stream);
wrputn(depth, wg); wrputn(depth, wg);
wrputs( " ) ", wg->stream); wrputs( " ) ", wg->stream);
@ -433,7 +433,7 @@ static inline bool was_visited(Term t, wglbs *wg, Term *ta ) {
} }
wg->visited[0] = *tp; wg->visited[0] = *tp;
*tp = MkAtomTerm( (Atom)wg->visited ); *tp = MkAtomTerm( (Atom)wg->visited );
wg++; wg->visited_top++;
return false; return false;
} }
@ -1176,14 +1176,14 @@ void Yap_plwrite(Term t, StreamDesc *mywrite, int max_depth, int flags,
wglb.lw = separator; wglb.lw = separator;
Term tp; Term tp;
if ((flags & Handle_cyclics_f) ){ if (true && (flags & Handle_cyclics_f) ){
// tp = Yap_CyclesInTerm(t PASS_REGS); // tp = Yap_CyclesInTerm(t PASS_REGS);
wglb.visited = Malloc(1024*sizeof(CELL)), wglb.visited = Malloc(1024*sizeof(CELL)),
wglb.visited0 = wglb.visited, wglb.visited0 = wglb.visited,
wglb.visited_top = wglb.visited+1024; wglb.visited_top = wglb.visited+1024;
} else {
tp = t;
} }
tp = t;
/* protect slots for portray */ /* protect slots for portray */
writeTerm(tp, priority, 1, false, &wglb, &rwt); writeTerm(tp, priority, 1, false, &wglb, &rwt);