search

flux-rs / flux

Refinement Types for Rust
MIT License
660 stars 21 forks source link

Add missing Float UnOp #828

Closed Samir-Rashid closed 1 month ago

Samir-Rashid commented 1 month ago

Please review the two commit independently. I verified #816 is solved by the first commit. Secondly, to improve Flux errors for next time, I replaced unwrap with the debugging version in refineck.