diff options
Diffstat (limited to 'src/test/java')
2 files changed, 4 insertions, 4 deletions
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( |