Fix "foo = ..." and trailing , in parameters, initial !!, ???

Author: lerno

CHANGELOG.md

@@ -3,6 +3,10 @@
 # C3IntelliJ Changelog
 
 ## [Unreleased]
+- Support ???:
+- Support foo = ...
+- Support trailing , in parameter list.
+- Support unary !!.
 
 ## [0.1.7] - 2025-08-05
 

gradle.properties

@@ -4,7 +4,7 @@ pluginGroup = com.github.c3lang.c3intellij
 pluginName = c3intellij
 pluginRepositoryUrl = https://github.com/c3lang/c3intellij
 # SemVer format -> https://semver.org
-pluginVersion = 0.1.7
+pluginVersion = 0.1.8
 
 # Supported build number ranges and IntelliJ Platform versions -> https://plugins.jetbrains.com/docs/intellij/build-number-ranges.html
 pluginSinceBuild = 243

src/main/gen/org/c3lang/intellij/lexer/C3Lexer.java

@@ -217,7 +217,7 @@ enum_list ::= enum_constant (COMMA enum_constant ?)* COMMA?
 enum_constant ::= CONST_IDENT attributes? [eq_expr_pin]
 arg_list ::= arg (COMMA arg)* COMMA?
 named_ident ::= CT_IDENT | HASH_IDENT | IDENT | CT_TYPE_IDENT
-arg ::= (named_ident COLON (expr | type)) | param_path (EQ (expr | type))? | expr | type | KW_CT_VASPLAT (LBT range_exp RBT)? | ELLIPSIS expr
+arg ::= (named_ident COLON (ELLIPSIS? expr | type)) | param_path (EQ (expr | type))? | expr | type | KW_CT_VASPLAT (LBT range_exp RBT)? | ELLIPSIS expr
 
 
 global_decl ::= KW_TLOCAL? optional_type IDENT (global_multi_declaration | global_single_declaration) EOS
@@ -254,9 +254,9 @@ range_exp ::= range_loc? (DOTDOT | COLON) range_loc?
 range_loc ::= BIT_XOR? expr
 lambda_decl ::= KW_FN optional_type? fn_parameter_list attributes?
 optional_type ::= type QUESTION?
-fn_parameter_list ::= LP parameter_list? RP
-param_decl ::= parameter [eq_expr_pin]
-parameter_list ::= param_decl (COMMA param_decl)*  { pin(".*")=1 }
+fn_parameter_list ::= LP parameter_list? COMMA? RP
+param_decl ::= parameter ((EQ ELLIPSIS) | [eq_expr_pin])
+parameter_list ::= param_decl (COMMA param_decl)* { pin(".*")=2 }
 parameter ::= KW_INLINE? type (ELLIPSIS? IDENT attributes? | ELLIPSIS? CT_IDENT | (HASH_IDENT | AMP IDENT) attributes? | attributes?)
     | ELLIPSIS | HASH_IDENT attributes?| AMP IDENT attributes?  | IDENT ELLIPSIS? attributes?
     | CT_IDENT | CT_IDENT ELLIPSIS
@@ -392,7 +392,7 @@ compound_statement ::= LB statement_list* RB { pin(".*")=2 }
 
 statement_list ::= statement+
 
-unary_op ::= AMP | AND | STAR | PLUS | MINUS | BIT_NOT | BANG | PLUSPLUS | MINUSMINUS | LP type RP { name = "operator" }
+unary_op ::= AMP | AND | STAR | PLUS | MINUS | BIT_NOT | BANG | BANGBANG | PLUSPLUS | MINUSMINUS | LP type RP { name = "operator" }
 mult_bin_op ::= STAR | DIV | MOD { name = "operator" }
 shift_bin_op ::= SHL | SHR { name = "operator "}
 bit_bin_op ::= AMP | BIT_XOR | BIT_OR { name = "operator" }
@@ -456,7 +456,7 @@ call_expr ::= expr call_expr_tail {
 }
 unary_expr ::= unary_op expr { rightAssociative=true }
 expr_terminator ::= EOS | RP | RBT | RB | COMMA | COLON
-ternary_expr ::= expr QUESTION !((BANGBANG | BANG)? expr_terminator) expr COLON expr { rightAssociative=true }
+ternary_expr ::= expr (QUESTION | CT_TERNARY) !((BANGBANG | BANG)? expr_terminator) expr COLON expr { rightAssociative=true }
 optional_expr ::= expr QUESTION &((BANGBANG | BANG)? expr_terminator)
 elvis_bin_expr ::= expr ELVIS expr { rightAssociative=true }
 optelse_bin_expr ::= expr OPTELSE expr { rightAssociative=true }

src/main/gen/org/c3lang/intellij/parser/C3Parser.java

@@ -186,6 +186,7 @@ LINE_COMMENT    = "//" .*
 
     "&&&" { return C3Types.CT_AND; }
     "|||" { return C3Types.CT_OR; }
+    "???" { return C3Types.CT_TERNARY; }
     "+++" { return C3Types.CT_PLUS; }
     "..." { return C3Types.ELLIPSIS; }
     "<<=" { return C3Types.SHL_ASSIGN; }