Re: Tool for minimizing examples

2016-10-26 Thread Ben Gamari
Eric Crockett writes: > Are there any tools out there that can do any portion of this process for > me? This is a good question. Unfortunately I don't know of any; I do my minimizations by hand. > Perhaps it is possible to output contents after the compiler does a DCE >

RE: Tool for minimizing examples

2016-10-26 Thread Simon Peyton Jones via ghc-devs
Great question. And just to add: I _really_ appreciate the fact that you make small examples. Thank you. Simon From: ghc-devs [mailto:ghc-devs-boun...@haskell.org] On Behalf Of Eric Crockett Sent: 26 October 2016 05:27 To: ghc-devs <ghc-devs@haskell.org> Subject: Tool for minimizing ex

Re: Tool for minimizing examples

2016-10-26 Thread Edward Z. Yang
I asked about this on Twitter a while back and John Regehr suggested that we give C-reduce a try. I have not yet but if you try it out I'm quite curious to see what happens. Edward Excerpts from Eric Crockett's message of 2016-10-26

Tool for minimizing examples

2016-10-25 Thread Eric Crockett
Devs: as I'm sure you know, the hardest part of reporting a GHC bug is finding a minimal example that triggers the bug. When I initially trigger a bug in my large code base, my workflow is something like: 1. write a driver that triggers the bug 2. do manual dead code elimination by removing