diff options
| author | Michael Williamson <mike@zwobble.org> | 2024-03-02 13:45:41 +0000 |
|---|---|---|
| committer | Michael Williamson <mike@zwobble.org> | 2024-03-02 13:45:41 +0000 |
| commit | e9b8c708bb409fd101df6772ce3c740e60ead7dd (patch) | |
| tree | cc37c0906cc3bd70d812e559447f21682c0409de /src/test/java | |
| parent | 9065e179d072978e979071629b0235158bae6380 (diff) | |
Extract UntypedTypeParamNode from UntypedTypeLevelParamNode
Diffstat (limited to 'src/test/java')
4 files changed, 17 insertions, 17 deletions
diff --git a/src/test/java/org/shedlang/compiler/ast/untyped/Untyped.java b/src/test/java/org/shedlang/compiler/ast/untyped/Untyped.java index 17204dc3..c7a99fce 100644 --- a/src/test/java/org/shedlang/compiler/ast/untyped/Untyped.java +++ b/src/test/java/org/shedlang/compiler/ast/untyped/Untyped.java @@ -232,8 +232,8 @@ public class Untyped { return new UntypedTupleTypeNode(elements, Sources.NULL); } - public static UntypedTypeLevelParamNode typeLevelParam(String name) { - return new UntypedTypeLevelParamNode(name, Sources.NULL); + public static UntypedTypeLevelParamNode typeParam(String name) { + return new UntypedTypeParamNode(name, Sources.NULL); } public static UntypedTypeLevelReferenceNode typeLevelReference(String name) { diff --git a/src/test/java/org/shedlang/compiler/typechecker/TypeCheckerFunctionSignatureTests.java b/src/test/java/org/shedlang/compiler/typechecker/TypeCheckerFunctionSignatureTests.java index c1557bbc..91d66f0a 100644 --- a/src/test/java/org/shedlang/compiler/typechecker/TypeCheckerFunctionSignatureTests.java +++ b/src/test/java/org/shedlang/compiler/typechecker/TypeCheckerFunctionSignatureTests.java @@ -98,7 +98,7 @@ public class TypeCheckerFunctionSignatureTests { public void typeLevelParamsAreTypedChecked() { var untyped = UntypedFunctionSignatureNode.builder() .withTypeLevelParams(List.of( - Untyped.typeLevelParam("T") + Untyped.typeParam("T") )) .build(); var namespaceName = NamespaceName.of("Example"); @@ -128,7 +128,7 @@ public class TypeCheckerFunctionSignatureTests { public void paramTypesCanReferenceTypeLevelParams() { var untyped = UntypedFunctionSignatureNode.builder() .withTypeLevelParams(List.of( - Untyped.typeLevelParam("T") + Untyped.typeParam("T") )) .addPositionalParam("x", Untyped.typeLevelReference("T")) .build(); diff --git a/src/test/java/org/shedlang/compiler/typechecker/TypeCheckerStructDefinitionTests.java b/src/test/java/org/shedlang/compiler/typechecker/TypeCheckerStructDefinitionTests.java index 3478bd2e..a9003de8 100644 --- a/src/test/java/org/shedlang/compiler/typechecker/TypeCheckerStructDefinitionTests.java +++ b/src/test/java/org/shedlang/compiler/typechecker/TypeCheckerStructDefinitionTests.java @@ -56,8 +56,8 @@ public class TypeCheckerStructDefinitionTests { var untyped = UntypedStructDefinitionNode.builder() .withName("ExampleStruct") .withTypeLevelParams(List.of( - Untyped.typeLevelParam("T1"), - Untyped.typeLevelParam("T2") + Untyped.typeParam("T1"), + Untyped.typeParam("T2") )) .build(); var context = TypeCheckerContext.EMPTY; @@ -100,8 +100,8 @@ public class TypeCheckerStructDefinitionTests { var untyped = UntypedStructDefinitionNode.builder() .withName("ExampleStruct") .withTypeLevelParams(List.of( - Untyped.typeLevelParam("T1"), - Untyped.typeLevelParam("T2") + Untyped.typeParam("T1"), + Untyped.typeParam("T2") )) .build(); var context = TypeCheckerContext.EMPTY; @@ -202,8 +202,8 @@ public class TypeCheckerStructDefinitionTests { var untyped = UntypedStructDefinitionNode.builder() .withName("ExampleStruct") .withTypeLevelParams(List.of( - Untyped.typeLevelParam("T1"), - Untyped.typeLevelParam("T2") + Untyped.typeParam("T1"), + Untyped.typeParam("T2") )) .addField(Untyped.structFieldDefinition("x1", Untyped.typeLevelReference("T1"))) .addField(Untyped.structFieldDefinition("x2", Untyped.typeLevelReference("T2"))) @@ -236,7 +236,7 @@ public class TypeCheckerStructDefinitionTests { var untyped = UntypedStructDefinitionNode.builder() .withName("ExampleStruct") .withTypeLevelParams(List.of( - Untyped.typeLevelParam("T1") + Untyped.typeParam("T1") )) .build(); var context = TypeCheckerContext.EMPTY diff --git a/src/test/java/org/shedlang/compiler/typechecker/TypeCheckerSumTypeDefinitionTests.java b/src/test/java/org/shedlang/compiler/typechecker/TypeCheckerSumTypeDefinitionTests.java index 0585625a..183a44f9 100644 --- a/src/test/java/org/shedlang/compiler/typechecker/TypeCheckerSumTypeDefinitionTests.java +++ b/src/test/java/org/shedlang/compiler/typechecker/TypeCheckerSumTypeDefinitionTests.java @@ -60,8 +60,8 @@ public class TypeCheckerSumTypeDefinitionTests { var untyped = UntypedSumTypeDefinitionNode.builder() .withName("ExampleSumType") .withTypeLevelParams(List.of( - Untyped.typeLevelParam("T1"), - Untyped.typeLevelParam("T2") + Untyped.typeParam("T1"), + Untyped.typeParam("T2") )) .addVariant(Untyped.typeLevelReference("A")) .build(); @@ -107,8 +107,8 @@ public class TypeCheckerSumTypeDefinitionTests { var untyped = UntypedSumTypeDefinitionNode.builder() .withName("ExampleSumType") .withTypeLevelParams(List.of( - Untyped.typeLevelParam("T1"), - Untyped.typeLevelParam("T2") + Untyped.typeParam("T1"), + Untyped.typeParam("T2") )) .build(); var context = TypeCheckerContext.EMPTY; @@ -186,8 +186,8 @@ public class TypeCheckerSumTypeDefinitionTests { var untyped = UntypedSumTypeDefinitionNode.builder() .withName("ExampleSumType") .withTypeLevelParams(List.of( - Untyped.typeLevelParam("T1"), - Untyped.typeLevelParam("T2") + Untyped.typeParam("T1"), + Untyped.typeParam("T2") )) .addVariant(Untyped.constructedType( Untyped.typeLevelReference("A"), |