Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

[Re-opening] Improve error recoverability in ToIrListener #1228

Merged
merged 12 commits into from
Nov 7, 2023
1 change: 1 addition & 0 deletions CHANGELOG.md
Original file line number Diff line number Diff line change
Expand Up @@ -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

Expand Down
19 changes: 19 additions & 0 deletions quint/io-cli-tests.md
Original file line number Diff line number Diff line change
Expand Up @@ -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.
Expand Down
Loading