mirror of
https://github.com/Reuh/anselme.git
synced 2025-10-27 16:49:31 +00:00
Étienne Reuh Fildadut
b192206de0
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.
19 lines
No EOL
297 B
Text
19 lines
No EOL
297 B
Text
--# run #--
|
|
--- text ---
|
|
| {}"No checkpoint:" |
|
|
| {}"x" |
|
|
--- text ---
|
|
| {}"b" |
|
|
--- text ---
|
|
| {}"From checkpoint:" |
|
|
| {}"a" |
|
|
| {}"b" |
|
|
--- text ---
|
|
| {}"Force no checkpoint:" |
|
|
| {}"x" |
|
|
--- text ---
|
|
| {}"b" |
|
|
--- return ---
|
|
()
|
|
--# saved #--
|
|
{"f.checkpoint":#p, "f.reached":*{#p:2}, "f.run":3} |