test_name 	precompilation-task-failure
test_description A precompilation task that fails when success is required causes the compiler to correctly report the error but compilation completes instead of pausing

define ACTION pre_compile_action
copy_sub Ace $TEST Ace
copy_raw test.e $CLUSTER test.e

compile_melted
compile_result validity_error NONE VD84 

define ACTION post_compile_action
copy_sub Ace $TEST Ace

abort_compile
compile_melted
compile_result	validity_error NONE VD84 

test_end