From 1461ed6083e7f45ac0f6d6905981312e8f655a25 Mon Sep 17 00:00:00 2001 From: Michael Williamson Date: Fri, 26 Jun 2026 11:55:13 +0100 Subject: Set source in errors when checking variant fields --- .../org/zwobble/hobgoblin/compiler/typechecker/TypeChecker.java | 7 ++----- 1 file changed, 2 insertions(+), 5 deletions(-) (limited to 'src/main') 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 f1b5067..1b10de2 100644 --- a/src/main/java/org/zwobble/hobgoblin/compiler/typechecker/TypeChecker.java +++ b/src/main/java/org/zwobble/hobgoblin/compiler/typechecker/TypeChecker.java @@ -2,7 +2,6 @@ package org.zwobble.hobgoblin.compiler.typechecker; import org.zwobble.hobgoblin.compiler.ast.typed.*; import org.zwobble.hobgoblin.compiler.ast.untyped.*; -import org.zwobble.hobgoblin.compiler.sources.NullSource; import org.zwobble.hobgoblin.compiler.sources.Source; import org.zwobble.hobgoblin.compiler.types.*; @@ -310,12 +309,10 @@ public class TypeChecker { .findFirst(); if (variantTypeField.isEmpty()) { - // TODO: set source appropriately. - throw new SubtypeIsMissingFieldError(sumType, variantType, sumTypeField.name(), NullSource.INSTANCE); + throw new SubtypeIsMissingFieldError(sumType, variantType, sumTypeField.name(), sumTypeField.source()); } - // TODO: set source appropriately. - checkIsSubtype(variantTypeField.get().type(), sumTypeField.type(), NullSource.INSTANCE); + checkIsSubtype(variantTypeField.get().type(), sumTypeField.type(), variantTypeField.get().source()); } } -- cgit v1.2.3