15 Mar
2014
15 Mar
'14
2:08 p.m.
Thanks Adam, It indeed does work with a lambda, should've thought about it. So, it seems splices in patterns are new in 7.8 (hadn't seen it in the notes). Gruss, Christian * adam vogt <vogt.adam@gmail.com> [15.03.2014 05:12]:
Hello Christian,
It seems new to me that $( ) is allowed in patterns. I would have used lamE in something like:
[| $(varE v) >>= return . SM.concatMapM $(lamE [varP v] (buildRns f (xs++[w]) ys))) |]
Regards, Adam