--| 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 	add-vuar-remove-finalize
test_description After initial compilation where the system is finalized, a creation procedure is changed to take an argument, introducing a VUAR error. When the system is re-finalized, the compiler detects the error.  Then the error is removed and compilation completes successfully, but the generated C code won't compile, due to conflicting declarations for the creation procedure's routine.

define FORMALS ""
copy_sub 	Ace $TEST Ace
copy_raw 	test.e $CLUSTER test.e
copy_sub 	test1.e $CLUSTER test1.e
compile_final
compile_result 	ok

define FORMALS "(n: INTEGER)"
copy_sub 	test1.e $CLUSTER test1.e
compile_final
compile_result 	validity_error TEST VUAR(1)

define FORMALS ""
copy_sub 	test1.e $CLUSTER test1.e
resume_compile
compile_result 	ok

c_compile_final
c_compile_result ok

test_end