From d2769fe60d264607f2e1c338657dc7e4d4bfba52 Mon Sep 17 00:00:00 2001 From: Michael Williamson Date: Sat, 10 Jun 2023 12:00:08 +0100 Subject: Type check expression statements --- .../shedlang/compiler/typechecker/TypeChecker.java | 20 ++++++++++++++++++++ 1 file changed, 20 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 11f902b1..f707dac0 100644 --- a/src/main/java/org/shedlang/compiler/typechecker/TypeChecker.java +++ b/src/main/java/org/shedlang/compiler/typechecker/TypeChecker.java @@ -138,6 +138,26 @@ public class TypeChecker { }; } + private static TypedFunctionStatementNode typeCheckExpressionStatement( + UntypedExpressionStatementNode untyped, + TypeCheckerContext context + ) { + return new TypedExpressionStatementNode( + typeCheckExpression(untyped.expression(), context), + untyped.source() + ); + } + + public static TypedFunctionStatementNode typeCheckFunctionStatement( + UntypedExpressionStatementNode untyped, + TypeCheckerContext context + ) { + return switch (untyped) { + case UntypedExpressionStatementNode expressionStatement -> + typeCheckExpressionStatement(expressionStatement, context); + }; + } + private static TypedExpressionNode typeCheckIntLiteral( UntypedIntLiteralNode untyped ) { -- cgit v1.2.3