test_name bad_formal_types 
test_description Bad feature names used in formal type should not crash compiler
copy_sub Ace $TEST Ace

copy_raw test.e $CLUSTER test.e

compile_melted
compile_result validity_error TEST VEEN

copy_raw test2.e $CLUSTER test.e

resume_compile
compile_result validity_error TEST VTAT(1)

test_end