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: How to best display type variables with the same name

2016-10-26 Thread Simon Peyton Jones via ghc-devs
Chris As far as I understand it: · You are plucking a type from the midst of a syntax tree, and displaying it. · That type might well mention type variables that are bound “further out” o either by a forall (if this is a sub-tree of a type) o or by a big lambda ·

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 Subject: Tool for minimizing examples

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