search

epfl-lara / rust-stainless

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

Extract std Option/Result and other commonly used ADTs #103

Closed yannbolliger closed 3 years ago

yannbolliger commented 3 years ago

See why and how: #102. This is related to #39.

yannbolliger commented 3 years ago

This has been done for Option in #127. As said in #102, this is already possible for ADTs as the function get_or_extract_adt works also for crate-external things.

The down-side is that the same does not work for the methods on these ADTs.

yannbolliger commented 3 years ago

Closing this, because it works for ADTs, as said above. The methods-part is covered by #142.