[m-rev.] for review: document require_tail_recursion pragmas

[Zoltan Somogyi]

On Wed, 24 Jun 2026 21:30:37 +1000, Julien Fischer <jfischer at opturion.com> wrote:
> > +        % No goal inside a negation can be a *tail* call. However, a negation
> > +        % can contain recursive calls about whose non-tail-call nature
> > +        % we COULD generate a report.
> > +        GoalExpr0 = negation(SubGoal0),
> > +        mark_tail_rec_calls_in_goal(SubGoal0, SubGoal,
> > +            AtTail0, AtTail1, !Info),
> 
> Do you not need to add later_negation_end to AtTail0 here?

Yes, I do. I followed all your other suggestions as well. Thanks for the review.

Zoltan.