Re: Specializing functions with implicit parameters

2020-03-14 Thread Alexis King
> On Mar 14, 2020, at 20:03, Sandy Maguire wrote: > > What GHC are you testing against? I suspect > https://gitlab.haskell.org/ghc/ghc/merge_requests/668 > will fix this. I’ve tested against HEAD. I think the change you link is helpful,

Re: Specializing functions with implicit parameters

2020-03-14 Thread Sandy Maguire
What GHC are you testing against? I suspect https://gitlab.haskell.org/ghc/ghc/merge_requests/668 will fix this. On Sat, Mar 14, 2020 at 4:20 PM Alexis King wrote: > Hi all, > > I discovered today that GHC never specializes functions with implicit > parameters. This is not that surprising—I

Specializing functions with implicit parameters

2020-03-14 Thread Alexis King
Hi all, I discovered today that GHC never specializes functions with implicit parameters. This is not that surprising—I wouldn’t expect GHC to specialize the implicit parameters themselves—but it’s unfortunate because it means a single implicit parameter somewhere can transitively destroy