Andreas Abel

@UlfNorell Are we getting this for 2.8.0?

Ok, bumping this.

It seems like `svb` chokes on a use of `sum`: https://github.com/andreasabel/sbv-quarter-circle-puzzle/blob/4a5a629191595e189e7b3df009800f34a9a1e0e0/Main.hs#L117-L118 ```haskell boardVal :: Integer -> Board -> SBV (Integer, Integer) boardVal i = sum . concat . map (map...

Indeed, here is an shrinking to a use of `sum`: ```haskell import Data.SBV type Val = (Integer, Integer) instance Num Val where fromInteger i = (i, 0) negate (x, y)...

This is my final shrinking, to just a use of `+` on tuples: ```haskell import Data.SBV type Val = (Integer, Integer) instance Num Val where fromInteger i = (i, 0)...

Hello Levent, thank you for your quick answer and the explanation. Maybe the `Num (SBV a)` instance is too general? I guess the typical Haskeller trusts in the "if it...

Thanks for further digging into this issue @LeventErkok. > You're an expert in generic programming; You are flattering me. :-) When it comes to Haskell, I unfortunately have zero experience...

> > Severity: DiagnosticSeverity_Error > > Message: > > attempting to use module ‘test-framework-0.8.2.1:Test.Framework.Utilities’ > > (/Users/abel/bin/src/test-framework/core/src/Test/Framework/Utilities.hs) which is not loaded Actually, this error is even appearing if the irrelevant...

> Am I right to assume, this only happens when running `HLS` on the cli? Originally, I noticed problems in VSCode, but I thought running the HLS cli would be...

> Do you mean, you get diagnostics in the editor when you are opening Haskell files that are not part of the cabal/stack project? In this case, I get the...