search

epfl-lara / rust-stainless

An experimental Rust frontend for Stainless
Apache License 2.0
6 stars 2 forks source link

Add runtime implementation for Set & Map #131

Closed yannbolliger closed 3 years ago

yannbolliger commented 3 years ago

Closes #117.

The only down-side of this addition are the trait bounds T: Clone + Eq + Hash that now lie on the types used. However, in our test suite, only one test had to be modified to fit that change.

romac commented 3 years ago

Can we change the signatures of the methods to take arguments by value instead of by ref to avoid cloning internally?

romac commented 3 years ago

Can we add a test for Set and Map which uses the #[test] annotation to ensure that we get the expected results at runtime?

yannbolliger commented 3 years ago

This is now ready.