"Damian Conway" <[EMAIL PROTECTED]> wrote in message news:[EMAIL PROTECTED] > type KeyExtractor ::= Code(Any) returns Any;
> # Modtimewise numerically ascending... > @sorted = sort {-M} @unsorted; One thing I've been trying to figure out reading this: what is the signature of prefix:-M ? i.e. how does it tell the outer block that it (the outer-block) needs a parameter? There seems to be some transitive magic going on here. Could similar magic be used to have infix:<=> require two higher-order variables (e.g. could "sort { <=> } @unsorted" be made to work?) Dave.