diff options
| author | Michael Williamson <mike@zwobble.org> | 2023-12-19 11:36:43 +0000 |
|---|---|---|
| committer | Michael Williamson <mike@zwobble.org> | 2023-12-19 11:36:43 +0000 |
| commit | a409f5706a7812beb9b2d9fdeee544ea35545416 (patch) | |
| tree | 86bab48a1a480241bdc8708412be3b02460c0b44 /src/main/java | |
| parent | e0ae40b0195b6920bb83e0e8ae2dca7c6b9a7313 (diff) | |
Add TODO
Diffstat (limited to 'src/main/java')
| -rw-r--r-- | src/main/java/org/shedlang/compiler/patio/PatioCodeGenEffects.java | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/src/main/java/org/shedlang/compiler/patio/PatioCodeGenEffects.java b/src/main/java/org/shedlang/compiler/patio/PatioCodeGenEffects.java index 29618c99..e72055b5 100644 --- a/src/main/java/org/shedlang/compiler/patio/PatioCodeGenEffects.java +++ b/src/main/java/org/shedlang/compiler/patio/PatioCodeGenEffects.java @@ -351,6 +351,7 @@ public class PatioCodeGenEffects { source ) ), + // TODO: also need to pop on early exit from the body body.addInstruction(new PatioCall( Optional.empty(), POP_HANDLER_DECLARATION.name(), |