aboutsummaryrefslogtreecommitdiff
path: root/src/test/java
diff options
context:
space:
mode:
authorMichael Williamson <mike@zwobble.org>2023-10-25 22:03:34 +0100
committerMichael Williamson <mike@zwobble.org>2023-10-25 22:03:51 +0100
commit291f1463f2cf23689eb56d7a9bd577f18a949309 (patch)
treeb6e52082b8fd9b683b323fc2fca792c37e99b82c /src/test/java
parent6ce6049bbbfb609cb4d1acde3f4a5549aa3af9fc (diff)
Adding missing suffices to error types
Diffstat (limited to 'src/test/java')
-rw-r--r--src/test/java/org/shedlang/compiler/typechecker/TypeCheckerAssignTests.java4
-rw-r--r--src/test/java/org/shedlang/compiler/typechecker/TypeCheckerFunctionDefinitionTests.java4
-rw-r--r--src/test/java/org/shedlang/compiler/typechecker/TypeCheckerFunctionReturnTests.java4
-rw-r--r--src/test/java/org/shedlang/compiler/typechecker/TypeCheckerFunctionTypeTests.java4
-rw-r--r--src/test/java/org/shedlang/compiler/typechecker/TypeCheckerStructDefinitionTests.java4
-rw-r--r--src/test/java/org/shedlang/compiler/typechecker/TypeCheckerSumTypeDefinitionTests.java4
-rw-r--r--src/test/java/org/shedlang/compiler/typechecker/TypeCheckerValTests.java4
7 files changed, 14 insertions, 14 deletions
diff --git a/src/test/java/org/shedlang/compiler/typechecker/TypeCheckerAssignTests.java b/src/test/java/org/shedlang/compiler/typechecker/TypeCheckerAssignTests.java
index ff2e3f1d..6c3cf09d 100644
--- a/src/test/java/org/shedlang/compiler/typechecker/TypeCheckerAssignTests.java
+++ b/src/test/java/org/shedlang/compiler/typechecker/TypeCheckerAssignTests.java
@@ -5,7 +5,7 @@ import org.shedlang.compiler.ast.typed.TypedFunctionStatementNode;
import org.shedlang.compiler.ast.untyped.Untyped;
import org.shedlang.compiler.ast.untyped.UntypedFunctionStatementNode;
import org.shedlang.compiler.typechecker.errors.CanOnlyAssignToVarError;
-import org.shedlang.compiler.typechecker.errors.TargetTupleHasWrongElementCount;
+import org.shedlang.compiler.typechecker.errors.TargetTupleHasWrongElementCountError;
import org.shedlang.compiler.typechecker.errors.UnexpectedTypeError;
import org.shedlang.compiler.typechecker.typesets.TypeSets;
import org.shedlang.compiler.types.NamespaceName;
@@ -156,7 +156,7 @@ public class TypeCheckerAssignTests {
));
var error = assertThrows(
- TargetTupleHasWrongElementCount.class,
+ TargetTupleHasWrongElementCountError.class,
() -> typeCheckFunctionStatement(untyped, context)
);
diff --git a/src/test/java/org/shedlang/compiler/typechecker/TypeCheckerFunctionDefinitionTests.java b/src/test/java/org/shedlang/compiler/typechecker/TypeCheckerFunctionDefinitionTests.java
index 3354f0bf..12213ba9 100644
--- a/src/test/java/org/shedlang/compiler/typechecker/TypeCheckerFunctionDefinitionTests.java
+++ b/src/test/java/org/shedlang/compiler/typechecker/TypeCheckerFunctionDefinitionTests.java
@@ -4,7 +4,7 @@ import org.junit.jupiter.api.Test;
import org.shedlang.compiler.ast.untyped.Untyped;
import org.shedlang.compiler.ast.untyped.UntypedCallNode;
import org.shedlang.compiler.ast.untyped.UntypedFunctionDefinitionNode;
-import org.shedlang.compiler.typechecker.errors.DuplicateVariableName;
+import org.shedlang.compiler.typechecker.errors.DuplicateVariableNameError;
import org.shedlang.compiler.typechecker.errors.UnexpectedTypeError;
import org.shedlang.compiler.typechecker.typesets.TypeSets;
import org.shedlang.compiler.types.Effects;
@@ -61,7 +61,7 @@ public class TypeCheckerFunctionDefinitionTests {
));
var error = assertThrows(
- DuplicateVariableName.class,
+ DuplicateVariableNameError.class,
() -> typeCheckNamespaceStatement(untyped, context)
);
diff --git a/src/test/java/org/shedlang/compiler/typechecker/TypeCheckerFunctionReturnTests.java b/src/test/java/org/shedlang/compiler/typechecker/TypeCheckerFunctionReturnTests.java
index 2a8ae446..a8ab9cb1 100644
--- a/src/test/java/org/shedlang/compiler/typechecker/TypeCheckerFunctionReturnTests.java
+++ b/src/test/java/org/shedlang/compiler/typechecker/TypeCheckerFunctionReturnTests.java
@@ -2,7 +2,7 @@ package org.shedlang.compiler.typechecker;
import org.junit.jupiter.api.Test;
import org.shedlang.compiler.ast.untyped.Untyped;
-import org.shedlang.compiler.typechecker.errors.CannotReturnOutsideOfFunction;
+import org.shedlang.compiler.typechecker.errors.CannotReturnOutsideOfFunctionError;
import org.shedlang.compiler.typechecker.errors.UnexpectedTypeError;
import org.shedlang.compiler.typechecker.typesets.TypeSets;
import org.shedlang.compiler.types.Effects;
@@ -34,7 +34,7 @@ public class TypeCheckerFunctionReturnTests {
.enterNamespace(NamespaceName.of("Example"), P.map());
assertThrows(
- CannotReturnOutsideOfFunction.class,
+ CannotReturnOutsideOfFunctionError.class,
() -> TypeChecker.typeCheckFunctionStatement(untyped, context)
);
}
diff --git a/src/test/java/org/shedlang/compiler/typechecker/TypeCheckerFunctionTypeTests.java b/src/test/java/org/shedlang/compiler/typechecker/TypeCheckerFunctionTypeTests.java
index 12022314..86e1b048 100644
--- a/src/test/java/org/shedlang/compiler/typechecker/TypeCheckerFunctionTypeTests.java
+++ b/src/test/java/org/shedlang/compiler/typechecker/TypeCheckerFunctionTypeTests.java
@@ -3,7 +3,7 @@ package org.shedlang.compiler.typechecker;
import org.junit.jupiter.api.Test;
import org.shedlang.compiler.ast.untyped.Untyped;
import org.shedlang.compiler.ast.untyped.UntypedFunctionTypeNode;
-import org.shedlang.compiler.typechecker.errors.DuplicateVariableName;
+import org.shedlang.compiler.typechecker.errors.DuplicateVariableNameError;
import org.shedlang.compiler.typechecker.typesets.TypeSets;
import org.shedlang.compiler.types.Effects;
import org.shedlang.compiler.types.FunctionType;
@@ -159,7 +159,7 @@ public class TypeCheckerFunctionTypeTests {
));
var error = assertThrows(
- DuplicateVariableName.class,
+ DuplicateVariableNameError.class,
() -> TypeChecker.typeCheckTypeLevelExpression(TypeSets.META_TYPE, untyped, context)
);
diff --git a/src/test/java/org/shedlang/compiler/typechecker/TypeCheckerStructDefinitionTests.java b/src/test/java/org/shedlang/compiler/typechecker/TypeCheckerStructDefinitionTests.java
index 344cfa66..292d9ab9 100644
--- a/src/test/java/org/shedlang/compiler/typechecker/TypeCheckerStructDefinitionTests.java
+++ b/src/test/java/org/shedlang/compiler/typechecker/TypeCheckerStructDefinitionTests.java
@@ -3,7 +3,7 @@ package org.shedlang.compiler.typechecker;
import org.junit.jupiter.api.Test;
import org.shedlang.compiler.ast.untyped.Untyped;
import org.shedlang.compiler.ast.untyped.UntypedStructDefinitionNode;
-import org.shedlang.compiler.typechecker.errors.CannotDefineStructOutsideOfNamespace;
+import org.shedlang.compiler.typechecker.errors.CannotDefineStructOutsideOfNamespaceError;
import org.shedlang.compiler.types.NamespaceName;
import org.shedlang.compiler.types.Types;
import org.shedlang.compiler.util.P;
@@ -28,7 +28,7 @@ public class TypeCheckerStructDefinitionTests {
var context = TypeCheckerContext.EMPTY;
assertThrows(
- CannotDefineStructOutsideOfNamespace.class,
+ CannotDefineStructOutsideOfNamespaceError.class,
() -> TypeChecker.typeCheckStepsNamespaceStatement(untyped).typeCheckAllPhases(context)
);
}
diff --git a/src/test/java/org/shedlang/compiler/typechecker/TypeCheckerSumTypeDefinitionTests.java b/src/test/java/org/shedlang/compiler/typechecker/TypeCheckerSumTypeDefinitionTests.java
index ac96ca3d..562e24e0 100644
--- a/src/test/java/org/shedlang/compiler/typechecker/TypeCheckerSumTypeDefinitionTests.java
+++ b/src/test/java/org/shedlang/compiler/typechecker/TypeCheckerSumTypeDefinitionTests.java
@@ -3,7 +3,7 @@ package org.shedlang.compiler.typechecker;
import org.junit.jupiter.api.Test;
import org.shedlang.compiler.ast.untyped.Untyped;
import org.shedlang.compiler.ast.untyped.UntypedSumTypeDefinitionNode;
-import org.shedlang.compiler.typechecker.errors.CannotDefineSumTypeOutsideOfNamespace;
+import org.shedlang.compiler.typechecker.errors.CannotDefineSumTypeOutsideOfNamespaceError;
import org.shedlang.compiler.typechecker.errors.VariantTypeIsNotStructError;
import org.shedlang.compiler.types.NamespaceName;
import org.shedlang.compiler.types.Types;
@@ -28,7 +28,7 @@ public class TypeCheckerSumTypeDefinitionTests {
var context = TypeCheckerContext.EMPTY;
assertThrows(
- CannotDefineSumTypeOutsideOfNamespace.class,
+ CannotDefineSumTypeOutsideOfNamespaceError.class,
() -> TypeChecker.typeCheckStepsNamespaceStatement(untyped).typeCheckAllPhases(context)
);
}
diff --git a/src/test/java/org/shedlang/compiler/typechecker/TypeCheckerValTests.java b/src/test/java/org/shedlang/compiler/typechecker/TypeCheckerValTests.java
index 2688a4c1..7ff435a2 100644
--- a/src/test/java/org/shedlang/compiler/typechecker/TypeCheckerValTests.java
+++ b/src/test/java/org/shedlang/compiler/typechecker/TypeCheckerValTests.java
@@ -6,7 +6,7 @@ import org.shedlang.compiler.ast.untyped.Untyped;
import org.shedlang.compiler.ast.untyped.UntypedFunctionDefinitionNode;
import org.shedlang.compiler.ast.untyped.UntypedFunctionStatementNode;
import org.shedlang.compiler.ast.untyped.UntypedNamespaceNode;
-import org.shedlang.compiler.typechecker.errors.DuplicateVariableName;
+import org.shedlang.compiler.typechecker.errors.DuplicateVariableNameError;
import org.shedlang.compiler.typechecker.errors.ReferenceBeforeDefinitionError;
import org.shedlang.compiler.types.NamespaceName;
import org.shedlang.compiler.types.Types;
@@ -142,7 +142,7 @@ public class TypeCheckerValTests {
));
var error = assertThrows(
- DuplicateVariableName.class,
+ DuplicateVariableNameError.class,
() -> typeCheckNamespaceStatement(untyped, context)
);