test_name failing-to-recompile-descendant
test_description Having a class with an error at degree 4 does not recompile all its descendants.

copy_sub	Ace $TEST Ace
copy_raw	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

compile_melted
compile_result ok

copy_raw	test2_rev1.e $CLUSTER test2.e

compile_melted
compile_result	validity_error TEST2 VMFN

copy_raw	test2_rev2.e $CLUSTER test2.e

resume_compile
compile_result ok

execute_work NONE exec_output1
execute_result	ok
compare	exec_output1 output

test_end