Claudio Russo
Claudio Russo
Non-dfx repro for issue #4625
This issue culls the PR from Kento's DX issue survey https://docs.google.com/document/d/1RP4-So7dNhs5E28lXHJYw-MmteGouU7JuLt4fcIB-io/edit?usp=sharing and puts the PR links into an issue, so we get helpful summaries. Meta-issue: - [ ] https://github.com/dfinity/motoko/issues/3920 Motoko:...
Our documentation is lacking examples for the following features already documented in the language-manual.adoc. This is a check-list to keep track of what's missing. - [x] checking of all examples...
``` import L "mo:stdlib/list"; var list = L.nil(); list := L.push(5, list); foo(L.last(list)); ``` produces confusing error: ``` cannot implicitly instantiate function of type List/211 -> ?T to argument of...
The auto-generated IDL for eg, test/run-dfinity/general-type-components.as depends on internal constructor stamps. Also, we should probably not introduce trivial bindings for prelude declared primitive types (see Int = int below). I...
Motoko will complain if an invariant type parameter has under-constrained bounds, since there is no principal choice to make for the instantiation. However, if the type parameter in question only...
The Rust and Motoko Result are isomorphic but don't match, leading to awkward interop with Rust canistes (i.e. all our system canisters). What should we do about it? 1. Introduce...
using or re-using dedicated prim instread of this code in base Array.mo ``` public func tabulateVar(size : Nat, generator : Nat -> X) : [var X] { // FIXME add...
All three do bounds checked arithmetic and explicit indexing. A while loop bumping a pointer would be shorted and faster. Might just be a case of using the new pointer...