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 bis error.ans

47 lines
334 B
Text

:x = *[99]
:l = *[1,x]
: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
|f2: {l}
|CHECK 2
merge branch!
t!insert(len(t)+1)
t(2)!insert(len(l)+1)
error("t")
|f3: {l} {t}
:@$ post run check
|AFTER ERROR
|l: {l}
f(l)
|FINAL
|l: {l}
|x: {x}