solidity icon indicating copy to clipboard operation
solidity copied to clipboard

Type-Checking for ``immutable`` as data location.

Open ekpyron opened this issue 3 years ago • 4 comments

Depends on https://github.com/ethereum/solidity/issues/13368. As a second step of https://github.com/ethereum/solidity/issues/13323, we properly type check the new code data location.

This entails removing the syntax error introduced in https://github.com/ethereum/solidity/issues/13368 and instead implementing the type checker logic for the code data location.

This will mostly involve conscious copying of the behaviour of the calldata location in runtime context and of the memory location in creation context. Since code variables behave differently depending on creation vs runtime context, this will require some refactoring of the type checking logic (may overlap with https://github.com/ethereum/solidity/issues/13365).

This should be accompanied by extensive syntax tests that demonstrate the type checking behaviour.

Finally, in code generation, any attempt to generate code for a code variable should result in an solUnimplementedAssert to be eliminated in subsequent steps.

ekpyron avatar Aug 09 '22 15:08 ekpyron

Issue Status: 1. Open 2. Started 3. Submitted 4. Done


This issue now has a funding of 300.0 1INCH (169.62 USD @ $0.57/1INCH) attached to it.

gitcoinbot avatar Oct 03 '22 14:10 gitcoinbot

Issue Status: 1. Open 2. Started 3. Submitted 4. Done


Workers have applied to start work.

These users each claimed they can complete the work by 264 years, 1 month from now. Please review their action plans below:

1) ashspider has applied to start work (Funders only: approve worker | reject worker).

Open for the challenge!! Kindly accept.

Learn more on the Gitcoin Issue Details page.

gitcoinbot avatar Oct 04 '22 05:10 gitcoinbot

Similar to https://github.com/ethereum/solidity/issues/13368, this is not a good issue to be worked on with an external grant. @NatalieTop, did you open this gitcoin grant as well? It's very much appreciated that you're trying to help with the compiler development this way, but it would work much better, if we coordinated this a bit better up front :-).

For example, you could reach out to us via matrix or gitter to confirm before opening gitcoin grants.

ekpyron avatar Oct 05 '22 11:10 ekpyron

Any estimation? Can we use GitCoin grants to achieve market-driven incentives of development?

k06a avatar Feb 08 '25 13:02 k06a