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

parse_and_run_program doesn't return a log when it errors #332

Open
Alex-Fischman opened this issue Jan 25, 2024 · 0 comments
Open

parse_and_run_program doesn't return a log when it errors #332

Alex-Fischman opened this issue Jan 25, 2024 · 0 comments

Comments

@Alex-Fischman
Copy link
Contributor

I have a program with the following strucutre:

; ...
(extract var1)
(check (= var1 (...))))

I should be able to get the extracted expression whether the check succeeds or not. However, because parse_and_run_program returns a Result<Vec<String>, Error>, I can't. Instead, it should return something like (Vec<String>, Option<Error>), because not all errors invalidate the log.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

No branches or pull requests

1 participant