For the record, I wanted to implement this feature a couple of months ago but then got side-tracked. If somebody wants to pick it up (which would be great), please lemme know.
In the meantime I've created https://ghc.haskell.org/trac/ghc/ticket/10803 and write up the little information I have on this topic already On 2015-08-28 at 09:20:54 +0200, Simon Peyton Jones wrote: > Lennart always says he’s going to work on it, but he’s a busy man and nothing > has actually happened. > > It’s a pretty easy feature to implement I think. > > Simon > > From: ghc-devs [mailto:ghc-devs-boun...@haskell.org] On Behalf Of Sean Leather > Sent: 28 August 2015 06:40 > To: Ben Gamari > Cc: GHC developers > Subject: Re: Planning for the 7.12 release > > On Thu, Aug 27, 2015 at 5:38 PM, Ben Gamari wrote: > These items are a bit less certain but may make it in if the authors > push forward quickly enough, > > > * Support for Type Signature Sections, allowing you to write (:: ty) > as a shorthand for (\x -> x :: ty). > > Once Lennart convinced me of the usefulness of this [1], I've been finding > plenty of places where I wish I had it. Who's working on it? What's the > status? Is there a ticket for it? > > Regards, > Sean > > [1] http://augustss.blogspot.com/2014/04/a-small-haskell-extension.html > _______________________________________________ > ghc-devs mailing list > ghc-devs@haskell.org > http://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-devs -- "Elegance is not optional" -- Richard O'Keefe _______________________________________________ ghc-devs mailing list ghc-devs@haskell.org http://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-devs