From 2ac984f788b266bea2bc27081a84788203f1e108 Mon Sep 17 00:00:00 2001 From: Michael Williamson Date: Fri, 29 Dec 2023 11:52:06 +0000 Subject: Support constructed sum types as when expressions --- src/main/java/org/shedlang/compiler/typechecker/TypeChecker.java | 3 +++ 1 file changed, 3 insertions(+) (limited to 'src/main/java') diff --git a/src/main/java/org/shedlang/compiler/typechecker/TypeChecker.java b/src/main/java/org/shedlang/compiler/typechecker/TypeChecker.java index 3695a255..871c6dae 100644 --- a/src/main/java/org/shedlang/compiler/typechecker/TypeChecker.java +++ b/src/main/java/org/shedlang/compiler/typechecker/TypeChecker.java @@ -2053,6 +2053,9 @@ public class TypeChecker { context = typedExpressionResult.context(); var expressionTypeInfo = switch (typedExpression.type()) { + case ConstructedType constructedType when constructedType.genericType() instanceof SumType -> + context.sumTypeInfo((ConstructedType) constructedType, untyped.source()); + case SumType expressionType -> context.sumTypeInfo(expressionType, untyped.source()); -- cgit v1.2.3