Skip to content

Conversation

bishabosha
Copy link
Member

@bishabosha bishabosha commented Oct 21, 2024

[skip-ci]

@KacperFKorban
Copy link
Member

Overall makes sense.

There is another issue though regarding the examples in the docs. My current implementation doesn't lift the restriction of requiring at least one term parameter list in a poly function type. And so the alias example is rejected in parser right now. When discussing it last time, we decided to leave it as a future improvement for now. This isn't relevant to changing the target version for this change, but just wanted to mention it somewhere.

@WojciechMazur
Copy link
Contributor

Seems to be no longer applicable: #21643 (comment)

@bishabosha
Copy link
Member Author

this is no longer true

@bishabosha bishabosha closed this Nov 26, 2024
@WojciechMazur WojciechMazur deleted the bishabosha-patch-1 branch December 12, 2024 13:14
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

4 participants