Skip to content
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

Hover content has different behavior between ghc-8.10.7 and ghc-9.2.2 #2863

Closed
July541 opened this issue Apr 27, 2022 · 0 comments · Fixed by #2911
Closed

Hover content has different behavior between ghc-8.10.7 and ghc-9.2.2 #2863

July541 opened this issue Apr 27, 2022 · 0 comments · Fixed by #2911
Assignees
Labels
status: needs triage type: bug Something isn't right: doesn't work as intended, documentation is missing/outdated, etc..

Comments

@July541
Copy link
Collaborator

July541 commented Apr 27, 2022

On ghc-8.10.7
image

On ghc-9.2.2
image

Obviously, a newline is missing, I believe it was involved by #2848

@July541 July541 added status: needs triage type: bug Something isn't right: doesn't work as intended, documentation is missing/outdated, etc.. labels Apr 27, 2022
@July541 July541 self-assigned this May 16, 2022
@mergify mergify bot closed this as completed in #2911 May 24, 2022
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
status: needs triage type: bug Something isn't right: doesn't work as intended, documentation is missing/outdated, etc..
Projects
None yet
Development

Successfully merging a pull request may close this issue.

1 participant