From 4760a565652e49e4e929396ee08bd3296c482e3e Mon Sep 17 00:00:00 2001
From: Michael Williamson <mike@zwobble.org>
Date: Fri, 29 May 2026 10:06:53 +0100
Subject: Generate arbitrary value for sums using first variant

---
 .../compiler/output/generators/javatypes/JavaTypesGenerator.java       | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/src/main/java/org/zwobble/hobgoblin/compiler/output/generators/javatypes/JavaTypesGenerator.java b/src/main/java/org/zwobble/hobgoblin/compiler/output/generators/javatypes/JavaTypesGenerator.java
index 7a4fb58..d585baf 100644
--- a/src/main/java/org/zwobble/hobgoblin/compiler/output/generators/javatypes/JavaTypesGenerator.java
+++ b/src/main/java/org/zwobble/hobgoblin/compiler/output/generators/javatypes/JavaTypesGenerator.java
@@ -313,7 +313,8 @@ public class JavaTypesGenerator implements Generator {
             }
 
             case SumType sumType -> {
-                throw new UnsupportedOperationException("TODO");
+                var firstVariant = context.variants(sumType).getFirst();
+                yield arbitraryValue(firstVariant, context);
             }
 
             case TypeLevelValueType typeLevelValueType -> {
-- 
cgit v1.2.3