From ff49a4cd2231787867b4aafc95bd5705057bfcc3 Mon Sep 17 00:00:00 2001 From: Michael Williamson Date: Sun, 2 Aug 2026 14:19:23 +0100 Subject: Introduce NativeTypeConstructor for greater safety --- .../compiler/typechecker/TypeCheckerConstructedTypeTests.java | 6 +++--- .../hobgoblin/compiler/typechecker/TypeCheckerMetaTypeTests.java | 2 +- 2 files changed, 4 insertions(+), 4 deletions(-) (limited to 'src/test/java/org/zwobble') diff --git a/src/test/java/org/zwobble/hobgoblin/compiler/typechecker/TypeCheckerConstructedTypeTests.java b/src/test/java/org/zwobble/hobgoblin/compiler/typechecker/TypeCheckerConstructedTypeTests.java index 09c0f8c..c0a7f93 100644 --- a/src/test/java/org/zwobble/hobgoblin/compiler/typechecker/TypeCheckerConstructedTypeTests.java +++ b/src/test/java/org/zwobble/hobgoblin/compiler/typechecker/TypeCheckerConstructedTypeTests.java @@ -22,7 +22,7 @@ public class TypeCheckerConstructedTypeTests { ); var context = TypeCheckerContextArb.namespaceContext(); var listType = SimpleNativeType.builtin("List"); - var listTypeConstructor = new TypeConstructor<>(List.of(new TypeParam("T")), listType); + var listTypeConstructor = Types.constructor(List.of(new TypeParam("T")), listType); context.declare("List", new TypeLevelValueType(listTypeConstructor), NullSource.INSTANCE); var int32Type = SimpleNativeType.builtin("Int32"); context.declare("Int32", new TypeLevelValueType(int32Type), NullSource.INSTANCE); @@ -42,7 +42,7 @@ public class TypeCheckerConstructedTypeTests { ); var context = TypeCheckerContextArb.namespaceContext(); var listType = SimpleNativeType.builtin("List"); - var listTypeConstructor = new TypeConstructor<>(List.of(new TypeParam("T")), listType); + var listTypeConstructor = Types.constructor(List.of(new TypeParam("T")), listType); context.declare("List", new TypeLevelValueType(listTypeConstructor), NullSource.INSTANCE); var error = assertThrows( @@ -65,7 +65,7 @@ public class TypeCheckerConstructedTypeTests { ); var context = TypeCheckerContextArb.namespaceContext(); var listType = SimpleNativeType.builtin("List"); - var listTypeConstructor = new TypeConstructor<>(List.of(new TypeParam("T")), listType); + var listTypeConstructor = Types.constructor(List.of(new TypeParam("T")), listType); context.declare("List", new TypeLevelValueType(listTypeConstructor), NullSource.INSTANCE); var error = assertThrows( diff --git a/src/test/java/org/zwobble/hobgoblin/compiler/typechecker/TypeCheckerMetaTypeTests.java b/src/test/java/org/zwobble/hobgoblin/compiler/typechecker/TypeCheckerMetaTypeTests.java index c1b308c..4566b9b 100644 --- a/src/test/java/org/zwobble/hobgoblin/compiler/typechecker/TypeCheckerMetaTypeTests.java +++ b/src/test/java/org/zwobble/hobgoblin/compiler/typechecker/TypeCheckerMetaTypeTests.java @@ -35,7 +35,7 @@ public class TypeCheckerMetaTypeTests { public void whenVariableIsTypeLevelValueButNotMetaTypeThenErrorIsThrown() { var untyped = UntypedArb.typeLevelReference("List"); var context = TypeCheckerContextArb.namespaceContext(); - var typeConstructor = new TypeConstructor<>(List.of(new TypeParam("T")), SimpleNativeType.builtin("List")); + var typeConstructor = Types.constructor(List.of(new TypeParam("T")), SimpleNativeType.builtin("List")); context.declare("List", new TypeLevelValueType(typeConstructor), NullSource.INSTANCE); var error = assertThrows( -- cgit v1.2.3