Cosmetic changes to Rust backend - Githubissues

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

Cosmetic changes to Rust backend #468

Closed R1kM closed 2 weeks ago

R1kM commented 3 weeks ago

A few additional cosmetic changes to the Rust backend, following Clippy:

Rewrite nonminimal boolean expressions (e.g., ! (x == y) becomes x != y)
Print else if on the same line for nested if/then/else
Use vec! for vector creation, with a small tweak for repeats of size 1
Reintroduce the unused_mut warning, which was solved by mutability inference