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

disable_inf_tree

Browse Source
This commit is contained in:
Vitor Santos Costa 2018-08-19 14:43:24 +01:00
parent dc6a21dbc5
commit 3344dcaf7d
1 changed files with 4 additions and 10 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

14
C/write.c
View File

@ -784,7 +784,6 @@ static void writeTerm(Term t, int p, int depth, int rinfixarg,
struct write_globs *wglb, struct rewind_term *rwt) struct write_globs *wglb, struct rewind_term *rwt)
/* term to write */ /* term to write */
/* context priority */ /* context priority */
{ {
CACHE_REGS CACHE_REGS
struct rewind_term nrwt; struct rewind_term nrwt;
@ -1137,21 +1136,16 @@ void Yap_plwrite(Term t, StreamDesc *mywrite, int max_depth, int flags,
rwt.parent = NULL; rwt.parent = NULL;
wglb.Ignore_ops = flags & Ignore_ops_f; wglb.Ignore_ops = flags & Ignore_ops_f;
wglb.Write_strings = flags & BackQuote_String_f; wglb.Write_strings = flags & BackQuote_String_f;
if (!(flags & Ignore_cyclics_f) && Yap_do_low_level_trace) { if (false && !(flags & Ignore_cyclics_f)) {
Term ts[2]; Term ts[2];
Yap_do_low_level_trace=false; ts[0] = Yap_BreakRational(t, 0, ts+1, TermNil PASS_REGS);
Yap_DebugPlWriteln(t); //fprintf(stderr, "%lx %lx %lx\n", t, ts[0], ts[1]);
ts[0] = Yap_BreakRational(t, 0, ts+1, TermNil PASS_REGS);
fprintf(stderr, "%lx %lx %lx\n", t, ts[0], ts[1]);
//Yap_DebugPlWriteln(ts[0]); //Yap_DebugPlWriteln(ts[0]);
//ap_DebugPlWriteln(ts[1[); //ap_DebugPlWriteln(ts[1[);
if (ts[1] != TermNil) { if (ts[1] != TermNil) {
t = Yap_MkApplTerm( FunctorAtSymbol, 2, ts); t = Yap_MkApplTerm( FunctorAtSymbol, 2, ts);
Yap_DebugPlWriteln(ts[0]); }
Yap_DebugPlWriteln(ts[1]);
} }
Yap_do_low_level_trace = true;
}
/* protect slots for portray */ /* protect slots for portray */
writeTerm(t, priority, 1, FALSE, &wglb, &rwt); writeTerm(t, priority, 1, FALSE, &wglb, &rwt);
if (flags & New_Line_f) { if (flags & New_Line_f) {