test_name simple-catcall
test_description Simple detection of a catcall

copy_sub Ace $TEST Ace
define VALUE		""TEST""
define FORMAL_TYPE	STRING
copy_sub test.e $CLUSTER test.e
copy_raw test1.e $CLUSTER test1.e
copy_sub test2.e $CLUSTER test2.e

compile_melted
compile_result ok

define VALUE		"TEST"
define FORMAL_TYPE	FILE_NAME
copy_sub test.e $CLUSTER test.e
copy_sub test2.e $CLUSTER test2.e

compile_melted
compile_result	validity_error TEST VEEN

define VALUE		""TEST""
copy_sub test.e $CLUSTER test.e

resume_compile
compile_result validity_error TEST Catcall

define VALUE		create {FILE_NAME}.make_from_string ("TEST")
define FORMAL_TYPE	FILE_NAME
copy_sub test.e $CLUSTER test.e
copy_sub test2.e $CLUSTER test2.e

resume_compile
compile_result ok

test_end