--# run #--
--- text ---
| {}"f1: " {}"*[1, 2]" {}" " {}"*[1, 2]" {}"" |
--- text ---
| {}"CHECK" |
--- text ---
| {}"REC" |
--- text ---
| {}"f1: " {}"*[1, 2, 3]" {}" " {}"*[1, 2, 3]" {}"" |
--- text ---
| {}"CHECK" |
--- error ---
t
	↳ from test/tests/scope checkpoint mutable error.ans:23:7 in call: error("t")
	↳ from test/tests/scope checkpoint mutable error.ans:5:1 in block: insert(t, len(l) + 1)…
	↳ from test/tests/scope checkpoint mutable error.ans:5:8 in call: _
	↳ from test/tests/scope checkpoint mutable error.ans:5:1 in return boundary: _
	↳ from test/tests/scope checkpoint mutable error.ans:5:1 in return boundary: _
	↳ from test/tests/scope checkpoint mutable error.ans:17:4 in call: f(t)
	↳ from test/tests/scope checkpoint mutable error.ans:13:2 in block: | REC |…
	↳ from test/tests/scope checkpoint mutable error.ans:13:10 in call: _
	↳ from test/tests/scope checkpoint mutable error.ans:13:8 in call: n < 1 ~ _
	↳ from test/tests/scope checkpoint mutable error.ans:13:2 in partial scope: n < 1 ~…
	↳ from test/tests/scope checkpoint mutable error.ans:5:1 in block: insert(t, len(l) + 1)…
	↳ from test/tests/scope checkpoint mutable error.ans:5:8 in call: _
	↳ from test/tests/scope checkpoint mutable error.ans:5:1 in return boundary: _
	↳ from test/tests/scope checkpoint mutable error.ans:5:1 in return boundary: _
	↳ from test/tests/scope checkpoint mutable error.ans:32:2 in call: f(l)
	↳ from ? in block: :l = *[1]…
--# post run check #--
--- text ---
| {}"AFTER ERROR" |
--- text ---
| {}"l: " {}"*[1, 2, 3]" {}"" |
--- return ---
()
--# saved #--
{}