[gobo-eiffel-develop] Catcall in gec

[Wolfgang J. <wj...@so...>]

Hi,

when experimenting with classes of the GEC it happens
that compilation fails because of a catcall.
To be precise, let `f' be a ET_DYNAMIC_FEATURE
then adding the line

   if f.static_feature.name.name.is_equal("abc") then ... end

leads to compiler message

[CATCALL] class ET_C_GENERATOR (17182,4): type 'STRING_8' of actual
argument #1 does not conform to type 'UC_UTF8_STRING' of formal argument 
in feature `is_equal' in class 'UC_UTF8_STRING'

A similar catcall occurs if a DS_HASH_TABLE[INTEGER,STRING]
object is created (a call at the object is not needed).

WJ

PS:
Compile command:
   gec --nocc gec.ace

-- 
Wolfgang Jansen
University of Potsdam, Germany
mailto: wj...@so...