Chris Saunders wrote:
> list: EV_LIST
> list_strings: ARRAY [STRING_32] ...
>
> list.set_strings (list_strings)
>
> The application stop with the error "Catcall detected for argument#1
> `test': expected type#2280 FUNCTION [ANY, TUPLE [G#1], BOOLEAN] but got
> type#2278". In the larger project I was working on I got a similar error
> under similar circumstances. It does not seem to me that `
> list.set_strings
> (list_strings)' should be the source of a catcall. Am I missing something
> or should I make a bug report?
You're using EiffelStudio 6.2, right Chris?
I submitted bug report #14127 for a similar bug six weeks ago, with
EiffelStudio 6.2.7.2639. In my case, it's in a call to
EV_COMBO_BOX.set_strings, which has a precondition that calls
arrayed_list.for_all. The latter expects a function with a STRING_8
argument, but instead set_strings is passing a function with a
STRING_GENERAL argument.
Jocelyn mentioned to me that the most recent release has an option to
disable the runtime catcall checking under the Execution menu - Exceptions.
I haven't tried it yet.
This problem seems to arise from a combination of a few things:
1. They are trying to tighten up the catcall checking (which is undeniably a
good thing).
2. STRING was split into three classes back in EiffelStudio 5.7 (done for
the worthy cause of internationalisation, but I think everyone will be glad
when there is just one STRING class again).
3. The topsy-turvy conformance rules for agents may be contributing (and
even if they're not, they are sure helping to confuse me).
4. There's probably a bug in EV_COMBO_BOX.set_strings (but I'm not even sure
of that).
As it's been a month since the last 6.2 intermediate release, they've
probably resolved this by now ... fingers crossed :-)
- Peter Gummer
------------------------------------
Yahoo! Groups Links
<*> To visit your group on the web, go to:
http://groups.yahoo.com/group/eiffel_software/<*> Your email settings:
Individual Email | Traditional
<*> To change settings online go to:
http://groups.yahoo.com/group/eiffel_software/join (Yahoo! ID required)
<*> To change settings via email:
mailto:
eiffel_software-digest@...
mailto:
eiffel_software-fullfeatured@...
<*> To unsubscribe from this group, send an email to:
eiffel_software-unsubscribe@...
<*> Your use of Yahoo! Groups is subject to:
http://docs.yahoo.com/info/terms/