<div dir="ltr">Simon,<div><br></div><div>the commits you pushed today don't validate with -DDEBUG. </div><div><span style="color:rgb(0,0,0);white-space:pre-wrap"><br></span></div><div><span style="color:rgb(0,0,0);white-space:pre-wrap">Unexpected failures:</span><br></div><div><pre style="color:rgb(0,0,0);word-wrap:break-word;white-space:pre-wrap">   patsyn/should_compile  MoreEx [exit code non-0] (normal)
   patsyn/should_compile  T11224b [exit code non-0] (normal)
   polykinds              MonoidsTF [exit code non-0] (normal)
   polykinds              T11480b [exit code non-0] (normal)
   polykinds              T11523 [exit code non-0] (normal)
   typecheck/should_fail  TcCoercibleFail [stderr mismatch] (normal)
</pre><pre style="color:rgb(0,0,0);word-wrap:break-word;white-space:pre-wrap"><br></pre><pre style="color:rgb(0,0,0);word-wrap:break-word;white-space:pre-wrap"><pre style="word-wrap:break-word;white-space:pre-wrap">TcCoercibleFail timed out, and the others all hit the following debug assert:</pre></pre></div><div><br></div><div><br></div><div><div>=====> T11224b(normal) 2510 of 5029 [0, 0, 0] </div><div>Compile failed (status 256) errors were:</div><div>ghc-stage2: panic! (the 'impossible' happened)</div><div>  (GHC version 8.1.20160218 for x86_64-unknown-linux):</div><div><span class="" style="white-space:pre">  </span>ASSERT failed!</div><div>  CallStack (from HasCallStack):</div><div>  assertPprPanic, called at compiler/types/TyCoRep.hs:1932:56 in ghc:TyCoRep</div><div>  checkValidSubst, called at compiler/types/TyCoRep.hs:1991:17 in ghc:TyCoRep</div><div>  substTys, called at compiler/types/TyCoRep.hs:2012:14 in ghc:TyCoRep</div><div>  substTheta, called at compiler/typecheck/TcPatSyn.hs:255:20 in ghc:TcPatSyn</div><div>  in_scope InScope {d_ap0 c_apv}</div><div>  tenv [ap1 :-> c_apv[tau:5]]</div><div>  tenvFVs [aps :-> t_aps[tau:1], apv :-> c_apv[tau:5]]</div><div>  cenv []</div><div>  cenvFVs []</div><div>  tys []</div><div>  cos []</div></div><div><br></div><div><br></div><div>Complete log from Travis: <a href="https://s3.amazonaws.com/archive.travis-ci.org/jobs/110115377/log.txt">https://s3.amazonaws.com/archive.travis-ci.org/jobs/110115377/log.txt</a></div><div><br></div><div>-- Thomas</div></div>