Allow explicit binders for type variables (ocaml#10437) #1757
Add this suggestion to a batch that can be applied as a single commit.
This suggestion is invalid because no changes were made to the code.
Suggestions cannot be applied while the pull request is closed.
Suggestions cannot be applied while viewing a subset of changes.
Only one suggestion per line can be applied in a batch.
Add this suggestion to a batch that can be applied as a single commit.
Applying suggestions on deleted lines is not supported.
You must change the existing code in this line in order to create a valid suggestion.
Outdated suggestions cannot be applied.
This suggestion has been applied or marked resolved.
Suggestions cannot be applied from pending reviews.
Suggestions cannot be applied on multi-line comments.
Suggestions cannot be applied while the pull request is queued to merge.
Suggestion cannot be applied right now. Please check back later.
Update the parser with ocaml/ocaml#10437
The new tests are not all passing, I'm still figuring out what is accepted by this feature and what is not, not sure if
type g = Foo : 'a 'b . 'a -> 'b -> t
should not be accepted or if I'm missing something.edit: the parser is a copy of the upstream one, so I guess this is not considered a valid input for the compiler either, I've fixed the tests.
No diff with test_branch.sh