Contents of /trunk/eweasel/tests/incr154/tcf


--| 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        invalid-expanded-generic
test_description After initial compilation with an invalid type `expanded STRING' as an actual generic parameter, the type is changed to STRING. Finalization completes normally, but the resulting C code will not compile.

copy_sub        Ace $TEST Ace
define          EXPANDED "expanded"
copy_sub        test.e $CLUSTER test.e
copy_raw        test1.e $CLUSTER test1.e
compile_final
compile_result  validity_error TEST VTEC(2)

define          EXPANDED ""
copy_sub        test.e $CLUSTER test.e
resume_compile
compile_result  ok

c_compile_final
c_compile_result ok

test_end
1
2	--\| Copyright (c) 1993-2006 University of Southern California and contributors.
3	--\| All rights reserved.
4	--\| Your use of this work is governed under the terms of the GNU General
5	--\| Public License version 2.
6
7	-- This is a test control file
8
9	test_name invalid-expanded-generic
10	test_description After initial compilation with an invalid type `expanded STRING' as an actual generic parameter, the type is changed to STRING. Finalization completes normally, but the resulting C code will not compile.
11
12	copy_sub Ace $TEST Ace
13	define EXPANDED "expanded"
14	copy_sub test.e $CLUSTER test.e
15	copy_raw test1.e $CLUSTER test1.e
16	compile_final
17	compile_result validity_error TEST VTEC(2)
18
19	define EXPANDED ""
20	copy_sub test.e $CLUSTER test.e
21	resume_compile
22	compile_result ok
23
24	c_compile_final
25	c_compile_result ok
26
27	test_end