From f8472adac8732cb4e9f71a7e7526614ae61c1de4 Mon Sep 17 00:00:00 2001
From: Pieter12345 <P.J.S.Kools@student.tudelft.nl>
Date: Fri, 15 Mar 2024 01:28:31 +0100
Subject: [PATCH] Fix procedure arguments not being typechecked

---
 .../laytonsmith/core/compiler/analysis/StaticAnalysis.java | 7 +++++++
 1 file changed, 7 insertions(+)

diff --git a/src/main/java/com/laytonsmith/core/compiler/analysis/StaticAnalysis.java b/src/main/java/com/laytonsmith/core/compiler/analysis/StaticAnalysis.java
index 2762138f2..4a9e22932 100644
--- a/src/main/java/com/laytonsmith/core/compiler/analysis/StaticAnalysis.java
+++ b/src/main/java/com/laytonsmith/core/compiler/analysis/StaticAnalysis.java
@@ -373,6 +373,13 @@ public CClassType typecheck(ParseTree ast, Environment env, Set<ConfigCompileExc
 				}
 				return CClassType.AUTO; // Unknown return type.
 			} else if(cFunc.hasProcedure()) { // The function is a procedure reference.
+
+				// Type check procedure arguments.
+				for(ParseTree child : ast.getChildren()) {
+					this.typecheck(child, env, exceptions);
+				}
+
+				// Return procedure return type.
 				String procName = cFunc.val();
 				Scope scope = this.getTermScope(ast);
 				if(scope != null) {