test_name 	 replicated-once-recompilation
test_description Once feature replicated multiple times should be recompiled for all replications.

copy_sub 	 Ace $TEST Ace
copy_raw	 b.e $CLUSTER b.e
copy_raw	 c.e $CLUSTER c.e
copy_raw	 d.e $CLUSTER d.e

-- Once function returns Void

define ONCE_BODY ""
define ONCE_TEST "= Void"
copy_sub	 a.e $CLUSTER a.e
copy_sub	 test.e $CLUSTER test.e

compile_frozen
compile_result 	ok
c_compile_work
c_compile_result 	ok

execute_work 	NONE 	exec_output1
execute_result 	ok
compare		exec_output1 output

-- Once function returns non-Void value

define ONCE_BODY "aaa"
define ONCE_TEST "/= Void"
copy_sub	 a.e $CLUSTER a.e
copy_sub	 test.e $CLUSTER test.e

compile_melted
compile_result 	validity_error A VEEN

define ONCE_BODY "create Result"
define ONCE_TEST "/= Void"
copy_sub	 a.e $CLUSTER a.e
copy_sub	 test.e $CLUSTER test.e

resume_compile
compile_result 	ok

execute_work 	NONE 	exec_output2
execute_result 	ok
compare		exec_output2 output
	
test_end