miden-vm
miden-vm copied to clipboard
Fix re-exports from aliased module
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.