Do not generate (); in Rust backends

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

Closed R1kM closed 3 weeks ago

R1kM commented 3 weeks ago

This PR does three things:

It slightly refactors Rust simplification passes into a single module, split into passes on Ast and passes on MiniRust
It does not emit unit statements when on the left-hand side of a sequence anymore
It removes trailing units in function bodies