Throw appropriate error when param type cannot be inferred

1 files changed, 2 insertions, 3 deletions

diff --git a/src/main/java/org/shedlang/compiler/typechecker/TypeChecker.java b/src/main/java/org/shedlang/compiler/typechecker/TypeChecker.java
index 9e37666c..38c4639d 100644
--- a/src/main/java/org/shedlang/compiler/typechecker/TypeChecker.java
+++ b/src/main/java/org/shedlang/compiler/typechecker/TypeChecker.java
@@ -681,8 +681,7 @@ public class TypeChecker {
                 paramNode.type()
                     .map(x -> x.value())
                     .or(() -> paramHint)
-                    // TODO: handle no explicit type nor hint
-                    .orElseThrow(),
+                    .orElseThrow(() -> new FunctionSignatureMissingParamTypeError(paramNode.source())),
                 paramNode.source()
             );
             positionalParams.add(param);
@@ -703,7 +702,7 @@ public class TypeChecker {
                 namedParam.type()
                     .map(x -> x.value())
                     .or(() -> paramHint)
-                    .orElseThrow(),
+                    .orElseThrow(() -> new FunctionSignatureMissingParamTypeError(namedParam.source())),
                 namedParam.source()
             ));
         }