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

Bring over unmerged PRs from ghcide #705

Closed
7 tasks done
wz1000 opened this issue Dec 29, 2020 · 6 comments
Closed
7 tasks done

Bring over unmerged PRs from ghcide #705

wz1000 opened this issue Dec 29, 2020 · 6 comments
Labels
component: ghcide old_type: meta Planing and organizing other issues

Comments

@jneira jneira added the old_type: meta Planing and organizing other issues label Dec 29, 2020
@jneira
Copy link
Member

jneira commented Jan 19, 2021

Are all of them pending?
//cc @bubba @georgefst @expipiplus1 @DunetsNM

@expipiplus1
Copy link
Contributor

Happy to ignore 888 for now, it can be worked around with GHC flags anyway.

@georgefst
Copy link
Collaborator

Yes, I actually got half way to reopening haskell/ghcide#897 last night - just need to fix up a test on older GHCs.

@DunetsNM
Copy link
Contributor

let's ignore the haskell/ghcide#861 for now, as I'm blocked by upstream haddock anyway for indefinite time. By the time when it's fixed (if ever) hls sources may drift a lot.

btw, if I can fix and publish the haddock upstream myself I'd be happy to do so, but it seems to lack owners, at least I had no response on the issues reported

@jneira
Copy link
Member

jneira commented Feb 24, 2021

Afaics only haskell/ghcide#889 would need reopened here
//cc @wz1000

@jneira
Copy link
Member

jneira commented Jun 12, 2021

I think we could close thisone, only left haskell/ghcide#889 and we can track it in its own issue

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
component: ghcide old_type: meta Planing and organizing other issues
Projects
None yet
Development

No branches or pull requests

5 participants