any in jed undefined?

[Jörg Sommer <joerg@xxxxxxxxxxxx>]

Hi,

why is any() in jed undefined?

% jed -batch -f 'any([0,1])'
any is undefined
***string***:2:<top-level>:Undefined Name
Traceback: called from eval: any([0,1])
Traceback: eval
/usr/share/jed/lib/site.sl:3140:command_line_hook:Undefined Name
  Local variables for command_line_hook:
        Integer_Type n = 1
        Integer_Type i = 3
        String_Type file = "-f"
        Integer_Type depth = 0
        String_Type next_file = "any([0,1])"
        Undefined_Type tmp = Undefined_Type
        String_Type init_file = "/home/joerg/.jed/jed.rc"
        String_Type next_file_arg = "any([0,1])"
Error encountered while executing command_line_hook

slsh> any([0,1]);
1

Bye, Jörg.
-- 
Macht besitzen und nicht ausüben ist wahre Größe.
                                                   (Friedl Beutelrock)

--------------------------
To unsubscribe send email to <jed-users-request@xxxxxxxxxxx> with
the word "unsubscribe" in the message body.
Need help? Email <jed-users-owner@xxxxxxxxxxx>.