input type checking with try catch

Posted: eclark 261

June 11 2008

Consider the following simple procedure

>F:=proc(LL::{set(list(integer)), list(list(integer))})
LL;
end proc:

Now execute this little loop

>for B in [{[1,2]},{[1,1/2]}] do
   try
      print(F(B));
catch:
     print(lasterror);
end try:
od:
                                  {[1, 2]}

"invalid input: %1 expects its %-2 argument, %3, to be of type %4, but
received %5"

On the other hand we get a more informative output with the following:

>F({[1,1/2]});

Error, invalid input: F expects its 1st argument, LL, to be of type {set(list(integer)), list(list(integer))}, but received {[1, 1/2]}

What's going on here with the try catch? Any ideas?

Share via:

E-Mail Address:
Password:
Remember Me:	Automatically sign in on future visits

E-Mail Address:
Password:
Remember Me:	Automatically sign in on future visits

Save this setting as your default sorting preference?
Note: You can change your preference any time in your account settings
Don't show this again