miden-vm icon indicating copy to clipboard operation
miden-vm copied to clipboard

Fix re-exports from aliased module

Open plafer opened this issue 6 months ago • 0 comments

As identified by @bobbinth, as of v0.10.3, the following fails:

use.miden::contracts::wallets::basic->basic_wallet

export.basic_wallet::receive_asset
export.basic_wallet::send_asset

Note that module aliases work fine (as enforced by the module_alias test); it is specifically re-exporting a procedure from a module alias that is broken.

plafer avatar Aug 13 '24 14:08 plafer