summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorMichael Williamson <mike@zwobble.org>2026-05-29 10:06:53 +0100
committerMichael Williamson <mike@zwobble.org>2026-05-29 10:06:53 +0100
commit4760a565652e49e4e929396ee08bd3296c482e3e (patch)
treea048873afbf504b268cecdc35aec22f86f19bb91
parent8631c1eb72ff4673eb57b6fcd2cfced8435e3567 (diff)
Generate arbitrary value for sums using first variant
-rw-r--r--src/main/java/org/zwobble/hobgoblin/compiler/output/generators/javatypes/JavaTypesGenerator.java3
1 files changed, 2 insertions, 1 deletions
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 -> {