RE: Typechecker tests failures

2014-12-12 Thread Simon Peyton Jones
! Simon | -Original Message- | From: Yuras Shumovich [mailto:shumovi...@gmail.com] | Sent: 08 December 2014 05:48 | To: Simon Peyton Jones | Cc: ghc-devs@haskell.org Devs | Subject: Re: Typechecker tests failures | | | Simon, | | I tracked T7891 and tc124 failure down to

Re: Typechecker tests failures

2014-12-07 Thread Yuras Shumovich
Simon, I tracked T7891 and tc124 failure down to simplifier, namely `simplExprF1` for `Case`. Core lint catches the bug (requires -O1 at least), but without -dcore-lint compiler hangs in busy loop. I made it work with simple patch: > diff --git a/compiler/simplCore/Simplify.hs b/compiler/simplCo