--| Copyright (c) 1993-2006 University of Southern California and contributors.
--| All rights reserved.
--| Your use of this work is governed under the terms of the GNU General
--| Public License version 2.

-- This is a test control file

test_name 	agent-lighter-tuple-arg
test_description A class has agents which are calls to a routine that takes a numeric type (DOUBLE, REAL, INTEGER_64, INTEGER, INTEGER_16, INTEGER_8) and prints its argument.  If the argument is left open and a lighter type is passed as the actual argument in a tuple at the time of the call (e.g., INTEGER_8 is passed to a routine expecting an INTEGER), the argument is passed incorrectly in some cases.


define INSTRUCTION ""
copy_sub 	Ace $TEST Ace
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

define INSTRUCTION "x := x;"
copy_sub 	test.e $CLUSTER test.e
compile_melted
compile_result 	ok

execute_work 	NONE exec_output2
execute_result 	ok
compare		exec_output2 output

test_end