test_name 	 manifest-type-expr-generating-type
test_description The generating type of a  manifest type expression is displayed incorrectly, with a "!" mark

copy_sub	Ace $TEST Ace
copy_raw	test.e $CLUSTER test.e

compile_melted
compile_result	ok

execute_work	NONE exec_output1
execute_result	ok
compare		exec_output1 output

test_end