From 6fbb580910e954ca14ece69199a75f1f483880e7 Mon Sep 17 00:00:00 2001 From: Michael Williamson Date: Sun, 2 Aug 2026 14:34:42 +0100 Subject: Check that receiver of type-level args is type constructor --- .../zwobble/hobgoblin/compiler/typechecker/TypeChecker.java | 10 ++++++++-- .../java/org/zwobble/hobgoblin/compiler/types/TypeSet.java | 7 +++++++ 2 files changed, 15 insertions(+), 2 deletions(-) (limited to 'src/main/java') 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 9429313..eb47870 100644 --- a/src/main/java/org/zwobble/hobgoblin/compiler/typechecker/TypeChecker.java +++ b/src/main/java/org/zwobble/hobgoblin/compiler/typechecker/TypeChecker.java @@ -393,8 +393,14 @@ public class TypeChecker { TypeCheckerNamespaceContext context ) { var typedReceiver = typeCheckTypeLevelExpression(untyped.receiver(), context); - // TODO: check this properly - var receiver = (TypeConstructor) typedReceiver.value(); + + if (!(typedReceiver.value() instanceof TypeConstructor receiver)) { + throw new UnexpectedTypeError( + new TypeSet.TypeConstructor(), + new TypeLevelValueType(typedReceiver.value()), + untyped.receiver().source() + ); + } if (untyped.args().size() != receiver.params().size()) { throw new WrongNumberOfTypeLevelArgsError( diff --git a/src/main/java/org/zwobble/hobgoblin/compiler/types/TypeSet.java b/src/main/java/org/zwobble/hobgoblin/compiler/types/TypeSet.java index f587897..c3896d9 100644 --- a/src/main/java/org/zwobble/hobgoblin/compiler/types/TypeSet.java +++ b/src/main/java/org/zwobble/hobgoblin/compiler/types/TypeSet.java @@ -16,4 +16,11 @@ public sealed interface TypeSet { return "metatype"; } } + + record TypeConstructor() implements TypeSet { + @Override + public String describe() { + return "type constructor"; + } + } } -- cgit v1.2.3