Meeting 17th June

[jacqueswww]

Start: Monday 17th June 2019, 15:00 UTC (https://time.is/UTC)

Jitsi: https://meet.jit.si/IndifferentSquidAdaptRegularly
https://zoom.us/j/219889477

Agenda

• Webassembly / Yul to Webassembly update
• Array indexes as int128
• assert transferFrom() is a thing, maybe amend VIP VIP: Disallow side-effecting expressions in assert #1150 Bug: can't assert result of external calls to modifiable functions  #1468 ?

[fubuloubu]

Yeah, Jitsi sucks lol

[charles-cooper]

Agenda item: Array indexes as int128

[fubuloubu]

Proposal: create new VIP from conversation in #1468 to ensure all state-modifying external calls with returns are handled appropriately, without question.

[jacqueswww]

Meeting Notes:
On assert transferFrom() the best resolution we came to:

• Is adding a special return assert statement assert_modifiable().
• Separate VIP for enforcing to always handle return values via asserts and or assigning variables.

On arrays:

• Both uint256 and int128 should be first class citizens.
• Will still consider adding support for negative array lookups, in it's current form negative values have to be clamped to avoid illegal access.

[charles-cooper]

evaluate some sort of tail-call restriction. external calls can only be the last instruction in a function, or maybe no state changes are allowed after a modifiable (non-static) call.

[davesque]

@jacqueswww @charles-cooper What ended up being discussed about YUL and WASM?

[fubuloubu]

Next: #1509