Alternate translation of do-while-block to avoid or (||) short circuiting#158

Merged

hei411 merged 6 commits into

mainfrom

Jul 2, 2026

Commits on Jul 2, 2026

Add clean do-while desugaring when body has no top-level continue

authored and
hei411
committed
Fold nested_continue case into do_while test

authored and
hei411
committed
Omit do-while linking invariant for impure guards; add g_loop test

authored and
hei411
committed
do while now extended to support impure cond

t-heili
authored and
hei411
committed
Revert changes. Tests do not all pass

t-heili
authored and
hei411
committed
Changse to do while: added a _do_while_cond and a test that utilizes an impure function in the guard

t-heili
authored and
hei411
committed