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.

Sign up for GitHub

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

Jump to bottom

Support soft errors in type checker #293

Merged
merged 5 commits into from
Jul 14, 2023
Merged

Support soft errors in type checker #293

merged 5 commits into from
Jul 14, 2023

Conversation

marcauberer
Copy link
Member

@marcauberer marcauberer commented Jul 14, 2023 •
edited
Loading

Add support for soft errors in type checker

@marcauberer marcauberer added the enhancement New feature or request label Jul 14, 2023
@marcauberer marcauberer added this to the 0.17.0 milestone Jul 14, 2023
@marcauberer marcauberer self-assigned this Jul 14, 2023
@marcauberer marcauberer marked this pull request as ready for review July 14, 2023 17:00
@marcauberer marcauberer requested a review from a team as a code owner July 14, 2023 17:00
@marcauberer marcauberer merged commit b8abf88 into main Jul 14, 2023
4 checks passed
@marcauberer marcauberer deleted the feature/soft-erros-typechecker branch July 14, 2023 17:55
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers
No reviews
Assignees

@marcauberer marcauberer

Labels
enhancement New feature or request size/XL
Projects
None yet
Milestone
0.17.0
Development

Successfully merging this pull request may close these issues.
1 participant
@marcauberer