diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml index ea83489a..86f54b17 100644 --- a/.github/workflows/ci.yml +++ b/.github/workflows/ci.yml @@ -9,7 +9,7 @@ on: # Remember to update me in package-set.yml as well env: vessel_version: "v0.6.3" - moc_version: "0.6.30" + moc_version: "0.7.0" jobs: tests: diff --git a/.github/workflows/package-set.yml b/.github/workflows/package-set.yml index 02f0ad01..dcd11205 100644 --- a/.github/workflows/package-set.yml +++ b/.github/workflows/package-set.yml @@ -8,7 +8,7 @@ on: env: vessel_version: "v0.6.3" - moc_version: "0.6.30" + moc_version: "0.7.0" jobs: verify: diff --git a/src/TrieSet.mo b/src/TrieSet.mo index 6ee399ea..fcc8ab8d 100644 --- a/src/TrieSet.mo +++ b/src/TrieSet.mo @@ -26,13 +26,13 @@ module { /// Put an element into the set. public func put(s : Set, x : T, xh : Hash, eq : (T, T) -> Bool) : Set { - let (s2, _) = Trie.put(s, { key = x; hash = xh }, eq, ()); + let s2 = Trie.put(s, { key = x; hash = xh }, eq, ()).0; s2 }; /// Delete an element from the set. public func delete(s : Set, x : T, xh : Hash, eq : (T, T) -> Bool) : Set { - let (s2, _) = Trie.remove(s, { key = x; hash = xh }, eq); + let s2 = Trie.remove(s, { key = x; hash = xh}, eq).0; s2 };