From 97f225c25858805d74a65ec3478b9851df3b2272 Mon Sep 17 00:00:00 2001
From: Michael Williamson <mike@zwobble.org>
Date: Wed, 6 May 2026 23:45:08 +0100
Subject: Remove name() from Type

---
 .../compiler/output/generators/javatypes/JavaTypesGenerator.java     | 3 ++-
 .../org/zwobble/hobgoblin/compiler/types/ConstructedNativeType.java  | 5 -----
 src/main/java/org/zwobble/hobgoblin/compiler/types/Type.java         | 1 -
 .../org/zwobble/hobgoblin/compiler/types/TypeLevelValueType.java     | 5 -----
 4 files changed, 2 insertions(+), 12 deletions(-)

(limited to 'src')

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 d5af6d9..50ee664 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
@@ -67,7 +67,8 @@ public class JavaTypesGenerator implements Generator {
         for (var statement : namespace.body()) {
             if (statement instanceof TypedSumDefinitionNode sumDefinition) {
                 for (var variant : sumDefinition.variants()) {
-                    var variantTypeName = variant.type().value().name();
+                    // TODO: handle not struct types
+                    var variantTypeName = ((StructType) variant.type().value()).name();
                     javaClassToImplementsType.putIfAbsent(
                         variantTypeName,
                         new ArrayList<>()
diff --git a/src/main/java/org/zwobble/hobgoblin/compiler/types/ConstructedNativeType.java b/src/main/java/org/zwobble/hobgoblin/compiler/types/ConstructedNativeType.java
index 0f8051a..e7de654 100644
--- a/src/main/java/org/zwobble/hobgoblin/compiler/types/ConstructedNativeType.java
+++ b/src/main/java/org/zwobble/hobgoblin/compiler/types/ConstructedNativeType.java
@@ -7,11 +7,6 @@ public record ConstructedNativeType(
     TypeConstructor<SimpleNativeType> constructor,
     List<Type> args
 ) implements Type {
-    @Override
-    public String name() {
-        return constructor.genericType().name();
-    }
-
     @Override
     public String describe() {
         var argsString = args().stream()
diff --git a/src/main/java/org/zwobble/hobgoblin/compiler/types/Type.java b/src/main/java/org/zwobble/hobgoblin/compiler/types/Type.java
index 4af272f..6bb1642 100644
--- a/src/main/java/org/zwobble/hobgoblin/compiler/types/Type.java
+++ b/src/main/java/org/zwobble/hobgoblin/compiler/types/Type.java
@@ -1,5 +1,4 @@
 package org.zwobble.hobgoblin.compiler.types;
 
 public sealed interface Type extends TypeLevelValue permits ConstructedNativeType, ConstructibleType, SimpleNativeType, StructType, SumType, TypeLevelValueType, TypeParam {
-    String name();
 }
diff --git a/src/main/java/org/zwobble/hobgoblin/compiler/types/TypeLevelValueType.java b/src/main/java/org/zwobble/hobgoblin/compiler/types/TypeLevelValueType.java
index f2a2e47..b885c25 100644
--- a/src/main/java/org/zwobble/hobgoblin/compiler/types/TypeLevelValueType.java
+++ b/src/main/java/org/zwobble/hobgoblin/compiler/types/TypeLevelValueType.java
@@ -1,11 +1,6 @@
 package org.zwobble.hobgoblin.compiler.types;
 
 public record TypeLevelValueType(TypeLevelValue value) implements Type {
-    @Override
-    public String name() {
-        return "TypeLevelValue";
-    }
-
     @Override
     public String describe() {
         return "TypeLevelValue[" + value.describe() + "]";
-- 
cgit v1.2.3