gec catcall warnings, how to read them?

-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA1

Hi All,

I'm trying to compile an se project with gec, but get a couple of
catcall warnings. Some are easy to follow, but others leave me quite
in the dark. For example these:

  [CATCALL] class KL_EQUALITY_TESTER [XPLAIN_TYPE] (32,15): type 'XPLAIN_EXTENSION' of actual argument #1 does not conform to type 'XPLAIN_ASSERTION' of formal argument in feature `is_equal' in class 'XPLAIN_ASSERTION'
  [CATCALL] class KL_EQUALITY_TESTER [XPLAIN_TYPE] (32,15): type 'XPLAIN_TYPE' of actual argument #1 does not conform to type 'XPLAIN_ASSERTION' of formal argument in feature `is_equal' in class 'XPLAIN_ASSERTION'
  [CATCALL] class KL_EQUALITY_TESTER [XPLAIN_TYPE] (32,15): type 'XPLAIN_ASSERTION' of actual argument #1 does not conform to type 'XPLAIN_EXTENSION' of formal argument in feature `is_equal' in class 'XPLAIN_EXTENSION'
  [CATCALL] class KL_EQUALITY_TESTER [XPLAIN_TYPE] (32,15): type 'XPLAIN_TYPE' of actual argument #1 does not conform to type 'XPLAIN_EXTENSION' of formal argument in feature `is_equal' in class 'XPLAIN_EXTENSION'


It seems that one line 32 in KL_EQUALITY_TESTER I have a
problem. Great, but not too helpful in this case. Do I have to check
every usages of KL_EQUALITY_TESTER in this project to find where the
problem could occur?

gelint doesn't help.

- -- 
Live long and prosper,

Berend de Boer


PS: This email has been digitally signed if you wonder what the strange
characters are that your email client displays.
PGP public key: http://www.pobox.com/~berend/berend-public-key.txt
-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1.2.3 (GNU/Linux)
Comment: Processed by Mailcrypt 3.5.8 <http://mailcrypt.sourceforge.net/>

iD8DBQFG4KTaIyuuaiRyjTYRAv1DAJ9bNmP3oxlqw0dS+dU5pjcTe6SV3QCfVlxu
mwiZgZfMp/Rh1cgW218Rs4g=
=bqOv
-----END PGP SIGNATURE-----