<div dir="ltr">Hi Ryan,<div><br></div><div>I hope to be able to reproduce the ConstraintKinds bug in a minimal example later today. I believe that the cabal bug might be something to do with my nix setup so will investigate more to see how nix installs Haskell packages under the hood. Will follow-up as soon as I can.</div><div><br></div><div>Thanks!</div><div><br></div><div>Alberto<br><div class="gmail_extra"><br><div class="gmail_quote">On Fri, May 19, 2017 at 7:39 PM, Ryan Scott <span dir="ltr"><<a href="mailto:ryan.gl.scott@gmail.com" target="_blank">ryan.gl.scott@gmail.com</a>></span> wrote:<br><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex"><div dir="ltr">A follow-up:<div><br></div><div>* The fact that the fingertree test suite doesn't terminate is an occurrence of a known bug, GHC Trac #13429 [1].</div><div>* I just ran the lens test suite with GHC 8.2, and it terminated [2]. It does take a while, though, sound it's understandable that one would think it loops forever if you don't have the patience to let it finish :)</div><div><br></div><div>Again, I'm not able to reproduce the ConstraintKinds or Cabal regressions you reported, so it would be tremendously helpful if you could submit bug reports explaining how to trigger those issues. Thanks!</div><div><br></div><div>Ryan S.</div><div>-----</div><div>[1] <a href="https://ghc.haskell.org/trac/ghc/ticket/13429#comment:16" target="_blank">https://ghc.haskell.org/<wbr>trac/ghc/ticket/13429#comment:<wbr>16</a></div><div>[2] <a href="https://travis-ci.org/ekmett/lens/jobs/231611970" target="_blank">https://travis-ci.org/<wbr>ekmett/lens/jobs/231611970</a></div></div><div class="HOEnZb"><div class="h5"><div class="gmail_extra"><br><div class="gmail_quote">On Fri, May 19, 2017 at 9:16 AM, Ryan Scott <span dir="ltr"><<a href="mailto:ryan.gl.scott@gmail.com" target="_blank">ryan.gl.scott@gmail.com</a>></span> wrote:<br><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex"><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" target="_blank">https://ghc.haskell.org/trac/g<wbr>hc/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>
</blockquote></div><br></div>
</div></div><br>______________________________<wbr>_________________<br>
ghc-devs mailing list<br>
<a href="mailto:ghc-devs@haskell.org">ghc-devs@haskell.org</a><br>
<a href="http://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-devs" rel="noreferrer" target="_blank">http://mail.haskell.org/cgi-<wbr>bin/mailman/listinfo/ghc-devs</a><br>
<br></blockquote></div><br></div></div></div>