Bug in short

Hi list,

teg <at> burken:~$ /usr/lib/smarteiffel2/bin/short -version
Version of command "short" is:
SmartEiffel The GNU Eiffel Compiler, Eiffel tools and libraries
Release 2.3 (Thursday July 11th 2007) [Antoine-Auguste Parmentier]
Copyright (C), 1994-2002 - INRIA - LORIA - ESIAL UHP Nancy 1 - FRANCE
Copyright (C), 2003-2005 - INRIA - LORIA - IUT Charlemagne Nancy 2 -
FRANCE
D.COLNET, P.RIBET, C.ADRIAN, V.CROIZIER F.MERIZEN - SmartEiffel <at> loria.fr
http://SmartEiffel.loria.fr

The installation is from debian/sid.

Simply, short TUPLE crashed. Output is attached.

Now I'm rebuilding with check_all but it seems to take some time to
finish. Is the above known,
or should I let the rebuild finish to be able to get some details on the
crash?

Jörgen
-- 
I'm kinda looking forward to the alzheimer's... I'll get to meet new
people every day. I'll never have take the blame for anything. I'll get
to meet new people every day.

Reading loadpath files
Trying to read file "/usr/share/doc/smarteiffel2/tutorial/loadpath.se".
Trying to read file "/usr/lib/smarteiffel2/lib/loadpath.se".
Trying to read file "/usr/lib/smarteiffel2/lib/storage/loadpath.se".
Trying to read file "/usr/lib/smarteiffel2/lib/io/loadpath.se".
Trying to read file "/usr/lib/smarteiffel2/lib/iterator/loadpath.se".
Trying to read file "/usr/lib/smarteiffel2/lib/sequencer/loadpath.se".
Trying to read file "/usr/lib/smarteiffel2/lib/numeric/loadpath.se".
Trying to read file "/usr/lib/smarteiffel2/lib/string/loadpath.se".
Trying to read file "/usr/lib/smarteiffel2/lib/time/loadpath.se".
Trying to read file "/usr/lib/smarteiffel2/lib/net/loadpath.se".
Trying to read file "/usr/lib/smarteiffel2/lib/exec/loadpath.se".
Trying to read file "/usr/lib/smarteiffel2/lib/xml/loadpath.se".
Trying to read file "/usr/lib/smarteiffel2/lib/regular_expression/loadpath.se".
Trying to read file "/usr/lib/smarteiffel2/lib/backtracking/loadpath.se".
Trying to read file "/usr/lib/smarteiffel2/lib/ncurses/loadpath.se".
Trying to read file "/usr/lib/smarteiffel2/lib/get_text/loadpath.se".
Trying to read file "/usr/lib/smarteiffel2/lib/vision/loadpath.se".
C mode "all_check" (default mode) selected.
Cluster tree:
 + <Universe>
 |  + Local Cluster (+1)
 |  + "/usr/share/doc/smarteiffel2/tutorial/loadpath.se" (+2)
 |  |  + tutorial:: 9 classes (+1)
 |  + "/usr/lib/smarteiffel2/lib/loadpath.se" (+2)
 |  |  + lib:kernel/: 18 classes (+1)
 |  |  + lib:kernel/internal/: 5 classes (+1)
 |  |  + "/usr/lib/smarteiffel2/lib/storage/loadpath.se" (+1)
 |  |  |  + lib:storage/loadpath.se:: 10 classes (+1)
 |  |  |  + lib:storage/loadpath.se:collection/: 6 classes (+1)
 |  |  |  + lib:storage/loadpath.se:collection2/: 2 classes (+1)
 |  |  |  + lib:storage/loadpath.se:collection3/: 2 classes (+1)
 |  |  |  + lib:storage/loadpath.se:dictionary/: 3 classes (+1)
 |  |  |  + lib:storage/loadpath.se:bijective_dictionary/: 2 classes (+1)
 |  |  |  + lib:storage/loadpath.se:set/: 2 classes (+1)
 |  |  |  + lib:storage/loadpath.se:repository/: 3 classes (+1)
 |  |  |  + lib:storage/loadpath.se:low_level/: 4 classes (+1)
 |  |  |  + lib:storage/loadpath.se:internal/: 25 classes (+1)
 |  |  + "/usr/lib/smarteiffel2/lib/io/loadpath.se" (+1)
 |  |  |  + lib:io/loadpath.se:: 16 classes (+1)
 |  |  |  + lib:io/loadpath.se:terminal/: 15 classes (+1)
 |  |  |  + lib:io/loadpath.se:filter/: 7 classes (+1)
 |  |  |  + lib:io/loadpath.se:low_level/: 6 classes (+1)
 |  |  |  + lib:io/loadpath.se:internal/: 4 classes (+1)
 |  |  |  + lib:io/loadpath.se:path_name/: 10 classes (+1)
 |  |  + lib:unicode/: 2 classes (+1)
 |  |  + "/usr/lib/smarteiffel2/lib/iterator/loadpath.se" (+1)
 |  |  |  + lib:iterator/loadpath.se:: 1 class (+1)
 |  |  |  + lib:iterator/loadpath.se:internal/: 12 classes (+1)
 |  |  + lib:random/: 6 classes (+1)
 |  |  + lib:sorting/: 4 classes (+1)
 |  |  + lib:misc/: 3 classes (+1)
 |  |  + lib:signal/: 5 classes (+1)
 |  |  + "/usr/lib/smarteiffel2/lib/sequencer/loadpath.se" (+1)
 |  |  |  + lib:sequencer/loadpath.se:: 11 classes (+1)
 |  |  |  + lib:sequencer/loadpath.se:events/: 6 classes (+1)
 |  |  + lib:abilities/: 8 classes (+1)
 |  |  + "/usr/lib/smarteiffel2/lib/numeric/loadpath.se" (+1)
 |  |  |  + lib:numeric/loadpath.se:: 16 classes (+1)
 |  |  |  + lib:numeric/loadpath.se:internal/: 5 classes (+1)
 |  |  + "/usr/lib/smarteiffel2/lib/string/loadpath.se" (+1)
 |  |  |  + lib:string/loadpath.se:: 4 classes (+1)
 |  |  |  + lib:string/loadpath.se:low_level/: 1 class (+1)
 |  |  + "/usr/lib/smarteiffel2/lib/time/loadpath.se" (+1)
 |  |  |  + lib:time/loadpath.se:: 5 classes (+1)
 |  |  |  + lib:time/loadpath.se:formatter/: 5 classes (+1)
 |  |  + "/usr/lib/smarteiffel2/lib/net/loadpath.se" (+1)
 |  |  |  + lib:net/loadpath.se:: 8 classes (+1)
 |  |  |  + lib:net/loadpath.se:address/: 3 classes (+1)
 |  |  |  + lib:net/loadpath.se:access/: 3 classes (+1)
 |  |  |  + lib:net/loadpath.se:low_level/: 6 classes (+1)
 |  |  |  + lib:net/loadpath.se:protocols/: 6 classes (+1)
 |  |  |  + lib:net/loadpath.se:servers/: 2 classes (+1)
 |  |  |  + lib:net/loadpath.se:servers/http/: 5 classes (+1)
 |  |  + "/usr/lib/smarteiffel2/lib/exec/loadpath.se" (+1)
 |  |  |  + lib:exec/loadpath.se:: 6 classes (+1)
 |  |  |  + lib:exec/loadpath.se:low_level/: 11 classes (+1)
 |  |  |  + lib:exec/loadpath.se:internal/: 1 class (+1)
 |  |  + "/usr/lib/smarteiffel2/lib/xml/loadpath.se" (+1)
 |  |  |  + lib:xml/loadpath.se:: 6 classes (+1)
 |  |  |  + lib:xml/loadpath.se:dtd/: 10 classes (+1)
 |  |  |  + lib:xml/loadpath.se:internal/: 1 class (+1)
 |  |  |  + lib:xml/loadpath.se:namespaces/: 6 classes (+1)
 |  |  + lib:html/: 3 classes (+1)
 |  |  + lib:html/internal/: 3 classes (+1)
 |  |  + lib:design_patterns/: 9 classes (+1)
 |  |  + "/usr/lib/smarteiffel2/lib/regular_expression/loadpath.se" (+1)
 |  |  |  + lib:regular_expression/loadpath.se:: 2 classes (+1)
 |  |  |  + lib:regular_expression/loadpath.se:low_level/: 5 classes (+1)
 |  |  |  + lib:regular_expression/loadpath.se:internal/: 2 classes (+1)
 |  |  |  + lib:regular_expression/loadpath.se:internal/regular_expression_items/: 35 classes (+1)
 |  |  + "/usr/lib/smarteiffel2/lib/backtracking/loadpath.se" (+1)
 |  |  |  + lib:backtracking/loadpath.se:: 2 classes (+1)
 |  |  |  + lib:backtracking/loadpath.se:internal/: 9 classes (+1)
 |  |  |  + lib:backtracking/loadpath.se:low_level/: 8 classes (+1)
 |  |  |  + lib:backtracking/loadpath.se:node/: 16 classes (+1)
 |  |  + "/usr/lib/smarteiffel2/lib/ncurses/loadpath.se" (+1)
 |  |  |  + lib:ncurses/loadpath.se:: 15 classes (+1)
 |  |  |  + lib:ncurses/loadpath.se:internal/: 2 classes (+1)
 |  |  + "/usr/lib/smarteiffel2/lib/get_text/loadpath.se" (+1)
 |  |  |  + lib:get_text/loadpath.se:: 4 classes (+1)
 |  |  |  + lib:get_text/loadpath.se:filter_get_text/: 3 classes (+1)
 |  |  |  + lib:get_text/loadpath.se:terminal_get_text/: 2 classes (+1)
 |  |  + lib:message_formatter/: 4 classes (+1)
 |  |  + lib:language/: 1 class (+1)
 |  |  + "/usr/lib/smarteiffel2/lib/vision/loadpath.se" (+1)
 |  |  |  + lib:vision/loadpath.se:: 40 classes (+1)
 |  |  |  + lib:vision/loadpath.se:button/: 4 classes (+1)
 |  |  |  + lib:vision/loadpath.se:color/: 3 classes (+1)
 |  |  |  + lib:vision/loadpath.se:decoration/: 4 classes (+1)
 |  |  |  + lib:vision/loadpath.se:events/: 26 classes (+1)
 |  |  |  + lib:vision/loadpath.se:layouts/: 7 classes (+1)
 |  |  |  + lib:vision/loadpath.se:render/: 4 classes (+1)
 |  |  |  + lib:vision/loadpath.se:window/: 7 classes (+1)
 |  |  |  + lib:vision/loadpath.se:opengl/: 7 classes (+1)
 |  |  |  + lib:vision/loadpath.se:opengl/smart_gl/: 23 classes (+1)
*** Looking for ANY without point of view!
*** Looking for ANY without point of view!
1	/usr/lib/smarteiffel2/lib/kernel/any.e
2	/usr/lib/smarteiffel2/lib/kernel/tuple.e
*** Looking for ANY without point of view!
*** Looking for TUPLE without point of view!
Some feature is not yet implemented (i.e. feature `not_yet_implemented' of
class ANY has been called somewhere). Just run this code under the debugger
to know the `not_yet_implemented' caller. If this is a feature of the
SmartEiffel library, you may consider to post your implementation on the
SmartEiffel mailing list.
                                    e-mail: SmartEiffel <at> loria.fr
                              Happy debug and thanks in advance.
                                     http://SmartEiffel.loria.fr
                                           The SmartEiffel team.

The error occured in the type SMART_EIFFEL.

Eiffel program crash at run time.
No trace when using option "-boost"