Pi-Squared-Inc / solidity-demo-semantics

Demonstration Solidity Semantics in K
2 stars 2 forks source link

Current function cell #32

Closed mariaKt closed 1 month ago

mariaKt commented 2 months ago

This PR adds a cell that tracks the name of the function whose body is at the top of the K cell.

I added a contractInit Id used when the contract initialization code is running, because it is not technically in the body of the constructor.

However, I am not certain that there is a reason to separate the initialization from the constructor, in that there will never be a branch (constructor will always follow the initialization code, if any). So, I could eliminate contractInit entirely, and change the current function name to constructor immediately before the initialization code. Let me know what you think.