Fix exception when raising type mismatch on function argument

PlutoLang · Jun 27, 2024 · d040f11 · d040f11
1 parent 835c8a7
commit d040f11
Show file tree

Hide file tree

Showing 3 changed files with 8 additions and 1 deletion.
diff --git a/src/lparser.cpp b/src/lparser.cpp
@@ -66,6 +66,7 @@
 std::string TypeDesc::toString() const {
   std::string str = vtToString(type);
   if (type == VT_FUNC &&
+      retn &&
       !retn->empty()) {
     str.push_back('(');
     str.append(retn->toString());

diff --git a/src/lparser.h b/src/lparser.h
@@ -146,7 +146,7 @@ struct TypeDesc {
 
   /* function info */
   Proto* proto = nullptr;
-  TypeHint* retn;
+  TypeHint* retn = nullptr;
   static constexpr int MAX_TYPED_PARAMS = 10;
   TypeHint* params[MAX_TYPED_PARAMS];
   bool nodiscard = false;

diff --git a/testes/pluto/basic.pluto b/testes/pluto/basic.pluto
@@ -84,6 +84,12 @@ do
         local a = f()
     end
 
+    -- Another possible exception here
+    assert_warn([[
+    local function delegator(f: function) end
+    delegator()
+    ]])
+
     assert_warn([[local a = 69; local b: string = a]]) -- type mismatch in local-to-local assignment
     assert_warn([[g = 69; local l: string = g]]) -- type mismatch in global-to-local assignment