Valentin Robert

Incorrect diagnostics in the presence of TemplateHaskell + Safe

1

I recently run into a confusing situation where under VSCode/HLS, I got the following error message: ``` error: • Top-level splices are not permitted without TemplateHaskell • In the untyped...

HLS confuses multiple paths to the same library, in presence of nested cabal project

2

Tested with HLS 2.0.0.0 (has been bugging me for many versions) I have created [a reproducible repository](https://github.com/Ptival/hls-multi-cradle-submodule-bug) for this issue. 1. Clone the repo, either stay in the `main` branch...

Not finding `(&)` from base-4.8.0.0+

1

cf. https://www.haskell.org/hoogle/?hoogle=%28%26%29 does not give: https://hackage.haskell.org/package/base-4.8.0.0/docs/src/Data-Function.html#%26 I'm not sure whether it's a version issue or something deeper... :\

`fsep` is slow even when we don't benefit from it, relax its use?

3

Creating as draft to have a discussion on design. I noticed we pay a huge performance cost on running `fsep`, even though we use an unbounded width layout. I'm intending...

Right now the server runs without a warning!

Your code mentions a variable `global` that I see nowhere defined...

haskell-align-imports barfs on Unicode?

1

It seems `haskell-align-imports` does not work when the qualified name contains Unicode (like Greek characters). Try for yourself: ``` module Test where import qualified Prelude as Π import Data.String as...

:set +c makes all warnings appear twice, breaking some functionality

5

I'm not sure why nobody noticed this, but for me, the `:set +c` has the bad side-effect of producing this: ```

Notations interfere with superclass insertion in binder generalization

2

#### Description of the problem ```coq Class Functor (F : Type -> Type) : Type := { fmap : forall {A B : Type}, (A -> B) -> F A...

Suggestion: make the cabal completion more useful when `--` is present

1

Currently, the cabal completion list cabal options from `cabal ... --list-options` no matter what. However, when trying to complete: ``` cabal run tool -- /path/to/ ``` This is quite annoying...