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-bounces@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