From 63e4a36e27ac1240774cd1355e05cd10ddeda67c Mon Sep 17 00:00:00 2001
From: Nick Liu <nicku5011@gmail.com>
Date: Thu, 29 Dec 2022 02:16:44 +0800
Subject: [PATCH] added check: named arguments must follow bare star

---
 parser/python.lalrpop | 11 +++++++++--
 1 file changed, 9 insertions(+), 2 deletions(-)

diff --git a/parser/python.lalrpop b/parser/python.lalrpop
index 70ad18f..7683b60 100644
--- a/parser/python.lalrpop
+++ b/parser/python.lalrpop
@@ -667,7 +667,7 @@ TypedParameter: ast::Arg = {
 // TODO: figure out another grammar that makes this inline no longer required.
 #[inline]
 ParameterListStarArgs<ArgType>: (Option<Box<ast::Arg>>, Vec<ast::Arg>, Vec<ast::Expr>, Option<Box<ast::Arg>>) = {
-    "*" <va:ArgType?> <kw:("," ParameterDef<ArgType>)*> <kwarg:("," KwargParameter<ArgType>)?> => {
+    <location:@L> "*" <va:ArgType?> <kw:("," ParameterDef<ArgType>)*> <kwarg:("," KwargParameter<ArgType>)?> =>? {
         // Extract keyword arguments:
         let mut kwonlyargs = Vec::new();
         let mut kw_defaults = Vec::new();
@@ -685,7 +685,14 @@ ParameterListStarArgs<ArgType>: (Option<Box<ast::Arg>>, Vec<ast::Arg>, Vec<ast::
         let kwarg = kwarg.map(|n| n.1).flatten();
         let va = va.map(Box::new);
 
-        (va, kwargs, kw_defaults, kwarg)
+        if va==None && kwargs.is_empty() && kwarg==None {
+            Err(LexicalError {
+                error: LexicalErrorType::OtherError("named arguments must follow bare *".to_string()),
+                location: location,
+            })?
+        }
+
+        Ok((va, kwargs, kw_defaults, kwarg))
     }
 };