diff options
| author | Michael Williamson <mike@zwobble.org> | 2023-11-19 15:14:27 +0000 |
|---|---|---|
| committer | Michael Williamson <mike@zwobble.org> | 2023-11-19 15:14:27 +0000 |
| commit | 369f0a861ffe179f026d8131bbf8d1f1ef3d41f1 (patch) | |
| tree | c28da1fcb1107316083e3252c3c691bc282b0c6c /src/main/java | |
| parent | 62462ec9a30fb07882a4e489d63763deefc12098 (diff) | |
Don't use result of popping effect handler
Diffstat (limited to 'src/main/java')
| -rw-r--r-- | src/main/java/org/shedlang/compiler/patio/PatioCodeGenEffects.java | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/main/java/org/shedlang/compiler/patio/PatioCodeGenEffects.java b/src/main/java/org/shedlang/compiler/patio/PatioCodeGenEffects.java index b13165f6..ad5d64de 100644 --- a/src/main/java/org/shedlang/compiler/patio/PatioCodeGenEffects.java +++ b/src/main/java/org/shedlang/compiler/patio/PatioCodeGenEffects.java @@ -267,7 +267,7 @@ public class PatioCodeGenEffects { context = generateBody.apply(context); context = context.addInstruction(new PatioCall( - Optional.of(effectHandler), + Optional.empty(), POP_HANDLER_DECLARATION.name(), List.of(), source |