In the Jupyter kernel and inside ProB2-UI's REPL we get too many error messages when parsing of an Event-B formula fails.
The formula is parsed as expression, predicate and substitution. However, we should probably only provide one of the error messages (not 4).
Also, in most settings substitutions are not allowed anyway, but the user often sees the last error message (expected to find assignment operator), which is confusing.
Jens Bendisposto
Michael Leuschel
Major
In the Jupyter kernel and inside ProB2-UI's REPL we get too many error messages when parsing of an Event-B formula fails.
The formula is parsed as expression, predicate and substitution. However, we should probably only provide one of the error messages (not 4).
Also, in most settings substitutions are not allowed anyway, but the user often sees the last error message (expected to find assignment operator), which is confusing.