
17 Jul
2008
17 Jul
'08
9:04 p.m.
On Thu, Jul 17, 2008 at 9:11 PM, Steven Watanabe <watanabesj@gmail.com> wrote:
AMDG
Robert Jones wrote:
Ah... that 's getting there! And so presumably by extension I can write
& ( & _1 ->* & V :: value_type :: second ) ->* & S :: pred;
or is that a step too far?
I think that you would actually need (untested):
bind(&( & _1 ->* & V :: value_type :: second ) ->* & S :: pred)
It's minefield! I too am away from a compiler - I'll give a few options a whirl when I'm back in the office. Thanks, Rob.