diff options
| author | Michael Williamson <mike@zwobble.org> | 2023-07-05 22:05:01 +0100 |
|---|---|---|
| committer | Michael Williamson <mike@zwobble.org> | 2023-07-05 22:05:01 +0100 |
| commit | 372ab8fc6035169c7fb902a9e1df397b458d9c0c (patch) | |
| tree | 39d77ac3ce9a9a51f20d44edb1c73a3d83743e1d /src/main/java | |
| parent | 21b6a5c800dda09ba859beea02037718eda108e3 (diff) | |
Use return type in function body
Diffstat (limited to 'src/main/java')
| -rw-r--r-- | src/main/java/org/shedlang/compiler/typechecker/TypeChecker.java | 2 |
1 files changed, 1 insertions, 1 deletions
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( |