Skip to content

Commit

Permalink
Repaired issue #307. Involved a fundamental flaw in TestSub in proces.c.
Browse files Browse the repository at this point in the history
  • Loading branch information
vermaseren committed Jul 28, 2020
1 parent 4aee9f8 commit cb1f619
Showing 1 changed file with 15 additions and 5 deletions.
20 changes: 15 additions & 5 deletions sources/proces.c
Original file line number Diff line number Diff line change
Expand Up @@ -1579,16 +1579,25 @@ Important: we may not have enough spots here
}
}
if ( i > *t ) {
/*
We should not forget to correct the Nest
stack. That caused trouble in the past.
*/
retvalue = 1;
i -= *t;
*t2 -= i;
t1[1] -= i;
t += *t;
r = t + i;
m = term + *term;
m = AN.EndNest;
while ( r < m ) *t++ = *r++;
*term -= i;
t = AT.NestPoin[-1].argsize + ARGHEAD;
n = AT.Nest;
while ( n < AT.NestPoin ) {
*(n->argsize) -= i;
*(n->funsize) -= i;
*(n->termsize) -= i;
n++;
}
AN.EndNest -= i;
}
}
AN.subsubveto = 0;
Expand Down Expand Up @@ -3160,7 +3169,8 @@ SkipCount: level++;
if ( AR.CurDum > AM.IndDum && AR.sLevel <= 0 ) {
WORD olddummies = AN.IndDum;
AN.IndDum = AM.IndDum;
ReNumber(BHEAD term); Normalize(BHEAD term);
ReNumber(BHEAD term);
Normalize(BHEAD term);
AN.IndDum = olddummies;
if ( !*term ) goto Return0;
olddummies = DetCurDum(BHEAD term);
Expand Down

0 comments on commit cb1f619

Please sign in to comment.