Skip to content

Fixed priority_of_binop to handle PLUSn, MINUSn and STARn - #1138

Merged
strub merged 1 commit into
mainfrom
fix-1121
Sep 11, 2026
Merged

Fixed priority_of_binop to handle PLUSn, MINUSn and STARn#1138
strub merged 1 commit into
mainfrom
fix-1121

Fixed `priority_of_binop` to handle PLUSn, MINUSn and STARn,

673ab17
Select commit
Loading
Failed to load commit list.
Sign in for the full log view

Annotations

2 warnings
build
succeeded Sep 11, 2026 in 8m 51s