1
0
Fork 0
mirror of https://github.com/Reuh/anselme.git synced 2025-10-27 16:49:31 +00:00

[stdlib] merge branch! now perform a complete flush before merging by default

Otherwise, events written to the buffer before the merge may only be yielded after the merge is already done; if such an event would lead to the script being interrupted, we would likely want the state not to be merged in the first place, hence the change.
This commit is contained in:
Étienne Fildadut 2024-04-29 22:29:37 +02:00
parent 892cb2c623
commit b192206de0
8 changed files with 13 additions and 37 deletions

View file

@ -1,17 +0,0 @@
--# run #--
--- text ---
| {}"Force run checkpoint:" |
| {}"a" |
| {}"b" |
--- text ---
| {}"From checkpoint:" |
| {}"a" |
| {}"b" |
--- text ---
| {}"Force no checkpoint:" |
| {}"x" |
| {}"b" |
--- return ---
()
--# saved #--
{"f.checkpoint":#p, "f.reached":*{#p:1}, "f.run":3}

View file

@ -10,6 +10,7 @@
--- text ---
| {}"Force no checkpoint:" |
| {}"x" |
--- text ---
| {}"b" |
--- return ---
()

View file

@ -2,6 +2,7 @@
--- text ---
| {}"No checkpoint:" |
| {}"x" |
--- text ---
| {}"b" |
--- text ---
| {}"From checkpoint:" |
@ -10,6 +11,7 @@
--- text ---
| {}"Force no checkpoint:" |
| {}"x" |
--- text ---
| {}"b" |
--- return ---
()

View file

@ -1,14 +0,0 @@
:f = "f"!script($_)
|x
#p!checkpoint($_)
|a
|b
|Force run checkpoint:
f!from(#p)
|From checkpoint:
f!
|Force no checkpoint:
f!from()

View file

@ -11,4 +11,4 @@ f!
f!
|Force no checkpoint:
f!from()
f!from