Why does SpecConstr run far later than specialisation

2018-03-20 Thread Matthew Pickering
As far as I understand it, the goals of SpecConstr and specialisation are the same. One works for normal value arguments and one works for special type class dictionary arguments. However, looking at the pass order in `SimplCore`, specialisation runs very early before any major simplification but

Re: Why does SpecConstr run far later than specialisation

2018-03-20 Thread Joachim Breitner
Hi, Am Dienstag, den 20.03.2018, 13:23 + schrieb Matthew Pickering: > As far as I understand it, the goals of SpecConstr and specialisation > are the same. One works for > normal value arguments and one works for special type class dictionary > arguments. > > However, looking at the pass orde

RE: Why does SpecConstr run far later than specialisation

2018-03-20 Thread Simon Peyton Jones via ghc-devs
-boun...@haskell.org] On Behalf Of Joachim Breitner Sent: 20 March 2018 13:42 To: ghc-devs@haskell.org Subject: Re: Why does SpecConstr run far later than specialisation Hi, Am Dienstag, den 20.03.2018, 13:23 + schrieb Matthew Pickering: > As far as I understand it, the goals