--| 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 	inconsistent-vsta1
test_description A call to a static feature `feature {FOO [like Current]}.value' where FOO is declared as FOO [G] causes the compiler to report a VSTA(1) error, which says to make sure "FOO [like Current]" is just a class name and not a type specification.  But the compiler accepts `feature {FOO [STRING]}.value' and "FOO [STRING]" is a type specification.

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

execute_work	 NONE exec_output1
execute_result	 ok
compare		 exec_output1 output

define		GENERIC "like Current"
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