From 7035f25c5690d3e9d9cb3fa6df58519a754e39c5 Mon Sep 17 00:00:00 2001
From: Michael Williamson <mike@zwobble.org>
Date: Tue, 26 Dec 2023 22:51:55 +0000
Subject: Store Wasm type for Patio locals

---
 src/main/java/org/shedlang/compiler/backends/wasm/PatioToWasm.java | 7 +++++--
 1 file changed, 5 insertions(+), 2 deletions(-)

(limited to 'src/main/java')

diff --git a/src/main/java/org/shedlang/compiler/backends/wasm/PatioToWasm.java b/src/main/java/org/shedlang/compiler/backends/wasm/PatioToWasm.java
index b14d7a35..9f488b8a 100644
--- a/src/main/java/org/shedlang/compiler/backends/wasm/PatioToWasm.java
+++ b/src/main/java/org/shedlang/compiler/backends/wasm/PatioToWasm.java
@@ -794,7 +794,10 @@ public class PatioToWasm {
     }
 
     private static class Context {
-        private record PatioLocalInfo(WasmLocalIndex wasmLocalIndex) {}
+        private record PatioLocalInfo(
+            WasmLocalIndex wasmLocalIndex,
+            WasmValueType wasmType
+        ) {}
 
         public static Context forFunction(
             WasmTarget platformTarget,
@@ -805,7 +808,7 @@ public class PatioToWasm {
 
             for (var local : locals) {
                 var wasmLocalIndex = new WasmLocalIndex(patioLocalNameToInfo.size());
-                var localInfo = new PatioLocalInfo(wasmLocalIndex);
+                var localInfo = new PatioLocalInfo(wasmLocalIndex, local.type());
                 patioLocalNameToInfo = patioLocalNameToInfo.plus(
                     local.name(),
                     localInfo
-- 
cgit v1.2.3