From cfe6cf895550d85699ac933021cf9f8f0c468dd4 Mon Sep 17 00:00:00 2001
From: Michael Williamson <mike@zwobble.org>
Date: Thu, 20 Jul 2023 17:22:15 +0100
Subject: Add data for whether namespace is inited

---
 .../java/org/shedlang/compiler/patio/PatioCodeGenNamespaces.java    | 6 ++++++
 1 file changed, 6 insertions(+)

(limited to 'src/main/java')

diff --git a/src/main/java/org/shedlang/compiler/patio/PatioCodeGenNamespaces.java b/src/main/java/org/shedlang/compiler/patio/PatioCodeGenNamespaces.java
index a07bb1f2..4d41f344 100644
--- a/src/main/java/org/shedlang/compiler/patio/PatioCodeGenNamespaces.java
+++ b/src/main/java/org/shedlang/compiler/patio/PatioCodeGenNamespaces.java
@@ -29,6 +29,12 @@ public class PatioCodeGenNamespaces {
             source
         );
 
+        context = context.addDataElement(
+            globalNameNamespaceIsInited(namespaceName),
+            PatioTypes.scalar(PatioTypes.BOOL),
+            source
+        );
+
         context = context.createFunction(
             globalNameNamespaceInit(namespaceName),
             false,
-- 
cgit v1.2.3