[Haskell-cafe] Template Haskell very wordy w/r/t Decs and Types

Miguel Mitrofanov miguelimo38 at yandex.ru
Wed May 27 15:49:48 EDT 2009

On 27 May 2009, at 23:38, Simon Peyton-Jones wrote:

> Folks
> Quite a few people have asked for splices in Template Haskell  
> *types*, and I have finally gotten around to implementing them.  So  
> now you can write things like
>        instance Binary $(blah blah) where ...
> or      f :: $(wubble bubble) -> Int

Great! Just what I was looking for a couple of days ago.

> PS: Note that you (still) cannot write a splice in a *binding*  
> position.

I think, I can live without it.

More information about the Haskell-Cafe mailing list