From b752cc73d1d9c0dafb3fd4f564ee64dc1a467abd Mon Sep 17 00:00:00 2001
From: Michael Williamson <mike@zwobble.org>
Date: Tue, 26 Dec 2023 22:17:39 +0000
Subject: Use Wasm platform type for exception values

---
 src/main/java/org/shedlang/compiler/backends/wasm/PatioToWasm.java | 5 +++--
 1 file changed, 3 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 b2476da8..a3c2e944 100644
--- a/src/main/java/org/shedlang/compiler/backends/wasm/PatioToWasm.java
+++ b/src/main/java/org/shedlang/compiler/backends/wasm/PatioToWasm.java
@@ -93,7 +93,7 @@ public class PatioToWasm {
                     module = module.addTag(new WasmTag(
                         WasmTagType.EXCEPTION,
                         patioExceptionTypeDefinition.name(),
-                        List.of(WasmValueType.I32)
+                        List.of(platformTarget.patioIntType())
                     ));
                 }
                 case PatioFunctionDefinition patioFunctionDefinition -> {
@@ -402,8 +402,9 @@ public class PatioToWasm {
             }
 
             case PatioTry try_ -> {
+                // TODO: don't assume we always have a Patio int
                 context = context.enterTryInstruction(
-                    new WasmBlockType(List.of(WasmValueType.I32))
+                    new WasmBlockType(List.of(platformTarget.patioIntType()))
                 );
 
                 context = generateBlockBody(try_.body(), context);
-- 
cgit v1.2.3