Call blocks: macro repr, repeated caller keyword, any call expression (0199)

[rmorozov]

Requested by Ruslan · project thread

Before: {{ caller }} and {{ m }} printed nothing, {% call m(caller=c) %} loaded and ran, and {% call ns.m() %} failed to parse ("Expected: '('").

After: a macro prints as <Macro 'm'> and a call block's caller as <Macro anonymous> (also inside lists, dicts and with autoescape), and caller.name is None. {% call m(caller=c) %} is a load error pointing at caller, matching Python's "keyword argument repeated: caller". call takes any call expression (ns.m(), l[0]()), and a non-call (m, m()|e, m() if a else b) is rejected as Jinja2's "expected call" does.

How: ParseCall parses the callee with ExpressionParser::ParseFullExpression and requires a CallExpression; MacroCallStatement holds that node and evaluates its callee at render instead of looking a name up by hash, so the callee is now an ordinary name use for the name resolver (one name_resolver_test row updated). ValueRendererBase renders Callable::Macro values with attributes; other callables still print nothing.

Deliberate divergence: globals, Python methods and other non-macro callables print nothing, since Python's repr of them carries an address.

Parity: three 0199 divergence lines removed; eight new cases under statements.py (attribute/item callee, rejected forms, inner caller= accepted, escaped repr, caller.name). Expectations regenerated under Python 3.12.

Filed 0208 (macros as values: pprint, equality/unique, truncate, call blocks passing caller to callees that do not take it), pinned by statements.macro_pprint and statements.macro_equals_itself.

Roles: verifier (1 round: one blocking finding, a missing <optional> include caught by clang-tidy, already fixed before push; ASan+UBSan, fuzz replay over ~22k mutated call-block inputs and ~190 Python comparisons all clean). Perf gate: all benchmarks within +0.2%. Red pushes: none yet.

Part of the parity merge train with 0201+0202, 0143+0198, 0200+0127.

---

Generated by Claude Code