Fix non-deterministic order of type parameters

epfl-lara / rust-stainless

An experimental Rust frontend for Stainless

Apache License 2.0

6 stars 2 forks source link

Fix non-deterministic order of type parameters #89

Closed yannbolliger closed 3 years ago

yannbolliger commented 3 years ago

The use of a HashMap in generics extraction lead to the bug that type parameters were not always in the same order. The bug only appeared on some runs of the program. This PR fixes the behaviour by using a BTreeMap.

romac commented 3 years ago

Well done! 🎉