epfl-lara / rust-stainless

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

Allow imports (`use`) statements #146

Closed yannbolliger closed 3 years ago

yannbolliger commented 3 years ago

External files with modules of the same crate work. But, the mod xx; use xx::*; and the corresponding use super::*; fail as unsupported trees.

The idea is to allow use but warn if it's from crate-external things.