test_name 	 creation-of-formal-redefined-attribute
test_description In a generic class we create an attribute whose type is formal, in a descendant class we redefine this attribute to a more specific type, thus the creation should use this more specified type, but it was not.

copy_sub 	 Ace $TEST Ace
define TEST_TYPE "TEST2"
copy_sub 	 test.e  $CLUSTER test.e
copy_raw 	 test1.e  $CLUSTER test1.e
copy_raw 	 test2.e  $CLUSTER test2.e
copy_raw 	 test3.e  $CLUSTER test3.e
copy_raw 	 test4.e  $CLUSTER test4.e

compile_melted
compile_result 	 ok

execute_work	 NONE exec_output_1
execute_result	 ok

compare		 exec_output_1 output1

compile_frozen
compile_result	ok

c_compile_work
c_compile_result ok

execute_work	 NONE exec_output_2
execute_result	 ok

compare		 exec_output_2 output1

compile_final
compile_result 	 ok

c_compile_final
c_compile_result ok

execute_final	 NONE exec_output_3
execute_result	 ok

compare		 exec_output_3 output1

cleanup_compile

define TEST_TYPE "TEST1 [TEST4]"
copy_sub 	 test.e  $CLUSTER test.e

compile_melted
compile_result 	 ok

execute_work	 NONE exec_output_4
execute_result	 ok

compare		 exec_output_4 output2

compile_frozen
compile_result	ok

c_compile_work
c_compile_result ok

execute_work	 NONE exec_output_5
execute_result	 ok

compare		 exec_output_5 output2

compile_final
compile_result 	 ok

c_compile_final
c_compile_result ok

execute_final	 NONE exec_output_6
execute_result	 ok

compare		 exec_output_6 output2


test_end