From 4297d6392513ef161bd8636f37d8461ebcc3f94a Mon Sep 17 00:00:00 2001
From: Michael Williamson <mike@zwobble.org>
Date: Sun, 29 Oct 2023 22:00:55 +0000
Subject: Throw appropriate error when param type cannot be inferred

---
 src/main/java/org/shedlang/compiler/typechecker/TypeChecker.java | 5 ++---
 1 file changed, 2 insertions(+), 3 deletions(-)

(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 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()
             ));
         }
-- 
cgit v1.2.3