Add namespace name to native types

3 files changed, 7 insertions, 7 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 2fd1e91..1f3e5ff 100644
--- a/src/test/java/org/zwobble/hobgoblin/compiler/typechecker/TypeCheckerConstructedTypeTests.java
+++ b/src/test/java/org/zwobble/hobgoblin/compiler/typechecker/TypeCheckerConstructedTypeTests.java
@@ -19,11 +19,11 @@ public class TypeCheckerConstructedTypeTests {
         );
         var context = TypeCheckerContextArb.namespaceContext();
         context.declare("List");
-        var listType = new SimpleNativeType("List");
+        var listType = SimpleNativeType.builtin("List");
         var listTypeConstructor = new TypeConstructor<>(List.of(new TypeParam("T")), listType);
         context.define("List", new TypeLevelValueType(listTypeConstructor));
         context.declare("Int32");
-        var int32Type = new SimpleNativeType("Int32");
+        var int32Type = SimpleNativeType.builtin("Int32");
         context.define("Int32", new TypeLevelValueType(int32Type));
 
         var typed = TypeChecker.typeCheckTypeLevelExpression(untyped, context);
diff --git a/src/test/java/org/zwobble/hobgoblin/compiler/typechecker/TypeCheckerStructDefinitionTests.java b/src/test/java/org/zwobble/hobgoblin/compiler/typechecker/TypeCheckerStructDefinitionTests.java
index 8967601..873f5ac 100644
--- a/src/test/java/org/zwobble/hobgoblin/compiler/typechecker/TypeCheckerStructDefinitionTests.java
+++ b/src/test/java/org/zwobble/hobgoblin/compiler/typechecker/TypeCheckerStructDefinitionTests.java
@@ -47,8 +47,8 @@ public class TypeCheckerStructDefinitionTests {
 
     @Test
     public void fieldsAreTypeChecked() {
-        var int32Type = new SimpleNativeType("Int32");
-        var int64Type = new SimpleNativeType("Int64");
+        var int32Type = SimpleNativeType.builtin("Int32");
+        var int64Type = SimpleNativeType.builtin("Int64");
         var untyped = new UntypedStructDefinitionNode(
             "X",
             List.of(
@@ -103,7 +103,7 @@ public class TypeCheckerStructDefinitionTests {
 
     @Test
     public void structCanUseTypeDefinedLater() {
-        var int32Type = new SimpleNativeType("Int32");
+        var int32Type = SimpleNativeType.builtin("Int32");
         var namespaceName = NamespaceName.of("a", "b");
         var untyped = new UntypedNamespaceNode(
             namespaceName,
diff --git a/src/test/java/org/zwobble/hobgoblin/compiler/typechecker/TypeCheckerTypeLevelReferenceTests.java b/src/test/java/org/zwobble/hobgoblin/compiler/typechecker/TypeCheckerTypeLevelReferenceTests.java
index f0d3a81..ef90d3e 100644
--- a/src/test/java/org/zwobble/hobgoblin/compiler/typechecker/TypeCheckerTypeLevelReferenceTests.java
+++ b/src/test/java/org/zwobble/hobgoblin/compiler/typechecker/TypeCheckerTypeLevelReferenceTests.java
@@ -44,7 +44,7 @@ public class TypeCheckerTypeLevelReferenceTests {
         var untyped = UntypedArb.typeLevelReference("X");
         var context = TypeCheckerContextArb.namespaceContext();
         context.declare("X");
-        var nativeType = new SimpleNativeType("Int");
+        var nativeType = SimpleNativeType.builtin("Int");
         context.define("X", nativeType);
 
         var error = assertThrows(
@@ -61,7 +61,7 @@ public class TypeCheckerTypeLevelReferenceTests {
         var untyped = UntypedArb.typeLevelReference("X");
         var context = TypeCheckerContextArb.namespaceContext();
         context.declare("X");
-        var nativeType = new SimpleNativeType("Int");
+        var nativeType = SimpleNativeType.builtin("Int");
         context.define("X", new TypeLevelValueType(nativeType));
 
         var typed = TypeChecker.typeCheckTypeLevelExpression(untyped, context);