Conformance error reporting

Hi all,

I had an error message from SE about rejected conformance:

****** Fatal Error: Cannot pass `sorter' which is of type 
SB_H_ARRAY_SORTER[SB_FILE_LIST_ITEM]
into formal type SB_SORTER[SB_FILE_LIST_ITEM].
Line 35 column 25 in SB_SORTABLE_ITEM_CONTAINER 
(/data/eiffel/lib/gui/sb/no-BIT/widgets_mods/sb_sortable_item_container.e):
   set_items_sorter(sort: like items_sorter) is
                          ^
Line 101 column 21 in SB_FILE_LIST_DEF 
(/data/eiffel/lib/gui/sb/no-BIT/widgets_mods/sb_file_list_def.e):
         set_items_sorter(sorter)                       -- ???
                          ^

I have found the problem. The class SB_H_ARRAY_SORTER was an expanded class, 
and I hadn't noticed! (I didn't write it).

It would be helpful if the error report mentioned that the the reason was 
related to the expanded status of one or other of the types.
 
-- 
Howard Thomson

--
"Only two things are infinite, the universe and human stupidity,
and I'm not sure about the former." -- Albert Einstein