Merge pull request #1228 from informalsystems/gabriela/improve-parsin…

…g-error-recovery-2

[Re-opening] Improve error recoverability in `ToIrListener`

CHANGELOG.md

@@ -24,6 +24,7 @@ and this project adheres to [Semantic Versioning](https://semver.org/spec/v2.0.0
   verify` (#1216)
 - Fixed a problem where errors in one file were being reported in another file
   that imported it (#1224).
+- Fixed a problem where some errors were not being reported in the REPL (#1223)
 
 ### Security
 

quint/io-cli-tests.md

@@ -267,6 +267,25 @@ echo -e "init\nMyF::ExportedBasics::double(2)" | quint -r ../examples/language-f
 >>> 
 ```
 
+### Repl reports proper errors for malformed expressions 
+
+<!-- !test in repl malformed expressions -->
+```
+echo -e "1 +" | quint | tail -n +3
+```
+
+<!-- !test out repl malformed expressions -->
+```
+>>> [DEBUG] generating undefined expr to fill hole in: 1+
+syntax error: error: [QNT000] mismatched input '<EOF>' expecting {'{', 'nondet', 'val', 'def', 'pure', 'action', 'run', 'temporal', '[', 'all', 'any', 'if', '_', STRING, BOOL, INT, 'and', 'or', 'iff', 'implies', 'Set', 'List', 'Map', 'match', '-', '(', IDENTIFIER}
+
+
+
+
+>>> 
+```
+
+
 ### Tests works as expected
 
 The command `test` finds failing tests and prints error messages.