Skip to content
New issue

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

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

Already on GitHub? # to your account

Pull - Translate compilation - Fix error case. #2837

Merged
merged 2 commits into from
Mar 7, 2022

Conversation

diesalbla
Copy link
Contributor

If there is an error, it should be handled with the continuation of the Translate node, like most nodes.

@diesalbla diesalbla requested a review from SystemFw March 7, 2022 09:07
@mpilquist
Copy link
Member

Can we get a unit test to cover this one?

@diesalbla
Copy link
Contributor Author

Can we get a unit test to cover this one?

Was waiting for #2836 to be merged before writing one.

If there is an error, it should be handled with the
continuation of the `Translate` node, like most nodes.
@diesalbla diesalbla force-pushed the fix_translate_err branch from 6708fd9 to 67b6848 Compare March 7, 2022 21:33
@diesalbla
Copy link
Contributor Author

Added a unit test to check interaction between translate, and raising error, and handling errors. I have checked that this unit test fails without the changes to the compile method, but succeeds with them.

We add a unit test to check the interaction between translate,
raising error, and handling errors.
We have confirmed that, without the changes to Pull translate
interpretation, this test fails.
@diesalbla diesalbla force-pushed the fix_translate_err branch from a22eaad to 7b7f294 Compare March 7, 2022 23:27
@mpilquist mpilquist merged commit fad328c into typelevel:main Mar 7, 2022
@diesalbla diesalbla deleted the fix_translate_err branch March 8, 2022 22:08
# for free to join this conversation on GitHub. Already have an account? # to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants