test_name validity-vfav5-basic
test_description Validity rules for convert mark.

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

-- Convert mark on non-operator alias

copy_raw co01.e $CLUSTER c.e
compile_melted
compile_result validity_error C VFAV(5)

copy_raw co02.e $CLUSTER c.e
resume_compile
compile_result validity_error C VFAV(5)

copy_raw co03.e $CLUSTER c.e
resume_compile
compile_result validity_error C VFAV(5)

-- Convert mark on operator alias with no arguments

copy_raw ca01.e $CLUSTER c.e
resume_compile
compile_result validity_error C VFAV(5)

copy_raw ca02.e $CLUSTER c.e
resume_compile
compile_result validity_error C VFAV(5)

copy_raw ca03.e $CLUSTER c.e
resume_compile
compile_result validity_error C VFAV(5)

-- Convert mark on non-operator alias with argument count other than 1

copy_raw cb01.e $CLUSTER c.e
resume_compile
compile_result validity_error C VFAV(5)

copy_raw cb02.e $CLUSTER c.e
resume_compile
compile_result validity_error C VFAV(5)

copy_raw cb03.e $CLUSTER c.e
resume_compile
compile_result validity_error C VFAV(5)

test_end