Inspection Testing by Joachim Breitner may be of interest: https://arxiv.org/abs/1803.07130
> On Oct 25, 2019, at 5:34 PM, Alexis King <lexi.lam...@gmail.com> wrote: > >> On Oct 25, 2019, at 04:07, Simon Peyton Jones <simo...@microsoft.com> wrote: >> >> | I’ve noticed that Specialise.hs has handful of pprTrace calls sprinkled >> | about, but they are all commented out. Is the recommended method to just >> | uncomment these calls and rebuild GHC? >> >> That's what I do. > > Thanks, I did indeed end up doing this, and it was enough to diagnose my > problem. > >> But it would be better to stand back a bit and ask "what information would I >> really like to see?" and then design some logging mechanism to show it. I'd >> be happy to advise. > > It would be nice to have a -dspecialise-check in the same vein as the > existing -dinline-check/-drule-check flags, which seems probably not too hard > to add. I unfortunately can’t dedicate the time to add it myself right now, > as I’ve solved my immediate problem and probably already sunk more time into > this than I ought to, but if it comes up again and I can spare the time I > might give it a shot. > > _______________________________________________ > ghc-devs mailing list > ghc-devs@haskell.org > http://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-devs _______________________________________________ ghc-devs mailing list ghc-devs@haskell.org http://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-devs