Claudio Russo
Claudio Russo
The fact that no-one is confident about how this is meant to behave strikes me as slightly worrying ;->
@nomeata thanks for adjusting the tests to use a method name - most of my tests now pass but there's another bug I'll need to figure out on the motoko...
That looks plausible but only deals with a single value, right? For the use case we were discussing, the arguments and return of a generic call forwarding mechanism, wouldn't the...
@nomeata, interested in your view on this (but can't add you as reviewer).
Sounds intriguing. Are these indices given meaning by the enclosing encoding? And does the host then need to copy those entries from the input to the output encoding, extending or...
Don't we need to know the variance of the type parameters too, so that we can perform the subtype check appropriately? Or do you apply the same argument as in...
This sounds way more attractive. Do you have a draft spec change?
> Oh, this hasn't landed yet? Completely forgot… I guess we are waiting for all implementations to catch up? @chenyan-dfinity is working on it. Motoko is hopefully ready to go...
> (a) Also allow 'type results' right of the array: get : (key : text) -> (type t) (val : opt t) query I guess that should be arrow, not...
We should all probably take another look at this before proceeding.... https://www.hpl.hp.com/techreports/Compaq-DEC/SRC-RR-47.pdf