soulomoon

run in to the same problem ``` • Overlapping instances for Monad Rules arising from a do statement Matching instances: instance Monad Rules -- Defined at /Users/ares/src/haskell-language-server/hls-graph/src/Development/IDE/Graph/Internal/Types.hs:63:23 instance Monad Rules...

Is this one also related? #3237 #3738

In summary. The current approach pros: 1 easy to implement 2 can kick all dependencies concurrently. Cons: 1 wrong semantic. 2 also performance penalty of running unnecessary rules which might...

I am doing a proof of concept draft in https://github.com/haskell/haskell-language-server/pull/4087#issue-2145336043 Branching the deps with meta in the rule as the way alwaysrun do, to see if performance is working ok.

I have another one which is off by a line? ``` instance Hashable KeyValue -- Defined at /Users/ares/src/haskell-language-server/hls-graph/src/Development/IDE/Graph/Internal/Types.hs:145:10 instance Hashable KeyValue -- Defined at /Users/ares/src/haskell-language-server/hls-graph/src/Development/IDE/Graph/Internal/Types.hs:146:10typecheck ``` also related to #3738?

The problem does goes away, swtiching to cabal head, with cabal's multiple home unites feature enabled

> Just getting rid of most of these would be a benefit. Depending on which files I'm editing I can get hundreds of them, and real error messages are just...

Same here, it is making hard to run the pipeline in HLS with LSP package changed

Blocking https://github.com/haskell/haskell-language-server/issues/4196

What is the state of it. 🤔 It is safe to enable the log now?