15 Jul
2012
15 Jul
'12
7:05 p.m.
On Sun, Jul 15, 2012 at 6:30 PM, Ross Paterson
Silly me -- that code works with the current GHC (module attached).
Aha! Now I see why the GHC documentation states “the arrows involved need not be the same” in the section about banana brackets. After all, I was wrong in thinking that banana brackets could not be used here. As you remarked, the extraction of variable i in your code is a little bit involved, but it still looks much better than listing the local variables used in the inner computation, especially when both the outer computation and the inner computation involve many local variables. Thanks a lot. Best regards, Tsuyoshi