test_name	retrieve-old-routine
test_description Trying to retrieve a storable made with a version of EiffelStudio where agents had an extra generic argument would fail instead of being simply accepted (ignoring the extra generic parameter).

define_directory EIFGEN $TEST EIFGENs
define_directory TARGET $EIFGEN test
define_directory WCODE $TARGET W_code



copy_sub 	Ace $TEST Ace
copy_raw 	test.e $CLUSTER test.e
copy_sub 	storable_test.e $CLUSTER storable_test.e

compile_melted
compile_result ok

c_compile_work
c_compile_result ok

copy_bin	stored.c_independent $WCODE stored.c_independent
copy_bin	stored.sed_recoverable $WCODE stored.sed_recoverable

execute_work 	NONE exec_output1 retrieve_only
execute_result 	ok
test_end