From f8d4facd5c615fd05a47a6d3181337fd71219af5 Mon Sep 17 00:00:00 2001 From: "copilot-swe-agent[bot]" <198982749+Copilot@users.noreply.github.com> Date: Sat, 20 Dec 2025 03:57:52 +0000 Subject: [PATCH 1/3] Initial plan From bece18308fb48aaa75800929dbcbee617fe20533 Mon Sep 17 00:00:00 2001 From: "copilot-swe-agent[bot]" <198982749+Copilot@users.noreply.github.com> Date: Sat, 20 Dec 2025 04:03:50 +0000 Subject: [PATCH 2/3] Add -> operator to Dsp.g4 grammar Co-authored-by: hzhangxyz <11623447+hzhangxyz@users.noreply.github.com> --- bnf/Dsp.g4 | 1 + 1 file changed, 1 insertion(+) diff --git a/bnf/Dsp.g4 b/bnf/Dsp.g4 index dac731c..1657fd5 100644 --- a/bnf/Dsp.g4 +++ b/bnf/Dsp.g4 @@ -14,6 +14,7 @@ term | '(' term ')' # parentheses | term '::' term # binary | term '.' term # binary + | term '->' term # binary | term '[' term (',' term)* ']' # subscript | term '(' (term (',' term)*)? ')' # function | ('~' | '!' | '-' | '+' | '&' | '*') term # unary From bb0fd5d11f114722990d5897f9a86725568b8f00 Mon Sep 17 00:00:00 2001 From: "copilot-swe-agent[bot]" <198982749+Copilot@users.noreply.github.com> Date: Sat, 20 Dec 2025 04:09:14 +0000 Subject: [PATCH 3/3] Fix: Place -> operator on same line as . operator Co-authored-by: hzhangxyz <11623447+hzhangxyz@users.noreply.github.com> --- bnf/Dsp.g4 | 3 +-- 1 file changed, 1 insertion(+), 2 deletions(-) diff --git a/bnf/Dsp.g4 b/bnf/Dsp.g4 index 1657fd5..fd2784b 100644 --- a/bnf/Dsp.g4 +++ b/bnf/Dsp.g4 @@ -13,8 +13,7 @@ term : SYMBOL # symbol | '(' term ')' # parentheses | term '::' term # binary - | term '.' term # binary - | term '->' term # binary + | term ('.' | '->') term # binary | term '[' term (',' term)* ']' # subscript | term '(' (term (',' term)*)? ')' # function | ('~' | '!' | '-' | '+' | '&' | '*') term # unary