test_name 	 manifest-tuple-type-conformance
test_description If you have a manifest tuple using manifest expressions, the type of the actual parameter should be attached at run-time.

define	VOID_SAFE all
copy_sub	Ace $TEST Ace
copy_raw	test.e $CLUSTER test.e

compile_melted
compile_result	ok

execute_work NONE exec_output_1
execute_result	ok
compare		exec_output_1 output

cleanup_compile
define	VOID_SAFE none
copy_sub	Ace	$TEST Ace
copy_raw	test.e $CLUSTER test.e

compile_melted
compile_result	ok

execute_work NONE exec_output_2
execute_result	ok
compare		exec_output_2 output_unsafe

cleanup_compile
define	VOID_SAFE initialization
copy_sub	Ace	$TEST Ace
copy_raw	test.e $CLUSTER test.e

compile_melted
compile_result	ok

execute_work NONE exec_output_3
execute_result	ok
compare		exec_output_3 output


test_end