Add scope to TypeParam

2 files changed, 5 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 4f409d2..49aa4b6 100644
--- a/src/test/java/org/zwobble/hobgoblin/compiler/typechecker/TypeCheckerConstructedTypeTests.java
+++ b/src/test/java/org/zwobble/hobgoblin/compiler/typechecker/TypeCheckerConstructedTypeTests.java
@@ -44,7 +44,7 @@ public class TypeCheckerConstructedTypeTests {
         );
         var context = TypeCheckerContextArb.namespaceContext();
         var listType = SimpleNativeType.builtin("List");
-        var listTypeConstructor = Types.constructor(List.of(new TypeParam("T")), listType);
+        var listTypeConstructor = Types.constructor(List.of(new TypeParam(listType, "T")), listType);
         context.declare("List", new TypeLevelValueType(listTypeConstructor), NullSource.INSTANCE);
         var int32Type = SimpleNativeType.builtin("Int32");
         context.declare("Int32", new TypeLevelValueType(int32Type), NullSource.INSTANCE);
@@ -64,7 +64,7 @@ public class TypeCheckerConstructedTypeTests {
         );
         var context = TypeCheckerContextArb.namespaceContext();
         var listType = SimpleNativeType.builtin("List");
-        var listTypeConstructor = Types.constructor(List.of(new TypeParam("T")), listType);
+        var listTypeConstructor = Types.constructor(List.of(new TypeParam(listType, "T")), listType);
         context.declare("List", new TypeLevelValueType(listTypeConstructor), NullSource.INSTANCE);
 
         var error = assertThrows(
@@ -87,7 +87,7 @@ public class TypeCheckerConstructedTypeTests {
         );
         var context = TypeCheckerContextArb.namespaceContext();
         var listType = SimpleNativeType.builtin("List");
-        var listTypeConstructor = Types.constructor(List.of(new TypeParam("T")), listType);
+        var listTypeConstructor = Types.constructor(List.of(new TypeParam(listType, "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 4566b9b..074d1df 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,8 @@ public class TypeCheckerMetaTypeTests {
     public void whenVariableIsTypeLevelValueButNotMetaTypeThenErrorIsThrown() {
         var untyped = UntypedArb.typeLevelReference("List");
         var context = TypeCheckerContextArb.namespaceContext();
-        var typeConstructor = Types.constructor(List.of(new TypeParam("T")), SimpleNativeType.builtin("List"));
+        var innerType = SimpleNativeType.builtin("List");
+        var typeConstructor = Types.constructor(List.of(new TypeParam(innerType, "T")), innerType);
         context.declare("List", new TypeLevelValueType(typeConstructor), NullSource.INSTANCE);
 
         var error = assertThrows(