diff options
| author | Michael Williamson <mike@zwobble.org> | 2023-10-08 12:30:38 +0100 |
|---|---|---|
| committer | Michael Williamson <mike@zwobble.org> | 2023-10-08 12:30:38 +0100 |
| commit | ccec3ef3e6d860df92daccd7e4d3016e6bd13f2b (patch) | |
| tree | 54734b66dab2ccdfdb101eb6f3d90a8a4ea7ba77 /src/main/java | |
| parent | 44eccf59a95c04f2d72e01b1a98b8cb2afca2683 (diff) | |
Push temporary when generating Patio code for switch
Diffstat (limited to 'src/main/java')
| -rw-r--r-- | src/main/java/org/shedlang/compiler/patio/PatioCodeGen.java | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/src/main/java/org/shedlang/compiler/patio/PatioCodeGen.java b/src/main/java/org/shedlang/compiler/patio/PatioCodeGen.java index 3510a249..66c2faf4 100644 --- a/src/main/java/org/shedlang/compiler/patio/PatioCodeGen.java +++ b/src/main/java/org/shedlang/compiler/patio/PatioCodeGen.java @@ -557,6 +557,8 @@ public class PatioCodeGen { switch_.source() )); + context = context.temporaryPush(target); + yield context; } |