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