test_name polymorphic-dollar-agent-incorrect-wrapper
test_description A polymorphic Eiffel routine is used for an agent or a $ operator, would incorrectly generate the wrapper if this routine has argument.

copy_sub Ace $TEST Ace
copy_raw test.e $CLUSTER test.e
copy_raw test1.e $CLUSTER test1.e
copy_raw test2.e $CLUSTER test2.e

compile_frozen
compile_result ok
c_compile_work
c_compile_result ok
execute_work	NONE exec_output_w
execute_result	ok
compare		exec_output_w output

compile_final
compile_result ok
c_compile_final
c_compile_result ok
execute_final	NONE exec_output_f
execute_result	ok
compare		exec_output_f output

test_end