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

Jump to bottom

Fix the type of Type_Error's name field #1504

Merged
merged 3 commits into from
Feb 24, 2021
Merged

Fix the type of Type_Error's name field #1504

merged 3 commits into from
Feb 24, 2021

Conversation

kustosz
Copy link
Contributor

@kustosz kustosz commented Feb 24, 2021

Pull Request Description

Closes #1503

Important Notes

Checklist

Please include the following checklist in your PR:

  • The documentation has been updated if necessary.
  • All code conforms to the Scala, Java, and Rust style guides.
  • All documentation and configuration conforms to the markdown and YAML style guides.
  • All code has been tested where possible.

@kustosz kustosz added Type: Bug p-highest Should be completed ASAP labels Feb 24, 2021
@kustosz kustosz self-assigned this Feb 24, 2021
@kustosz kustosz mentioned this pull request Feb 24, 2021
Closed
@kustosz kustosz merged commit 299c598 into main Feb 24, 2021
@kustosz kustosz deleted the wip/mk/type-error-message branch February 24, 2021 13:53
iamrecursion pushed a commit that referenced this pull request Feb 26, 2021
@kustosz @iamrecursion
Fix the type of Type_Error's name field (#1504)
608e839
# for free to join this conversation on GitHub. Already have an account? # to comment
Reviewers

@iamrecursion iamrecursion iamrecursion approved these changes

@radeusgd radeusgd Awaiting requested review from radeusgd

Assignees

@kustosz kustosz

Labels
p-highest Should be completed ASAP
Projects
None yet
Milestone
No milestone
Development

Successfully merging this pull request may close these issues.

Errors are not descriptive
2 participants
@kustosz @iamrecursion