Rust: support for interface bundles?

[tahina-pro]

Thanks a lot @R1kM and @msprotz for #533 !

Based on that, I have a feature request. Consider the following two interfaces:

module AuxA
val foo: bool -> bool

module AuxB
val bar: bool -> bool

I can implement those two interfaces and extract a single Rust file with -bundle AuxA+AuxB=[rename=Aux,rename-prefix]. Karamel produces a single aux.rs file, as I expect.

However, at this point, if I write a client for those interfaces and extract it to Rust with that bundle, it will still produce calls to auxa::foo and auxb::bar instead of aux::foo and aux::bar (see be223e471206fa0ae2a3ccbafe331af63b60adfa).

Would it be possible to have Karamel Rust backend support such interface bundles? Thanks in advance!

[msprotz]

Thanks for the report, this looks like something we can look into

[msprotz]

Pushed a commit to fix this on your branch. Please review! Cheers

[msprotz]

@tahina-pro ping? did this end up being merged?