RE: Specializing functions with implicit parameters

? Make a ticket! Happy to help if you or Sandy need anything from me. Simon From: ghc-devs On Behalf Of Alexis King Sent: 15 March 2020 02:47 To: Sandy Maguire Cc: ghc-devs Subject: Re: Specializing functions with implicit parameters On Mar 14, 2020, at 20:03, Sandy Maguire mailto:sa

Re: Specializing functions with implicit parameters

Hey Alexis, ive been kicking around some ideas for a specializing lambda former for various uses i've wanted to make tractable, I assume you dont care about polymorphic recursion in the cases you want to specialize? (some of the stuff i want to be able to express requires a sort of type/value binde

Re: Specializing functions with implicit parameters

> 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, b

Re: Specializing functions with implicit parameters

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 woul