--| 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 	free-binary-wrong-precedence
test_description Binary free operators should have higher precedence than all binary operators

copy_sub 	Ace $TEST Ace

define		EXPRESSION "Current # 1 + 3"
copy_sub 	test.e $CLUSTER test.e
compile_melted
compile_result 	validity_error TEST VWOE

define		EXPRESSION "Current # 1 - 3"
copy_sub 	test.e $CLUSTER test.e
resume_compile
compile_result 	validity_error TEST VWOE

define		EXPRESSION "Current # 1 * 3"
copy_sub 	test.e $CLUSTER test.e
resume_compile
compile_result 	validity_error TEST VWOE

define		EXPRESSION "Current # 1 / 3"
copy_sub 	test.e $CLUSTER test.e
resume_compile
compile_result 	validity_error TEST VWOE

define		EXPRESSION "Current # 1 // 3"
copy_sub 	test.e $CLUSTER test.e
resume_compile
compile_result 	validity_error TEST VWOE

define		EXPRESSION "Current # 1 \\ 3"
copy_sub 	test.e $CLUSTER test.e
resume_compile
compile_result 	validity_error TEST VWOE

define		EXPRESSION "Current ## 1 = 3"
copy_sub 	test.e $CLUSTER test.e
resume_compile
compile_result 	validity_error TEST VWOE

define		EXPRESSION "Current ## 1 /= 3"
copy_sub 	test.e $CLUSTER test.e
resume_compile
compile_result 	validity_error TEST VWOE

define		EXPRESSION "Current ## 1 < 3"
copy_sub 	test.e $CLUSTER test.e
resume_compile
compile_result 	validity_error TEST VWOE

define		EXPRESSION "Current ## 1 > 3"
copy_sub 	test.e $CLUSTER test.e
resume_compile
compile_result 	validity_error TEST VWOE

define		EXPRESSION "Current ## 1 <= 3"
copy_sub 	test.e $CLUSTER test.e
resume_compile
compile_result 	validity_error TEST VWOE

define		EXPRESSION "Current ## 1 >= 3"
copy_sub 	test.e $CLUSTER test.e
resume_compile
compile_result 	validity_error TEST VWOE

define		EXPRESSION "Current ### true and false"
copy_sub 	test.e $CLUSTER test.e
resume_compile
compile_result 	validity_error TEST VWOE

define		EXPRESSION "Current ### false or true"
copy_sub 	test.e $CLUSTER test.e
resume_compile
compile_result 	validity_error TEST VWOE

define		EXPRESSION "Current ### true and then false"
copy_sub 	test.e $CLUSTER test.e
resume_compile
compile_result 	validity_error TEST VWOE

define		EXPRESSION "Current ### false or else true"
copy_sub 	test.e $CLUSTER test.e
resume_compile
compile_result 	validity_error TEST VWOE

define		EXPRESSION "Current ### false xor true"
copy_sub 	test.e $CLUSTER test.e
resume_compile
compile_result 	validity_error TEST VWOE

define		EXPRESSION "Current ### true implies false"
copy_sub 	test.e $CLUSTER test.e
resume_compile
compile_result 	validity_error TEST VWOE

test_end