And here I mis-read < as <=. Perhaps I should stop "fixing", as I'm making too many errors here...
On 5/10/06, Markus Laire <[EMAIL PROTECTED]> wrote:
> > filter (list [<] @array) @array ==> > > first monotonically increasing run in @array > > > This seems false. @array = (1 2 2 1 2 3), if I understand you correctly, > yields (1 2 2 3). No, it yields (1, 2, 2)
Correction: (1, 2)
list [<] @array ==> list [<] (1, 2, 2, 1, 2, 3) ==> 1, 1 < 2, 1 < 2 < 2, 1 < 2 < 2 < 1, 1 < 2 < 2 < 1 < 2, 1 < 2 < 2 < 1 < 2 < 3, ==> Bool::True, Bool::True, Bool::True, Bool::False, Bool::False, Bool::False
Correction: Bool::True, Bool::True, Bool::False, Bool::False, Bool::False, Bool::False
And so filter (list [<] @array) @array would give first 3 elements of @array, i.e. (1, 2, 2)
Correction: First 2 elements, i.e. (1, 2) -- Markus Laire