Uh oh!
There was an error while loading.Please reload this page.
- Notifications
You must be signed in to change notification settings - Fork888
feat: only consider local type variables in error's type printing#5046
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 ourterms of service andprivacy statement. We’ll occasionally send you account related emails.
Already on GitHub?Sign in to your account
base:main
Are you sure you want to change the base?
Uh oh!
There was an error while loading.Please reload this page.
Conversation
GearsDatapacks left a comment
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others.Learn more.
Hello! Could you add some tests to this please? I would like tests for:
- Ignoring type variables in other functions
- Correctly using type variables defined in the current function
- Correctly generating a new name to avoid clashing with type variables in the current function
ankddev commentedOct 7, 2025 • edited
Loading Uh oh!
There was an error while loading.Please reload this page.
edited
Uh oh!
There was an error while loading.Please reload this page.
@GearsDatapacks Okay, can you please give me some guidance about where they should be located? :) |
GearsDatapacks commentedOct 7, 2025
They should go in the |
ankddev commentedOct 7, 2025
There are some problems with this, I'll address them later, so drafting PR for now! |
This PRfixes#3786.