--| 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 	 change-created-actual-generic
test_description A class inherits from a generic class which has a routine that creates an entity of the generic type and prints its generating type.  After initial compilation where the system is melted, the printed result is correct.  Then the type of the actual generic is changed from STRING to SEQ_STRING and changes are melted.  Execution then produces the wrong result (the same result as before).

define ACTUAL "STRING"
copy_sub 	Ace $TEST Ace
copy_sub 	test.e $CLUSTER test.e
copy_raw 	test1.e $CLUSTER test1.e
compile_melted
compile_result 	ok

define ACTUAL "SEQ_STRING"
copy_sub 	test.e $CLUSTER test.e
compile_melted
compile_result 	ok

execute_work NONE exec_output1
execute_result ok
compare exec_output1 output

test_end