Type-check function body

2 files changed, 17 insertions, 2 deletions

diff --git a/src/main/java/org/shedlang/compiler/ast/untyped/UntypedFunctionDefinitionNode.java b/src/main/java/org/shedlang/compiler/ast/untyped/UntypedFunctionDefinitionNode.java
index 7cdaca92..1292c029 100644
--- a/src/main/java/org/shedlang/compiler/ast/untyped/UntypedFunctionDefinitionNode.java
+++ b/src/main/java/org/shedlang/compiler/ast/untyped/UntypedFunctionDefinitionNode.java
@@ -67,5 +67,16 @@ public record UntypedFunctionDefinitionNode(
                 body
             );
         }
+
+        public Builder addStatement(UntypedFunctionStatementNode statement) {
+            return new Builder(
+                name,
+                positionalParams,
+                namedParams,
+                effect,
+                returnType,
+                body.plus(statement)
+            );
+        }
     }
 }
diff --git a/src/main/java/org/shedlang/compiler/typechecker/TypeChecker.java b/src/main/java/org/shedlang/compiler/typechecker/TypeChecker.java
index f03de967..f5d3f728 100644
--- a/src/main/java/org/shedlang/compiler/typechecker/TypeChecker.java
+++ b/src/main/java/org/shedlang/compiler/typechecker/TypeChecker.java
@@ -170,18 +170,22 @@ public class TypeChecker {
     ) {
         var typedReturnType = typeCheckTypeLevelExpression(TypeSets.META_TYPE, untyped.returnType(), context);
 
+        var body = untyped.body().stream()
+            .map(statement -> typeCheckFunctionStatement(statement, context))
+            .toList();
+
         return new TypedFunctionDefinitionNode(
             untyped.name(),
             new TypedParamsNode(List.of(), List.of(), untyped.params().source()),
             Optional.empty(),
             typedReturnType,
-            List.of(),
+            body,
             untyped.source()
         );
     }
 
     public static TypedFunctionStatementNode typeCheckFunctionStatement(
-        UntypedExpressionStatementNode untyped,
+        UntypedFunctionStatementNode untyped,
         TypeCheckerContext context
     ) {
         return switch (untyped) {