From 372ab8fc6035169c7fb902a9e1df397b458d9c0c Mon Sep 17 00:00:00 2001 From: Michael Williamson Date: Wed, 5 Jul 2023 22:05:01 +0100 Subject: Use return type in function body --- src/main/java/org/shedlang/compiler/typechecker/TypeChecker.java | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (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 dcb18033..049bdee6 100644 --- a/src/main/java/org/shedlang/compiler/typechecker/TypeChecker.java +++ b/src/main/java/org/shedlang/compiler/typechecker/TypeChecker.java @@ -283,7 +283,7 @@ public class TypeChecker { var bodyContext = context.enterFunction( bodyEnvironment.build(), typedEffect.map(e -> e.value()).orElse(Effects.NONE), - Types.UNIT + typedReturnType.value() ); var bodyResult = bodyContext.mapWithContext( -- cgit v1.2.3