Claudio Russo

Implement bitops for Nat and Int

5

A user has requested an infinite precision bitwise negation operator on Nat and Int. https://forum.dfinity.org/t/how-motoko-uses-the-bitwise-negation-operator/7428/8 Should be easy to support, acc to @nomeata, pointing at: https://github.com/libtom/libtommath/blob/develop/mp_complement.c

- add optional quotas to Buf.rs Inspired by https://github.com/dfinity/candid/pull/524 TODO: [ ] skipping compound types [ ] specialize add_decode/skip_cost [ ] compile.ml ReadBuf & other changes.

experiment: precise heap tags

5

Implement precise tagging of heap allocated objects. Splits * `TAG_ARRAY` into consecutive `TAG_ARRAY_I`, `TAG_ARRAY_M`, `TAG_ARRAY_T`, `TAG_ARRAY_S` (immutable array, array, tuple, shared function). * `TAG_BLOB` into consecutive `TAG_BLOB_B` ,` TAB_BLOB_T` and...

bug: repro for graph copy bug

3

See https://github.com/dfinity/motoko/pull/4475/files#r1603467825

feat: check restriction on main actor before type checking

1

Improve the error message for compiled code that contains illegal top-level declarations in the main program.

doc: candid serialization and raw calls

1

todo: harmonize with candid_ui.md

Float point literal patterns are accepted by the type checker but not compiled correctly. - executed in the interpreter - non implemented in the compiler(s). We should either rule them...

Typing: missing colon errors duplicated

1

See https://play.motoko.org/?tag=3223397402 for an example. The problem is likely in argument inference (missing predication on env.pre)