Error from one action is shown when executing another action, in the REPL

[lasarojc]

If an action is created with an error, it will fail execution. If another action, correct, is then created and executed, the error for the wrong one is again shown. See the excerpt below for an example.

>>> var myVar: bool

>>> action amWrong = all { myVar' = true, myVar' = true }

>>> amWrong
effects error: <input>:1:18 - error: Multiple updates of variable(s): myVar
...
true
>>> action amRight = all { myVar' = true }

>>> amRight
effects error: <input>:1:18 - error: Multiple updates of variable(s): myVar
...
true

[konnov]

As a workaround, you can save the current session with .save, fix it manually, and .load it back

[konnov]

We need a complete implementation of the effects checker

[konnov]

The cause for this is that the errors by the type checker and the effect checker are treated as warnings. Perhaps, we are good enough already to treat them as real errors in REPL. Wdyt @bugarela?

[bugarela]

I agree! Most of the pipeline already enforces type/effect checking, we should enforce them in the REPL as well, IMO.