Claudio Russo

experiment: weird stable upgrade failure

1

I don't understand why upgrading from version0 to version1 fails, while version2 is ok. I'd expect the upgrade to version1 to be ok too: (The only difference is that verson2...

The PR description states that a stable function signature can evolve to a supertype. I think that's true for the uses of any stable function, but not the definition itself....

Simpler stable functions * stable functions can only be declared within actors * stable functions receive new singleton types indicating the name of the functions as well as signature *...

feat: selectively suppress warning on dropped fields in migration function using named types

2

closes https://github.com/dfinity/motoko/issues/5301 NB: this is probably better than just disabling these warnings entirely since it forces users to consider each field on a case by case basis.

experiment: migration functions trigger use-before-define errors

2

I had a hunch that using a migration function would allow you to apply a stable function before it is properly defined. Turns out to be true... This is a...

Austin has a [tool](https://github.com/icdevsorg/inspect-mo/blob/main/tools/codegen/README.md) that needs to know the message type (the big variant) of the system method `inspect`. The tool constructs the type from the did file and then...

experiment: report sub type failure explanations in typing

1

See whether is useful to explain subtype failure during type checking with the new explanations facility. Needs tuning...

experiment: sanity check `async` vs `async*`

1

@ggreif all seems ok to me. ```motoko import Prim "mo:prim"; actor a { public func m() : async () { Prim.debugPrint(debug_show { cycles = Prim.cyclesAvailable(); deadline = Prim.replyDeadline() }); };...

I wonder if we could eventually report errors not with a path and a conflict, but in the context of the expect type, something like: expected (Int, Nat) found (Int,...

Probably just best to restore from md/old (and see what else has gone missing).