--| 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 	 restricted-creation-wrong-vtcg
test_description A system has a generic class CLIENT with constraint `G -> SUPPLIER create make end', where the creation procedure of SUPPLIER is exported to {CLIENT}.  If another class has an attribute `x: CLIENT [SUPPLIER]' the compiler reports a VTCG error, though it should accept the classes.

copy_sub 	 Ace $TEST Ace
copy_raw 	 test.e $CLUSTER test.e
copy_raw 	 client.e $CLUSTER client.e
copy_raw 	 supplier.e $CLUSTER supplier.e
compile_melted
compile_result 	 ok

test_end