Question about catcalls

In my opinion the code in catcall_problem.e contains no catcall. The 
following lines show the output of gec. I understand the problem of gec, 
but it will never happen. Is that a catcall according to the ECMA 
specification?

[CATCALL] class CATCALL_PROBLEM (32,7): type 'DS_HASH_TABLE_CURSOR 
[INTEGER, INTEGER]' of actual argument #1 does not conform to type 
'DS_ARRAYED_LIST_CURSOR [INTEGER]' of formal argument in feature 
`same_position' in class 'DS_ARRAYED_LIST_CURSOR [INTEGER]'

[CATCALL] class CATCALL_PROBLEM (32,7): type 'DS_ARRAYED_LIST_CURSOR 
[INTEGER]' of actual argument #1 does not conform to type 
'DS_HASH_TABLE_CURSOR [INTEGER, INTEGER]' of formal argument in feature 
`same_position' in class 'DS_HASH_TABLE_CURSOR [INTEGER, INTEGER]'

[CATCALL] class CATCALL_PROBLEM (37,4): type 'DS_HASH_TABLE_CURSOR 
[INTEGER, INTEGER]' of actual argument #1 does not conform to type 
'DS_ARRAYED_LIST_CURSOR [INTEGER]' of formal argument in feature `go_to' 
in class 'DS_ARRAYED_LIST_CURSOR [INTEGER]'

[CATCALL] class CATCALL_PROBLEM (37,4): type 'DS_ARRAYED_LIST_CURSOR 
[INTEGER]' of actual argument #1 does not conform to type 
'DS_HASH_TABLE_CURSOR [INTEGER, INTEGER]' of formal argument in feature 
`go_to' in class 'DS_HASH_TABLE_CURSOR [INTEGER, INTEGER]'

-------------------------------------------------------------------------
This SF.net email is sponsored by: Microsoft 
Defy all challenges. Microsoft(R) Visual Studio 2008. 
http://clk.atdmt.com/MRT/go/vse0120000070mrt/direct/01/

_______________________________________________
gobo-eiffel-develop mailing list
[email protected]
https://lists.sourceforge.net/lists/listinfo/gobo-eiffel-develop