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
gobo-eiffel-develop@...
https://lists.sourceforge.net/lists/listinfo/gobo-eiffel-develop