Andreas Abel
Andreas Abel
An empty "Problems" view displays the text "No problem have been detected in workspace". However, this has often given the wrong signal to me. HLS might still be working to...
Sometimes is is useful to paste parts of the error message into the code, e.g. the lists of cases that are not matched in this example: However, currently the whole...
It seems like `stan` is the only (direct) user of [`microaeson`](https://hackage.haskell.org/package/microaeson). https://github.com/kowainik/stan/blob/78e4ae11a2eba1e338900c00951213087506de7a/stan.cabal#L165 I am not using microaeson so I should/want not maintain it. @tomjaguarpaw Would you be willing to take...
I am encountering `Error: knownhosts: illegal base64 data at input byte 0` when doing a git-bug push or pull. The reason seems to be that my `known_hosts` contains old entries...
I have experienced that tab-completion to generate code will sometimes - add imports that are not actually used in the final version of the tab-completed code (I don't know how...
That suggestion does not look right: > Refine imports to import Agda.Utils.List1 qualified as List2 If I remove the qualified import of List2 the `List2.toList` is no longer in scope....
When I have a not-in-scope identifier, I often get a couple of suggestions in the "Quick Fix" list, but in most cases of the cases I want add this identifier...
I did not see an open issue explaining that HLS does not work together with cabal-3.16 yet, so here it is. See also: - #4660 Maybe it is worth mentioning...
I am seeing this always for my `Parser.hs` generated from `Parser.y` by happy: I think it does not make sense to include the generated files into hlint hinting, as generators...
With GHC 9.14 I am getting these warnings: ``` Building library for generic-lens-2.2.2.0... src/Data/Generics/Product/Fields.hs:12:14: warning: [GHC-53692] [-Wdeprecated-flags] -XTypeInType is deprecated: use -XDataKinds and -XPolyKinds instead | 12 | {-# LANGUAGE...