refactor: dfx build

e2e/assets/import_error_mo/main.mo

@@ -0,0 +1,3 @@
+import X "canister:random";
+actor {};
+

e2e/assets/import_error_mo/patch.bash

@@ -0,0 +1 @@
+dfx config canisters/e2e_project/main main.mo

e2e/assets/matrix_multiply_mo/matrix.mo

@@ -1,6 +1,5 @@
 import A "mo:stdlib/array.mo";
-import D "canister:dot_product";
-import T "canister:transpose";
+import M "secret_import.mo";
 
 type Matrix = [[Int]];
 
@@ -10,14 +9,14 @@ actor {
         assert (a[0].len() == b.len());
         let n = a.len();
         let k = b[0].len();
-        let bt = await T.transpose(b);
+        let bt = await M.T.transpose(b);
         let res : [[var Int]] = A.tabulate<[var Int]>(n, func (_:Nat):[var Int] = A.init<Int>(k, 0));
         var i = 0;
         while (i < n) {
-            await D.init(a[i]);
+            await M.D.init(a[i]);
             var j = 0;
             while (j < k) {
-                res[i][j] := await D.dot_product_with(bt[j]);
+                res[i][j] := await M.D.dot_product_with(bt[j]);
                 j += 1;
             };
             i += 1;

e2e/assets/matrix_multiply_mo/secret_import.mo

@@ -0,0 +1,6 @@
+import T_ "canister:transpose";
+import D_ "canister:dot_product";
+module {
+  public let T = T_;
+  public let D = D_;
+};

e2e/assets/warning_mo/main.mo

@@ -0,0 +1,4 @@
+func returnsLargeTuple() : (Nat,Nat,Nat,Nat,Nat,Nat,Nat,Nat,Nat,Nat,Nat,Nat,Nat,Nat,Nat,Nat,Nat,Nat,Nat,Nat) = (1,2,3,4,5,6,7,8,9,10,11,12,13,14,15,16,17,18,19,20);
+func wantsLargeTuple(1,2,3,4,5,6,7,8,9,10,11,12,13,14,15,16,17,18,19,20) = ();
+wantsLargeTuple(returnsLargeTuple());
+actor {};

e2e/assets/warning_mo/patch.bash

@@ -0,0 +1 @@
+dfx config canisters/e2e_project/main main.mo

e2e/build.bash

@@ -40,3 +40,15 @@ teardown() {
     assert_command dfx build
     [[ -f canisters/e2e_project/_canister.id ]]
 }
+
+@test "build outputs warning" {
+    install_asset warning_mo
+    assert_command dfx build
+    assert_match "warning, this pattern consuming type"
+}
+
+@test "build fails on unknown imports" {
+    install_asset import_error_mo
+    assert_command_fail dfx build
+    assert_match "Cannot find canister random"
+}

src/dfx/Cargo.toml

@@ -28,7 +28,7 @@ flate2 = "1.0.11"
 futures = "0.1.28"
 hex = "0.3.2"
 ic-http-agent = { "path" = "../ic_http_agent" }
-indicatif = "0.12.0"
+indicatif = "0.13.0"
 lazy_static = "1.4.0"
 libflate = "0.1.27"
 mockall = "0.6.0"