Planning for the 7.12 release

Herbert Valerio Riedel hvriedel at
Fri Aug 28 10:48:39 UTC 2015

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

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 at] 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]
> _______________________________________________
> ghc-devs mailing list
> ghc-devs at

"Elegance is not optional" -- Richard O'Keefe

More information about the ghc-devs mailing list