<div dir="ltr">Hi Alberto. Thanks for the very detailed report!<div><br></div><div><div>> - A weird kind error when using ConstraintKinds in a propietary package</div><div>> which didn't manifest itself with ghc < 8.2:</div><div>> </div><div>> ...</div><div>> </div><div>> Is this expected behaviour?</div><div>> Should I try to isolate and open a ticket?</div><div><br></div><div>This looks like a proper bug to me. Can you minimize the example a submit a bug report at <a href="https://ghc.haskell.org/trac/ghc/newticket">https://ghc.haskell.org/trac/ghc/newticket</a> for this? Thanks!</div><div><br></div><div>> - I had to disable the tests for two packages since they seem to "hang"</div><div>>  (ie: they never finish running and don't seem to consume any CPU time).</div><div>> These packages are lens-4.15.1 and fingertree-0.1.1.0. Maybe it's a Nix</div><div>> environmental issue, I'm not sure. Can anyone reproduce this?</div><div><br></div><div>The fact that the lens tests run forever sounds unusual to me, as the lens repo has been running regression tests with GHC 8.2 for a while with no observed slowdowns. I'll double-check soon just to be sure, though.</div><div><br></div><div>However, I can confirm that the fingertree tests appear to loop forever at runtime with GHC 8.2 (as opposed to GHC 8.0, where they finish in about 7.5 seconds). This is certainly not a good thing, so I'll try to investigate this more. Thanks for noticing this.</div><div><br></div><div>> - I can't manage to install several packages which include executables</div><div>> (namely, update-nix-fetchgit and snap-server, for the moment) because Cabal</div><div>> says that it cannot find the source for the main module of the executables:</div><div>> </div><div>> "Setup: can't find source for Main in ."</div><div>> </div><div>> It seems that the "hs-source-dir" directive in the .cabal file is not being</div><div>> honored. Maybe a Nix-only issue? Can anyone reproduce this? Any ideas on</div><div>> how can I fix it?</div><div><br></div><div>I can't reproduce this issue, at least with update-nix-fetchgit-0.1.0.0 (by using `cabal install` to install it). Can you give more detailed instructions on how to trigger this error?</div></div><div><br></div><div>Ryan S.</div></div>