commit 7c92e888946903fa26b377efbc98c8f83e9188b8
author Ernie Rael <errael@raelity.com> Sat Jan 18 17:26:39 2025 +0100
committer Christian Brabandt <cb@256bit.org> Sat Jan 18 17:29:06 2025 +0100
tree 702dd11daabb9e22148c8bdb3315f51bb5ad3882
parent fef4be0d7ae2340ca13552f3b101ce905dd9b3e5

patch 9.1.1033: Vim9: compiling abstract method fails without return

Problem:  Vim9: compiling abstract method fails without return
          (Aliaksei Budavei)
Solution: don't require return for an abstract method
          (Ernie Rael)

fixes: #15432
related: ##15441
closes: #16469

Signed-off-by: Ernie Rael <errael@raelity.com>
Signed-off-by: Yegappan Lakshmanan <yegappan@yahoo.com>
Signed-off-by: Christian Brabandt <cb@256bit.org>

src/testdir/test_vim9_class.vim

diff --git a/src/testdir/test_vim9_class.vim b/src/testdir/test_vim9_class.vim
index fc0edeb..cac8b63 100644
--- a/src/testdir/test_vim9_class.vim
+++ b/src/testdir/test_vim9_class.vim
@@ -6458,6 +6458,39 @@
     assert_equal('foo', A.Foo())
   END
   v9.CheckSourceSuccess(lines)
+
+    # Invoke method returning a value through the abstract class. See #15432.
+  lines =<< trim END
+    vim9script
+
+    abstract class A
+        abstract def String(): string
+    endclass
+
+    class B extends A
+        def String(): string
+            return 'B'
+        enddef
+    endclass
+
+    def F(o: A)
+        assert_equal('B', o.String())
+    enddef
+    F(B.new())
+  END
+  v9.CheckSourceSuccess(lines)
+
+  # Invoke abstract method returning a value does not compile
+  lines =<< trim END
+    vim9script
+
+    abstract class A
+      abstract def String(): string
+        return 'X'
+      enddef
+    endclass
+  END
+  v9.CheckScriptFailure(lines, "E1318: Not a valid command in a class: return 'X'")
 enddef
 
 " Test for calling a class method from a subclass

src/version.c

diff --git a/src/version.c b/src/version.c
index 6e6b651..ba41159 100644
--- a/src/version.c
+++ b/src/version.c
@@ -705,6 +705,8 @@
 static int included_patches[] =
 {   /* Add new patch number below this line */
 /**/
+    1034,
+/**/
     1033,
 /**/
     1032,

src/vim9compile.c

diff --git a/src/vim9compile.c b/src/vim9compile.c
index fa02871..338415e 100644
--- a/src/vim9compile.c
+++ b/src/vim9compile.c
@@ -4917,9 +4917,10 @@
 	    goto erret;
     ufunc->uf_args_visible = ufunc->uf_args.ga_len;
 
-    // Compiling a function in an interface is done to get the function type.
-    // No code is actually compiled.
-    if (ufunc->uf_class != NULL && IS_INTERFACE(ufunc->uf_class))
+    // Compiling an abstract method or a function in an interface is done to
+    // get the function type.  No code is actually compiled.
+    if (ufunc->uf_class != NULL && (IS_INTERFACE(ufunc->uf_class)
+						|| IS_ABSTRACT_METHOD(ufunc)))
     {
 	ufunc->uf_def_status = UF_NOT_COMPILED;
 	ret = OK;