Re: Shake fails test with GHC 7.10 RC3

2015-03-21 Thread Neil Mitchell
I've created a ticket at: https://ghc.haskell.org/trac/ghc/ticket/10176 Now I know what I'm looking for, I'll aim to track down a minimal example over nap time (about 5 hours from now). Thanks, Neil On Sat, Mar 21, 2015 at 8:10 AM, Neil Mitchell ndmitch...@gmail.com wrote: A simple test case

Re: Shake fails test with GHC 7.10 RC3

2015-03-21 Thread Herbert Valerio Riedel
On 2015-03-21 at 08:21:20 +0100, Herbert Valerio Riedel wrote: On 2015-03-21 at 07:56:32 +0100, Neil Mitchell wrote: [...] 3) I tested with GHC RC1 and GHC RC2, both of which were fine. The fact no one else hit this with RC2 might just be because its a very recent regression. We -- and by

Re: Shake fails test with GHC 7.10 RC3

2015-03-21 Thread Iavor Diatchki
This is very odd---the example on the ticket does not use `Typeable` at all. I looked through the diffs of the patch and I can't see anything obviously wrong. Also, the `Typeable` code only touches modules that are in the front-end, and when I compile without optimizations, the example looks

Re: Shake fails test with GHC 7.10 RC3

2015-03-21 Thread Austin Seipp
Yes, this was what I was afraid of; an introduced regression in the RC 2-to-3 period, which IMO makes the bug a bit more serious. Also, this bug in particular looks like it manifests in a fairly nasty way, and having it catch people for the final release seems a bit worrisome. I also just

RE: Shake fails test with GHC 7.10 RC3

2015-03-20 Thread Simon Peyton Jones
2015 22:48 | To: Herbert Valerio Riedel | Cc: Simon Peyton Jones; Austin Seipp | Subject: Re: Shake fails test with GHC 7.10 RC3 | | FWIW, I've been noodling over this today since I saw this email, and | sitting down, I think this may be a blocker worth holding up for after | thinking about

Re: Shake fails test with GHC 7.10 RC3

2015-03-20 Thread Carter Schonwald
: Shake fails test with GHC 7.10 RC3 | | Hi, | | Testing GHC 7.10 RC3 I've found a bug where Shake seems to catch the | wrong exception in the wrong place. It's only hit by one of my tests, | and I've managed to isolate it to a fragment of code with no | unsafePerformIO

Re: Shake fails test with GHC 7.10 RC3

2015-03-20 Thread Neil Mitchell
| -Original Message- | From: ghc-devs [mailto:ghc-devs-boun...@haskell.org] On Behalf Of Neil | Mitchell | Sent: 18 March 2015 15:33 | To: ghc-devs@haskell.org | Subject: Shake fails test with GHC 7.10 RC3 | | Hi, | | Testing GHC 7.10 RC3 I've found a bug where Shake seems

Re: Shake fails test with GHC 7.10 RC3

2015-03-19 Thread Neil Mitchell
| To: ghc-devs@haskell.org | Subject: Shake fails test with GHC 7.10 RC3 | | Hi, | | Testing GHC 7.10 RC3 I've found a bug where Shake seems to catch the | wrong exception in the wrong place. It's only hit by one of my tests, | and I've managed to isolate it to a fragment of code

RE: Shake fails test with GHC 7.10 RC3

2015-03-19 Thread Simon Peyton Jones
: Re: Shake fails test with GHC 7.10 RC3 | | Herbert, thanks for the list of patches, nothing obvious there - my | best guess is it's something incredibly sensitive and it only needs | the tiniest change anywhere to make it happen. Things like moving | NOINLINE monomorphic-type definitions from one

Re: Shake fails test with GHC 7.10 RC3

2015-03-18 Thread Herbert Valerio Riedel
On 2015-03-18 at 16:33:00 +0100, Neil Mitchell wrote: [...] I was wondering if there have been any state hack related changes or other potentially dangerous optimisation changes since RC2? I'll continue to try reducing the bug, but it's somewhat difficult as the larger system is quite big,

RE: Shake fails test with GHC 7.10 RC3

2015-03-18 Thread Simon Peyton Jones
more pin-point and hence the differences will be smaller. Simon | -Original Message- | From: ghc-devs [mailto:ghc-devs-boun...@haskell.org] On Behalf Of Neil | Mitchell | Sent: 18 March 2015 15:33 | To: ghc-devs@haskell.org | Subject: Shake fails test with GHC 7.10 RC3 | | Hi