Upgrade moc/base.

Author: q-uint

.github/workflows/src.yml

@@ -0,0 +1,12 @@
+on: push
+jobs:
+  test:
+    runs-on: ubuntu-latest
+    steps:
+      - uses: actions/checkout@v3
+      - uses: aviate-labs/setup-dfx@v0.2.3
+        with:
+          dfx-version: 0.12.1
+          vessel-version: 0.6.3
+      - run: |
+          make check

.github/workflows/test.yml

@@ -0,0 +1,3 @@
+.PHONY: check test
+check:
+	find src -type f -name '*.mo' -print0 | xargs -0 $(shell vessel bin)/moc $(shell vessel sources 2>/dev/null) --check

Makefile

@@ -1,10 +1,22 @@
-let upstream = https://github.com/aviate-labs/package-set/releases/download/v0.1.2/package-set.dhall sha256:770d9d2bd9752457319e8018fdcef2813073e76e0637b1f37a7f761e36e1dbc2
+let base = https://github.com/internet-computer/base-package-set/releases/download/moc-0.7.4/package-set.dhall sha256:3a20693fc597b96a8c7cf8645fda7a3534d13e5fbda28c00d01f0b7641efe494
 let Package = { name : Text, version : Text, repo : Text, dependencies : List Text }
+
 let additions = [
+  { name = "array"
+  , version = "v0.2.1"
+  , repo = "https://github.com/aviate-labs/array.mo"
+  , dependencies = [ "base-0.7.3" ] : List Text
+  },
+  { name = "encoding"
+  , version = "v0.4.1"
+  , repo = "https://github.com/aviate-labs/encoding.mo"
+  , dependencies = [ "base-0.7.3", "array" ]
+  },
   { name = "io"
+  , version = "v0.3.2"
   , repo = "https://github.com/aviate-labs/io.mo"
-  , version = "v0.3.0"
-  , dependencies = [ "base" ]
-  },
+  , dependencies = [ "base-0.7.3" ]
+  }
 ] : List Package
-in  upstream # additions
+
+in  base # additions

example/dfx.json

@@ -1,12 +1,12 @@
-import Array "mo:base/Array";
+import Array "mo:base-0.7.3/Array";
 import Binary "mo:encoding/Binary";
-import Int "mo:base/Int";
+import Int "mo:base-0.7.3/Int";
 import IO "mo:io/IO";
-import Nat8 "mo:base/Nat8";
-import Nat16 "mo:base/Nat16";
-import Nat32 "mo:base/Nat32";
-import Nat64 "mo:base/Nat64";
-import Time "mo:base/Time";
+import Nat8 "mo:base-0.7.3/Nat8";
+import Nat16 "mo:base-0.7.3/Nat16";
+import Nat32 "mo:base-0.7.3/Nat32";
+import Nat64 "mo:base-0.7.3/Nat64";
+import Time "mo:base-0.7.3/Time";
 
 import UUID "UUID";
 

example/package-set.dhall

@@ -1,5 +1,5 @@
 import Hex "mo:encoding/Hex";
-import List "mo:base/List";
+import List "mo:base-0.7.3/List";
 
 module {
 	// A UUID is a 128 bit (16 byte) Universal Unique IDentifier as defined in RFC 4122.

example/src/example/main.mo

@@ -1,7 +1,7 @@
-import Array "mo:base/Array";
+import Array "mo:base-0.7.3/Array";
 import Array_ "mo:array/Array";
-import Blob "mo:base/Blob";
-import Random "mo:base/Random";
+import Blob "mo:base-0.7.3/Blob";
+import Random "mo:base-0.7.3/Random";
 
 import UUID "../UUID";
 

example/test.sh

@@ -1,4 +1,4 @@
 {
-  dependencies = [ "base", "encoding", "io" ],
-  compiler = Some "0.6.11"
+  dependencies = [ "base-0.7.3", "encoding", "io" ],
+  compiler = Some "0.7.3"
 }