Skip to content

Wingman agda-split transforms infix into prefix #1610

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.

Sign up for GitHub

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

Jump to bottom
Closed
isovector opened this issue Mar 23, 2021 · 2 comments · Fixed by #1697
Closed

Wingman agda-split transforms infix into prefix #1610

isovector opened this issue Mar 23, 2021 · 2 comments · Fixed by #1697
Labels
component: wingman status: blocked Not actionable, because blocked by upstream/GHC etc. type: enhancement New feature or request

Comments

@isovector
Copy link
Collaborator

Trying to split ma >>= f = _ results in matches of the form (>>=) Foo f = _
@isovector
Copy link
Collaborator Author

Related to: google/ghc-source-gen#78, but easy enough to work around

@isovector
Copy link
Collaborator Author

Surprisingly hard to work around, so implemented upstream. google/ghc-source-gen#79

@Ailrun Ailrun added the status: blocked Not actionable, because blocked by upstream/GHC etc. label Apr 9, 2021
@isovector isovector mentioned this issue Apr 9, 2021
Merged
@mergify mergify bot closed this as completed in #1697 Jul 14, 2021
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees
No one assigned
Labels
component: wingman status: blocked Not actionable, because blocked by upstream/GHC etc. type: enhancement New feature or request
Projects
None yet
Milestone
No milestone
Development

Successfully merging a pull request may close this issue.

Wingman: maintain user-defined fixity for definitions isovector/haskell-language-server
2 participants
@isovector @Ailrun