From 1f86ef817b64e5e78ed92dd767fa38306c7662b5 Mon Sep 17 00:00:00 2001
From: Michael Williamson <mike@zwobble.org>
Date: Fri, 30 Jun 2023 19:54:28 +0100
Subject: Mark namespace as inited in WASM backend

---
 .../compiler/backends/wasm/WasmCodeGenNamespaces.java         | 11 +++++++++--
 1 file changed, 9 insertions(+), 2 deletions(-)

(limited to 'src/main/java')

diff --git a/src/main/java/org/shedlang/compiler/backends/wasm/WasmCodeGenNamespaces.java b/src/main/java/org/shedlang/compiler/backends/wasm/WasmCodeGenNamespaces.java
index 9cf3a575..f951d644 100644
--- a/src/main/java/org/shedlang/compiler/backends/wasm/WasmCodeGenNamespaces.java
+++ b/src/main/java/org/shedlang/compiler/backends/wasm/WasmCodeGenNamespaces.java
@@ -51,8 +51,15 @@ public class WasmCodeGenNamespaces {
             globalNameNamespaceInit(namespaceName),
             new WasmFuncType(List.of(), List.of()),
             initContext -> {
-                // TODO: set isInited to true
-                return generateInitBody.apply(initContext);
+                initContext = generateInitBody.apply(initContext);
+
+                initContext = initContext
+                    .addInstruction(new WasmI32Const(1))
+                    .addInstruction(new WasmGlobalSet(
+                        new WasmGlobalName(globalNameNamespaceIsInited(namespaceName))
+                    ));
+
+                return initContext;
             }
         );
 
-- 
cgit v1.2.3