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

Reply via email to