aboutsummaryrefslogtreecommitdiff
path: root/src/test/java
diff options
context:
space:
mode:
Diffstat (limited to 'src/test/java')
-rw-r--r--src/test/java/org/shedlang/compiler/typechecker/TypeCheckerTryTests.java5
1 files changed, 3 insertions, 2 deletions
diff --git a/src/test/java/org/shedlang/compiler/typechecker/TypeCheckerTryTests.java b/src/test/java/org/shedlang/compiler/typechecker/TypeCheckerTryTests.java
index c23511be..7bdfba50 100644
--- a/src/test/java/org/shedlang/compiler/typechecker/TypeCheckerTryTests.java
+++ b/src/test/java/org/shedlang/compiler/typechecker/TypeCheckerTryTests.java
@@ -152,11 +152,12 @@ public class TypeCheckerTryTests {
);
var error = assertThrows(
- NotUserDefinedEffectError.class,
+ UnexpectedTypeError.class,
() -> typeCheckExpression(untyped, context)
);
- assertThat(error.effect(), equalTo(Effects.IO));
+ assertThat(error.expected(), equalTo(TypeSets.USER_DEFINED_EFFECT));
+ assertThat(error.actual(), equalTo(Types.effectType(Effects.IO)));
}
@Test