--| 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 	 generic-attr-call-bad-type
test_description An attribute `weasel' of a class has the type of the formal generic parameter, which is constrained by `LINKED_LIST [STRING]'.  The expression `weasel.i_th (1)' should therefore be of type STRING.  But an assignment to a local of type STRING is rejected as a VJAR error. The compiler seems to think the expression is of type `Generic #1'.

copy_sub 	 Ace $TEST Ace
copy_raw 	 test.e $CLUSTER test.e
define		 TRY_BODY "s := weasel.i_th (1); io.putstring (s); io.new_line;"
copy_sub 	 test1.e $CLUSTER test1.e
compile_melted
compile_result 	 ok

execute_work 	NONE exec_output1
execute_result 	ok
compare		exec_output1 output

define		 TRY_BODY "weasel := weasel.i_th (1);"
copy_sub 	 test1.e $CLUSTER test1.e
compile_melted
compile_result 	 validity_error TEST1 VJAR

test_end