--| Copyright (c) 1993-2020 University of Southern California, Eiffel Software and contributors.
--| All rights reserved.
--| Your use of this work is governed under the terms of the GNU General
--| Public License version 2.

class TEST
inherit
	SHARED
create
	make
feature
	make
		do 
			create t.make;
			set_ok;
			io.putstring ("In make%N");
			try;
		end
	
	t: TEST2;

	try
		local
			x: expanded TEST1

		do
			io.putstring ("In try%N");
			io.putdouble (x.d); io.new_line;
		rescue
			io.putstring ("In try rescue clause%N");
			x.do_nothing
			unset_ok;
			x := t.x;
			retry;
		end
	
end