--| 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 validity-vffd2-diff-decls test_description Violate validity constraint VFFD2 with a class which has the same feature name used more than once in different feature declarations copy_sub Ace $TEST Ace define FEATURE_LIST1 "make" define FEATURE_LIST2 "make2" copy_sub test.e $CLUSTER test.e compile_melted compile_result validity_error TEST VMFN define FEATURE_LIST1 "infix "@" (n: INTEGER): INTEGER" define FEATURE_LIST2 "make2, infix "@" (n: INTEGER): INTEGER" copy_sub test.e $CLUSTER test.e resume_compile compile_result validity_error TEST VMFN define FEATURE_LIST1 "infix "@" (n: INTEGER): INTEGER" define FEATURE_LIST2 "make2, infix "@" (n: BOOLEAN): BOOLEAN" copy_sub test.e $CLUSTER test.e resume_compile compile_result validity_error TEST VMFN define FEATURE_LIST1 "prefix "@": INTEGER" define FEATURE_LIST2 "make2, prefix "@": BOOLEAN" copy_sub test.e $CLUSTER test.e resume_compile compile_result validity_error TEST VMFN define FEATURE_LIST1 "prefix "not": INTEGER" define FEATURE_LIST2 "make2, prefix "not": BOOLEAN" copy_sub test.e $CLUSTER test.e resume_compile compile_result validity_error TEST VMFN define FEATURE_LIST1 "infix "and" (n: BOOLEAN): INTEGER" define FEATURE_LIST2 "make2, infix "and" (n: BOOLEAN): INTEGER" copy_sub test.e $CLUSTER test.e resume_compile compile_result validity_error TEST VMFN define FEATURE_LIST1 "infix "and" (n: BOOLEAN): INTEGER" define FEATURE_LIST2 "make2, frozen infix "and" (n: BOOLEAN): INTEGER" copy_sub test.e $CLUSTER test.e resume_compile compile_result validity_error TEST VMFN define FEATURE_LIST1 "infix "and" (n: BOOLEAN): INTEGER" define FEATURE_LIST2 "make2, frozen infix "and" (n: BOOLEAN): INTEGER" copy_sub test.e $CLUSTER test.e resume_compile compile_result validity_error TEST VMFN define FEATURE_LIST1 "prefix "|||||||||||||||": like Current" define FEATURE_LIST2 "make2, frozen prefix "|||||||||||||||": like Current" copy_sub test.e $CLUSTER test.e resume_compile compile_result validity_error TEST VMFN define FEATURE_LIST1 "prefix "|||||||||||||||": like Current" define FEATURE_LIST2 "make2, frozen infix "|||||||||||||||"(n: like Current): like Current" copy_sub test.e $CLUSTER test.e resume_compile compile_result ok test_end