27 May
2009
27 May
'09
3:49 p.m.
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.