+
Skip to content

Tags: dfinity/motoko

Tags

0.16.3-implicits-9

Toggle 0.16.3-implicits-9's commit message

Verified

This commit was created on GitHub.com and signed with GitHub’s verified signature.
chore: fix broken build of moc_js - only discovered on release action (

…#5565)

- CI didn't pick this up!

0.16.3-implicits-8

Toggle 0.16.3-implicits-8's commit message

Verified

This commit was created on GitHub.com and signed with GitHub’s verified signature.
experiment: implicit import all libs for dot&implicit resolution (#5561)

Adds undocumented implicit libs flag that allows resolution for ctx dot
and implicits even with missing imports.
This flag adds all possible env.libs similarly to the --ai-errors flag.

---------

Co-authored-by: Claudio Russo <claudio@dfinity.org>

0.16.3-implicits-7

Toggle 0.16.3-implicits-7's commit message

Verified

This commit was created on GitHub.com and signed with GitHub’s verified signature.
feat: Deduplicate tagged blobs (#5512)

This PR adds (tagged) blob deduplication support. The main issue it
solves is that all external calls to a motoko canister go through candid
deserialization and blobs passed as arguments end up as fresh blobs on
the motoko heap. Calling multiple times with the same blob as argument
creates multiple copies of the same blob.

To achieve deduplication, this PR does the following:
* in `internals.mo`, it creates a fixed-size hash-table which solves
collisions via chaining.
* sets up a thin RTS interface to set/get the hash-table allocated in
`internals.mo` to be tracked by the RTS layer such that the table is not
garbage collected and it survives upgrades.
* to achieve deduplication, the hash table stores weak references
pointing to the actual objects; once objects are garbage collected, the
weak references will point to null.
* a thin client interface (in `prim.mo`) to walk the hash table and
check which deduplicated blobs are alive/dead and prune the dead ones if
neeed.

0.16.3-implicits-6

Toggle 0.16.3-implicits-6's commit message

Verified

This commit was created on GitHub.com and signed with GitHub’s verified signature.
feat: (over-)simplify type inference errors (#5552)

* suppress reporting expected receiver when generic and dotted.
* report *instantiated* types, reusing partial instantiation from
receiver match if that's all that's available sofar.
* report `.<funid>` in error
* suppress implicit parameters/arguments when holes inserted
* don't mention type parameter solutions at all.

---------

Co-authored-by: Kamil Listopad <kamil.listopad@dfinity.org>

0.16.3-caffeine-3

Toggle 0.16.3-caffeine-3's commit message

Verified

This commit was created on GitHub.com and signed with GitHub’s verified signature.
feat: Validate number of arguments for ctx-dot and implicits (#5548)

Fixes #5544
Closes #5550
Closes #5553

0.16.3-caffeine-2

Toggle 0.16.3-caffeine-2's commit message

0.16.3-caffeine-1

Toggle 0.16.3-caffeine-1's commit message

0.16.3-implicits-5

Toggle 0.16.3-implicits-5's commit message

Verified

This commit was created on GitHub.com and signed with GitHub’s verified signature.
Revert "fix: fixes a bug with contextual dot and a tuple receiver (#5547

)" (#5549)

This reverts commit 69f0aa8.

Causes regressions when interacting with functions accepting implicits.

0.16.3-implicits-4

Toggle 0.16.3-implicits-4's commit message

Verified

This commit was created on GitHub.com and signed with GitHub’s verified signature.
fix: fixes a bug with contextual dot and a tuple receiver (#5547)

Fixes #5544

0.16.3-implicits-3

Toggle 0.16.3-implicits-3's commit message
renaming (no logical change)

点击 这是indexloc提供的php浏览器服务,不要输入任何密码和下载