From 6fe5f16e1b261dcc34f83ca9c6d6049d3591976b Mon Sep 17 00:00:00 2001
From: Michael Williamson <mike@zwobble.org>
Date: Thu, 2 Jul 2026 16:29:26 +0100
Subject: Add isBox to typed enum variant definition

---
 .../hobgoblin/compiler/ast/typed/TypedSumVariantDefinitionNode.java      | 1 +
 .../java/org/zwobble/hobgoblin/compiler/typechecker/TypeChecker.java     | 1 +
 2 files changed, 2 insertions(+)

(limited to 'src/main')

diff --git a/src/main/java/org/zwobble/hobgoblin/compiler/ast/typed/TypedSumVariantDefinitionNode.java b/src/main/java/org/zwobble/hobgoblin/compiler/ast/typed/TypedSumVariantDefinitionNode.java
index 5c2dd6c..efbea83 100644
--- a/src/main/java/org/zwobble/hobgoblin/compiler/ast/typed/TypedSumVariantDefinitionNode.java
+++ b/src/main/java/org/zwobble/hobgoblin/compiler/ast/typed/TypedSumVariantDefinitionNode.java
@@ -5,6 +5,7 @@ import org.zwobble.hobgoblin.compiler.types.Type;
 
 public record TypedSumVariantDefinitionNode(
     TypedTypeLevelExpressionNode<Type> type,
+    boolean isBox,
     Source source
 ) implements TypedNode {
 }
diff --git a/src/main/java/org/zwobble/hobgoblin/compiler/typechecker/TypeChecker.java b/src/main/java/org/zwobble/hobgoblin/compiler/typechecker/TypeChecker.java
index 8b930aa..f313333 100644
--- a/src/main/java/org/zwobble/hobgoblin/compiler/typechecker/TypeChecker.java
+++ b/src/main/java/org/zwobble/hobgoblin/compiler/typechecker/TypeChecker.java
@@ -249,6 +249,7 @@ public class TypeChecker {
             var variantType = typeCheckMetaType(untypedVariant.type(), context);
             var typedVariant = new TypedSumVariantDefinitionNode(
                 variantType,
+                untypedVariant.isBox(),
                 untyped.source()
             );
             typedVariants.add(typedVariant);
-- 
cgit v1.2.3