I guess I replied to the subject of your post rather than the detail :). Sorry for the noise.
On Fri, Aug 15, 2014 at 4:37 PM, Rafael Fourquet <[email protected]> wrote: > > Hi Rafael, I recently posted an example of using function types, see: > > Thanks Adrian, but I couldn't see how it helps to make a > function specialize on its (higher-order) function parameter (and > possibly inline it). > >
