-
Notifications
You must be signed in to change notification settings - Fork 53
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
Remove old typechecker #2545
Remove old typechecker #2545
Conversation
janmasrovira
commented
Nov 29, 2023
•
edited by jonaprieto
Loading
edited by jonaprieto
- Add dependent defaults for the new typechecker #2541
- Add new case for positivity checker: type cannot occur as arg of bound var #2542
test/Compilation/Positive.hs
Outdated
ignored :: HashSet String | ||
ignored = | ||
HashSet.fromList | ||
[ "Test046: Polymorphic type arguments", |
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.
Instead of ignoring this test with the new typechecker, we should modify it to work by inserting the implicit holes manually as required (in a minimal way).
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.
I've addressed it here a8eddc7.
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.
Approved as the last revision's comments were addressed.