chriseth

I think we should use the `type` field only for things that also appear in the signature. If you want to look up additional information for the type, I think...

The reason is that we have to think about which optimizer steps to disable, and probably we have to disable almost all of them. Can you tell us more about...

Wouldn't it be better to do this on the yul level instead? Plese feel free to schedule a call to discuss in more detail!

What I meant is to compile solidity to yul using `solc --ir ` and then modify the resulting yul code where you can freely inject `verbatim`. It would be nice...

In my opinion, your explicit receive function that always reverts in a good solution - it makes it explicit what happens if you send this contract Ether. The fact that...

I still think the current situation is the best, but I'm open for discussion.

Maybe duplicate, but could also be sub-issue.

The downside of `all` is that it might lead to people thinking that it forwards `gas()`, but it actually only forards `gas() * 63/64`.

I think something like `max` is more explanatory and it also allows us to remove `gasleft` at some point.

@axic so you would be open to a silent breaking change of `transfer`? @MicahZoltu I would prefer to keep the symmetry of send and receive. We could use some other...