[dev branch] mpm spectest can not compile use module

[nkysg]

Bug Report

Starcoin version:
使用 https://github.com/starcoinorg/starcoin.git dev分支编译mpm

git clone https://github.com/Elements-Studio/starswap-core.git
cd starswap-core
mpm spectest test -v

报错

Error: error[E03002]: unbound module
   ┌─ /var/folders/yw/g0zm8vb56ls0j8nk2vzjw1br0000gn/T/.tmp980qYe:18:9
   │
18 │     use StarcoinFramework::Math;
   │         ^^^^^^^^^^^^^^^^^^^^^^^ Invalid 'use'. Unbound module: '(StarcoinFramework=0x1)::Math'

查看starswap-core下面math_test.move

//# run --signers alice
script {
    use StarcoinFramework::Math;
    use StarcoinFramework::Debug;
    use SwapAdmin::SafeMath;

    // case : x*y/z overflow
    fun math_overflow(_: signer) {
        let precision: u8 = 18;
        let scaling_factor = Math::pow(10, (precision as u64));
        let amount_x: u128 = 110000 * scaling_factor;
        let reserve_y: u128 = 8000000 * scaling_factor;
        let reserve_x: u128 = 2000000 * scaling_factor;

        let amount_y_1 = SafeMath::safe_mul_div_u128(amount_x, reserve_y, reserve_x);
        let amount_y_2 = SafeMath::safe_mul_div_u128(amount_x, reserve_x, reserve_y);
        Debug::print<u128>(&amount_y_1);
        Debug::print<u128>(&amount_y_2);
        assert!(amount_y_1 == 440000 * scaling_factor, 3003);
        assert!(amount_y_2 == 27500 * scaling_factor, 3004);
    }
}
// check: EXECUTED

这么写有问题
改成下面的可以编译

//# run --signers alice
script {
  //  use StarcoinFramework::Math;
   // use StarcoinFramework::Debug;
    //use SwapAdmin::SafeMath;

    // case : x*y/z overflow
    fun math_overflow(_: signer) {
        let precision: u8 = 18;
        let scaling_factor = StarcoinFramework::Math::pow(10, (precision as u64));
        let amount_x: u128 = 110000 * scaling_factor;
        let reserve_y: u128 = 8000000 * scaling_factor;
        let reserve_x: u128 = 2000000 * scaling_factor;

        let amount_y_1 = SwapAdmin::SafeMath::safe_mul_div_u128(amount_x, reserve_y, reserve_x);
        let amount_y_2 = SwapAdmin::SafeMath::safe_mul_div_u128(amount_x, reserve_x, reserve_y);
        Debug::print<u128>(&amount_y_1);
        Debug::print<u128>(&amount_y_2);
        assert!(amount_y_1 == 440000 * scaling_factor, 3003);
        assert!(amount_y_2 == 27500 * scaling_factor, 3004);
    }
}
// check: EXECUTED

Current behavior:

Expected behavior:

Steps to reproduce:

Related code:

insert short code snippets here

Other information:

[LemonHX]

windows starcoin dev branch even debug is not correct

[LemonHX]

[C:\Users\lemonhx\.cargo\git\checkouts\move-ae0d26a86327ae96\1eb08bd\language\move-compiler\src\expansion\translate.rs:886] &context.module_members = UniqueMap(
    {
        ModuleIdent_ {
            address: (alice=0x15D0B101053497F9A2354D63F744D5D0),
            module: ModuleName(
                "TestHelper",
            ),
        }: (
            Loc {
                file_hash: "b15b4c0cb75b74d0044b3653c301b8e4ea0198923b2b277c08553a33b1fe70ae",
                start: 20,
                end: 30,
            },
            {
                "EXP_SCALE": Constant,
                "U128_MAX": Constant,
                "U64_MAX": Constant,
            },
        ),
    },
)

it's the problem of path switching

[LemonHX]

as we see there isn't a single module in
language\move-compiler\src\expansion\translate.rs
dbg is added in https://github.com/starcoinorg/move/tree/dev3732 at language\move-compiler\src\expansion\translate.rs:887

[LemonHX]

done