Re: Specialization plugin

2016-10-31 Thread Matthew Pickering
org] On Behalf Of Ryan > Trinkle > Sent: 28 October 2016 00:06 > To: ghc-devs@haskell.org > Subject: Specialization plugin > > > > Hi everyone, > > > > I'm trying my hand at writing a GHC plugin to generate specializations for > all uses of a particular typeclass,

Re: Specialization plugin

2016-10-30 Thread Ryan Trinkle
My understanding was that they ought to be the same. However, that didn't seem to be the case. In my small example, where the plugin did work, -fexpose-all-unfoldings did not. On Sun, Oct 30, 2016 at 8:23 AM, Christiaan Baaij < christiaan.ba...@gmail.com> wrote: > One small question: what's

Re: Specialization plugin

2016-10-30 Thread Christiaan Baaij
One small question: what's the difference between adding INLINABLE everywhere, and just compiling with -fexpose-all-unfoldings, https://downloads.haskell.org/~ghc/latest/docs/html/users_guide/using-optimisation.html#ghc-flag--fexpose-all-unfoldings? Is there any reason you couldn't use that flag

Re: Specialization plugin

2016-10-29 Thread Ryan Trinkle
NLINABLE first. After all if there’s a > bug there, fixing it will benefit everyone. > > > > SImon > > > > *From:* ghc-devs [mailto:ghc-devs-boun...@haskell.org] *On Behalf Of *Ryan > Trinkle > *Sent:* 28 October 2016 00:06 > *To:* ghc-devs@haskell.org > *Subject:* Sp

RE: Specialization plugin

2016-10-28 Thread Simon Peyton Jones via ghc-devs
2016 00:06 To: ghc-devs@haskell.org Subject: Specialization plugin Hi everyone, I'm trying my hand at writing a GHC plugin to generate specializations for all uses of a particular typeclass, and I've run into some trouble. I'd appreciate it if someone could point me in the right direction! I'm

Specialization plugin

2016-10-27 Thread Ryan Trinkle
Hi everyone, I'm trying my hand at writing a GHC plugin to generate specializations for all uses of a particular typeclass, and I've run into some trouble. I'd appreciate it if someone could point me in the right direction! I'm new to GHC development, so I may just be overlooking some simple