search

aeternity / aesophia

Stand alone compiler for the Sophia smart contract language
https://docs.aeternity.com/aesophia
ISC License
51 stars 19 forks source link

Warning for executing stateful functions in non ANF positions #467

Open radrow opened 1 year ago

radrow commented 1 year ago

There should be warning for doing this

stateful function f() = 
  put(state+1)
  state
stateful function g() =
  put(state*2)
  state

put(10)
f() + g()  // what is the state now?