Scripting: notify writer in REPL on errors reporting complete

required for restoring compatibility with IDE REPL usages (scratch
files included), since IDE counterpart needs a reliable signal
when the processing of the REPL snippet/command is completed
This commit is contained in:
Ilya Chernikov
2022-06-29 14:42:27 +02:00
committed by Space
parent 77758d1552
commit 513f490502
5 changed files with 17 additions and 3 deletions
@@ -27,6 +27,8 @@ enum class ReplEscapeType {
COMPILE_ERROR,
RUNTIME_ERROR,
INTERNAL_ERROR,
ERRORS_REPORTED, // should be send after reporting all errors caused by the current command
// e.g. IDE uses it to recognize the end of command processing
SUCCESS;
companion object {