Warning for executing stateful functions in non ANF positions #467

New Issue

2023-07-01T01:13:01+09:00

zxq9 commented

2023-07-01 01:13:01 +09:00

(Migrated from gitlab.com)

Created by: radrow

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?

*Created by: radrow* 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? ```

Sign in to join this conversation.

1 Participants

Notifications

Due Date

No due date set.

Dependencies

No dependencies set.

Reference: QPQ-AG/sophia#467