Remove `BinOp` resugaring - #1950

Merged

maximebuyse merged 11 commits into

cryspen:mainfrom

JuanCoRo:remove-binops-resugaring

Feb 16, 2026

Commits on Feb 16, 2026

`rust-engine/src/resugarings.rs`: Remove `BinOp` resugaring
JuanCoRo
committed
e2390eb
`ast/resugared.rs`: remove `BinOp` in `ResugaredExpressionKind` enum
JuanCoRo
committed
ff0e744
`backends/rust.rs`: remove `ResugaredExprKind::BinOp` match case
JuanCoRo
committed
fbf8251
`backends/lean.rs`: Remove `BinOp` from `resugaring_phases`
JuanCoRo
committed
5ba1103
`backends/lean.rs`: remove resugared `BinOp` match case in `expr` fn
JuanCoRo
committed
a3e69f1
`backends/lean.rs`: add `App` `GlobalId` match case for known binops
JuanCoRo
committed
39a4d4e
`CHANGELOG.md`: Update
JuanCoRo
committed
4e3b63e
`backends/lean.rs`: isolate match pattern for `binops::Index::index`
JuanCoRo
committed
84975e7
`backends/lean.rs`: remove `bin_ops` list in favor of a pattern
JuanCoRo
committed
43b8734
Merge remote-tracking branch 'origin/main' into remove-binops-resugaring
JuanCoRo
committed
9e3fbd5
`resugarings.rs`: remove unused import `HashSet`
JuanCoRo
committed
a033c48