From: Mark Wooding <mdw@distorted.org.uk>
Date: Sun, 30 Aug 2015 09:58:38 +0000 (+0100)
Subject: src/module-parse.lisp: Don't allow a method body on a varargs message def.
X-Git-Tag: 0.2.0~14
X-Git-Url: https://www.chiark.greenend.org.uk/ucgi/~mdw/git/sod/commitdiff_plain/2cbdee3da3cb73df67faf1d90823966b8b41388d

src/module-parse.lisp: Don't allow a method body on a varargs message def.

It doesn't work because the method will have the wrong type.
---

diff --git a/src/module-parse.lisp b/src/module-parse.lisp
index df4ea27..0713b76 100644
--- a/src/module-parse.lisp
+++ b/src/module-parse.lisp
@@ -197,9 +197,16 @@ (defun parse-class-body (scanner pset name supers)
 	       (parse-message-item (sub-pset type name)
 		 ;; message-item ::=
 		 ;;	declspec+ declarator -!- (method-body | `;')
-		 (make-sod-message class name type sub-pset scanner)
-		 (parse (or #\; (parse-method-item sub-pset
-						   type nick name))))
+		 ;;
+		 ;; Don't allow a method-body here if the message takes a
+		 ;; varargs list, because we don't have a name for the
+		 ;; `va_list' parameter.
+		 (let ((message (make-sod-message class name type
+						  sub-pset scanner)))
+		   (if (varargs-message-p message)
+		       (parse #\;)
+		       (parse (or #\; (parse-method-item sub-pset
+							 type nick name))))))
 
 	       (parse-method-item (sub-pset type sub-nick name)
 		 ;; method-item ::=