Rust backend: Rewrite according to the assign-op pattern

FStarLang / karamel

KaRaMeL is a tool for extracting low-level F* programs to readable C code

Apache License 2.0

394 stars 58 forks source link

Rust backend: Rewrite according to the assign-op pattern #466

Closed R1kM closed 3 weeks ago

R1kM commented 3 weeks ago

Another cosmetic change: when applicable, use the assign-op pattern on assignments where the rhs is a binary operator. For instance, x = x & y becomes x &= y