1
0
Fork 0
mirror of https://github.com/Reuh/anselme.git synced 2025-10-27 16:49:31 +00:00
anselme/test/tests/scope checkpoint mutable error.ans

36 lines
No EOL
245 B
Text

:l = *[1]
:n = 0
:$ f(t)
t!insert(len(l)+1)
|f1: {l} {t}
|CHECK
merge branch!
if(n < 1)
|REC
n += 1
f(t)
|END REC
t!insert(len(t)+1)
error("t")
|f2: {l}
:@$ post run check
|AFTER ERROR
|l: {l}
f(l)
|FINAL
|l: {l}