--| 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 area-wrong-generating-type test_description A generic class `TEST1 [G, ARRAY_TYPE -> ARRAY[G] create make end]' has a function of type ARRAY_TYPE that creates an object of type ARRAY_TYPE. A second class TEST2 generic inherits `TEST1 [G, ARRAY [G]]'. Another class creates an instance of TEST2, calls the function and prints `area.generating_type' on the result. It prints SPECIAL [INTEGER_8] instead of SPECIAL [STRING]. 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_melted compile_result ok execute_work NONE exec_output1 execute_result ok compare exec_output1 output test_end