--| 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 	 tricky-constraint-with-generic
test_description A system with an invalid generic derivation of a generic class with two formal generic parameters A and B, where B is constrained by `LIST [A]' is accepted by the compiler, but should not be.  This results in an undetected type error and a segmentation fault when the system is executed.

copy_sub 	 Ace $TEST Ace
copy_raw 	 test1.e $CLUSTER test1.e
copy_raw 	 test2.e $CLUSTER test2.e
copy_raw 	 test3.e $CLUSTER test3.e
copy_raw 	 test4.e $CLUSTER test4.e
copy_raw 	 weasel.e $CLUSTER weasel.e
compile_melted
compile_result 	 validity_error TEST2 VTCG
-- VTGD(2)
test_end