Sandy Maguire
Sandy Maguire
If it's not a bug, it's certainly surprising. Other layout-based languages I know cause `{` to open a new layout, and then begin indenting relative to that (rather than relative...
Also in xmonad
@Ev1lbl0w It's ridiculous to claim that all of `i3`, `dwm`, `awesome` *and* `xmonad` *all* have the same bug here.
Thanks @jaspervdj . This was exactly what I had in mind by "unofficial" support. Cheers! See you in a few days!
I'm happy to help someone on getting this up and running! I don't have too much time to put towards it right now, but happy to answer questions / do...
The static plugin stuff is necessary for `case..of` completion (but not function body splitting) and for inline metaprograms (which AFAIK nobody uses). In the former, we want to enable `-XAllowEmptyCase`,...
@santiweight and I jumped on a call, and decided the play here is to fork wingman into a separate plugin for 9.2, where it supports only a minimal surface area...
I've done an initial pass at making a new plugin and ripping out the complexity of wingman: https://github.com/haskell/haskell-language-server/compare/wingman-to-new-plugin?expand=1 There's one call to bottom in it still, but the test suite...
A good next action if someone wanted to pick it up would be to run `weeder` on the resulting plugin and see if I left any dead code around. We...
The failing tests in the new branch are: - DestructAllGADTEvidence - DestructTyToDataFam - DestructDataFam - DestructTyFam - SubsequentTactics The first four are pretty reasonable; GADT splitting got dumber as a...