--| 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 inspect-char-inside-inspect-int test_description A valid multi-branch containing another valid multi-branch in one of its `when' clauses is rejected by the compiler as violating VOMB(2). The problem only seems to occur when one of the inspect expressions is of type INTEGER and the other is of type CHARACTER. copy_sub Ace $TEST Ace copy_raw test.e $CLUSTER test.e compile_melted compile_result ok test_end