class TEST
create
	make
feature

	make is
		do
			show ("1 = 1.0", 1 = 1.0)
			show ("1 = {REAL} 1.0", 1 = {REAL} 1.0)
			show ("1 = {DOUBLE} 1.0", 1 = {DOUBLE} 1.0)
			show ("1 = {INTEGER_8} 1", 1 = {INTEGER_8} 1)
			show ("1 = {INTEGER_16} 1", 1 = {INTEGER_16} 1)
			show ("1 = {INTEGER_32} 1", 1 = {INTEGER_32} 1)
			show ("1 = {INTEGER_64} 1", 1 = {INTEGER_64} 1)
			show ("1 = {NATURAL_8} 1", 1 = {NATURAL_8} 1)
			show ("1 = {NATURAL_16} 1", 1 = {NATURAL_16} 1)
			show ("1 = {NATURAL_32} 1", 1 = {NATURAL_32} 1)
			show ("1 = {NATURAL_64} 1", 1 = {NATURAL_64} 1)

			show ("1.0 = 1.0", 1.0 = 1.0)
			show ("1.0 = {REAL} 1.0", 1.0 = {REAL} 1.0)
			show ("1.0 = {DOUBLE} 1.0", 1.0 = {DOUBLE} 1.0)
			show ("1.0 = {INTEGER_8} 1", 1.0 = {INTEGER_8} 1)
			show ("1.0 = {INTEGER_16} 1", 1.0 = {INTEGER_16} 1)
			show ("1.0 = {INTEGER_32} 1", 1.0 = {INTEGER_32} 1)
			show ("1.0 = {INTEGER_64} 1", 1.0 = {INTEGER_64} 1)
			show ("1.0 = {NATURAL_8} 1", 1.0 = {NATURAL_8} 1)
			show ("1.0 = {NATURAL_16} 1", 1.0 = {NATURAL_16} 1)
			show ("1.0 = {NATURAL_32} 1", 1.0 = {NATURAL_32} 1)
			show ("1.0 = {NATURAL_64} 1", 1.0 = {NATURAL_64} 1)

			show ("{REAL} 1.0 = 1.0", {REAL} 1.0 = 1.0)
			show ("{REAL} 1.0 = {REAL} 1.0", {REAL} 1.0 = {REAL} 1.0)
			show ("{REAL} 1.0 = {DOUBLE} 1.0", {REAL} 1.0 = {DOUBLE} 1.0)
			show ("{REAL} 1.0 = {INTEGER_8} 1", {REAL} 1.0 = {INTEGER_8} 1)
			show ("{REAL} 1.0 = {INTEGER_16} 1", {REAL} 1.0 = {INTEGER_16} 1)
			show ("{REAL} 1.0 = {INTEGER_32} 1", {REAL} 1.0 = {INTEGER_32} 1)
			show ("{REAL} 1.0 = {INTEGER_64} 1", {REAL} 1.0 = {INTEGER_64} 1)
			show ("{REAL} 1.0 = {NATURAL_8} 1", {REAL} 1.0 = {NATURAL_8} 1)
			show ("{REAL} 1.0 = {NATURAL_16} 1", {REAL} 1.0 = {NATURAL_16} 1)
			show ("{REAL} 1.0 = {NATURAL_32} 1", {REAL} 1.0 = {NATURAL_32} 1)
			show ("{REAL} 1.0 = {NATURAL_64} 1", {REAL} 1.0 = {NATURAL_64} 1)

			show ("{DOUBLE} 1.0 = 1.0", {DOUBLE} 1.0 = 1.0)
			show ("{DOUBLE} 1.0 = {REAL} 1.0", {DOUBLE} 1.0 = {REAL} 1.0)
			show ("{DOUBLE} 1.0 = {DOUBLE} 1.0", {DOUBLE} 1.0 = {DOUBLE} 1.0)
			show ("{DOUBLE} 1.0 = {INTEGER_8} 1", {DOUBLE} 1.0 = {INTEGER_8} 1)
			show ("{DOUBLE} 1.0 = {INTEGER_16} 1", {DOUBLE} 1.0 = {INTEGER_16} 1)
			show ("{DOUBLE} 1.0 = {INTEGER_32} 1", {DOUBLE} 1.0 = {INTEGER_32} 1)
			show ("{DOUBLE} 1.0 = {INTEGER_64} 1", {DOUBLE} 1.0 = {INTEGER_64} 1)
			show ("{DOUBLE} 1.0 = {NATURAL_8} 1", {DOUBLE} 1.0 = {NATURAL_8} 1)
			show ("{DOUBLE} 1.0 = {NATURAL_16} 1", {DOUBLE} 1.0 = {NATURAL_16} 1)
			show ("{DOUBLE} 1.0 = {NATURAL_32} 1", {DOUBLE} 1.0 = {NATURAL_32} 1)
			show ("{DOUBLE} 1.0 = {NATURAL_64} 1", {DOUBLE} 1.0 = {NATURAL_64} 1)

			show ("{INTEGER_8} 1 = 1.0", {INTEGER_8} 1 = 1.0)
			show ("{INTEGER_8} 1 = {REAL} 1.0", {INTEGER_8} 1 = {REAL} 1.0)
			show ("{INTEGER_8} 1 = {DOUBLE} 1.0", {INTEGER_8} 1 = {DOUBLE} 1.0)
			show ("{INTEGER_8} 1 = {INTEGER_8} 1", {INTEGER_8} 1 = {INTEGER_8} 1)
			show ("{INTEGER_8} 1 = {INTEGER_16} 1", {INTEGER_8} 1 = {INTEGER_16} 1)
			show ("{INTEGER_8} 1 = {INTEGER_32} 1", {INTEGER_8} 1 = {INTEGER_32} 1)
			show ("{INTEGER_8} 1 = {INTEGER_64} 1", {INTEGER_8} 1 = {INTEGER_64} 1)
			show ("{INTEGER_8} 1 = {NATURAL_8} 1", {INTEGER_8} 1 = {NATURAL_8} 1)
			show ("{INTEGER_8} 1 = {NATURAL_16} 1", {INTEGER_8} 1 = {NATURAL_16} 1)
			show ("{INTEGER_8} 1 = {NATURAL_32} 1", {INTEGER_8} 1 = {NATURAL_32} 1)
			show ("{INTEGER_8} 1 = {NATURAL_64} 1", {INTEGER_8} 1 = {NATURAL_64} 1)

			show ("{INTEGER_16} 1 = 1.0", {INTEGER_16} 1 = 1.0)
			show ("{INTEGER_16} 1 = {REAL} 1.0", {INTEGER_16} 1 = {REAL} 1.0)
			show ("{INTEGER_16} 1 = {DOUBLE} 1.0", {INTEGER_16} 1 = {DOUBLE} 1.0)
			show ("{INTEGER_16} 1 = {INTEGER_8} 1", {INTEGER_16} 1 = {INTEGER_8} 1)
			show ("{INTEGER_16} 1 = {INTEGER_16} 1", {INTEGER_16} 1 = {INTEGER_16} 1)
			show ("{INTEGER_16} 1 = {INTEGER_32} 1", {INTEGER_16} 1 = {INTEGER_32} 1)
			show ("{INTEGER_16} 1 = {INTEGER_64} 1", {INTEGER_16} 1 = {INTEGER_64} 1)
			show ("{INTEGER_16} 1 = {NATURAL_8} 1", {INTEGER_16} 1 = {NATURAL_8} 1)
			show ("{INTEGER_16} 1 = {NATURAL_16} 1", {INTEGER_16} 1 = {NATURAL_16} 1)
			show ("{INTEGER_16} 1 = {NATURAL_32} 1", {INTEGER_16} 1 = {NATURAL_32} 1)
			show ("{INTEGER_16} 1 = {NATURAL_64} 1", {INTEGER_16} 1 = {NATURAL_64} 1)

			show ("{INTEGER_32} 1 = 1.0", {INTEGER_32} 1 = 1.0)
			show ("{INTEGER_32} 1 = {REAL} 1.0", {INTEGER_32} 1 = {REAL} 1.0)
			show ("{INTEGER_32} 1 = {DOUBLE} 1.0", {INTEGER_32} 1 = {DOUBLE} 1.0)
			show ("{INTEGER_32} 1 = {INTEGER_8} 1", {INTEGER_32} 1 = {INTEGER_8} 1)
			show ("{INTEGER_32} 1 = {INTEGER_16} 1", {INTEGER_32} 1 = {INTEGER_16} 1)
			show ("{INTEGER_32} 1 = {INTEGER_32} 1", {INTEGER_32} 1 = {INTEGER_32} 1)
			show ("{INTEGER_32} 1 = {INTEGER_64} 1", {INTEGER_32} 1 = {INTEGER_64} 1)
			show ("{INTEGER_32} 1 = {NATURAL_8} 1", {INTEGER_32} 1 = {NATURAL_8} 1)
			show ("{INTEGER_32} 1 = {NATURAL_16} 1", {INTEGER_32} 1 = {NATURAL_16} 1)
			show ("{INTEGER_32} 1 = {NATURAL_32} 1", {INTEGER_32} 1 = {NATURAL_32} 1)
			show ("{INTEGER_32} 1 = {NATURAL_64} 1", {INTEGER_32} 1 = {NATURAL_64} 1)

			show ("{INTEGER_64} 1 = 1.0", {INTEGER_64} 1 = 1.0)
			show ("{INTEGER_64} 1 = {REAL} 1.0", {INTEGER_64} 1 = {REAL} 1.0)
			show ("{INTEGER_64} 1 = {DOUBLE} 1.0", {INTEGER_64} 1 = {DOUBLE} 1.0)
			show ("{INTEGER_64} 1 = {INTEGER_8} 1", {INTEGER_64} 1 = {INTEGER_8} 1)
			show ("{INTEGER_64} 1 = {INTEGER_16} 1", {INTEGER_64} 1 = {INTEGER_16} 1)
			show ("{INTEGER_64} 1 = {INTEGER_32} 1", {INTEGER_64} 1 = {INTEGER_32} 1)
			show ("{INTEGER_64} 1 = {INTEGER_64} 1", {INTEGER_64} 1 = {INTEGER_64} 1)
			show ("{INTEGER_64} 1 = {NATURAL_8} 1", {INTEGER_64} 1 = {NATURAL_8} 1)
			show ("{INTEGER_64} 1 = {NATURAL_16} 1", {INTEGER_64} 1 = {NATURAL_16} 1)
			show ("{INTEGER_64} 1 = {NATURAL_32} 1", {INTEGER_64} 1 = {NATURAL_32} 1)
			show ("{INTEGER_64} 1 = {NATURAL_64} 1", {INTEGER_64} 1 = {NATURAL_64} 1)

			show ("{NATURAL_8} 1 = 1.0", {NATURAL_8} 1 = 1.0)
			show ("{NATURAL_8} 1 = {REAL} 1.0", {NATURAL_8} 1 = {REAL} 1.0)
			show ("{NATURAL_8} 1 = {DOUBLE} 1.0", {NATURAL_8} 1 = {DOUBLE} 1.0)
			show ("{NATURAL_8} 1 = {INTEGER_8} 1", {NATURAL_8} 1 = {INTEGER_8} 1)
			show ("{NATURAL_8} 1 = {INTEGER_16} 1", {NATURAL_8} 1 = {INTEGER_16} 1)
			show ("{NATURAL_8} 1 = {INTEGER_32} 1", {NATURAL_8} 1 = {INTEGER_32} 1)
			show ("{NATURAL_8} 1 = {INTEGER_64} 1", {NATURAL_8} 1 = {INTEGER_64} 1)
			show ("{NATURAL_8} 1 = {NATURAL_8} 1", {NATURAL_8} 1 = {NATURAL_8} 1)
			show ("{NATURAL_8} 1 = {NATURAL_16} 1", {NATURAL_8} 1 = {NATURAL_16} 1)
			show ("{NATURAL_8} 1 = {NATURAL_32} 1", {NATURAL_8} 1 = {NATURAL_32} 1)
			show ("{NATURAL_8} 1 = {NATURAL_64} 1", {NATURAL_8} 1 = {NATURAL_64} 1)

			show ("{NATURAL_16} 1 = 1.0", {NATURAL_16} 1 = 1.0)
			show ("{NATURAL_16} 1 = {REAL} 1.0", {NATURAL_16} 1 = {REAL} 1.0)
			show ("{NATURAL_16} 1 = {DOUBLE} 1.0", {NATURAL_16} 1 = {DOUBLE} 1.0)
			show ("{NATURAL_16} 1 = {INTEGER_8} 1", {NATURAL_16} 1 = {INTEGER_8} 1)
			show ("{NATURAL_16} 1 = {INTEGER_16} 1", {NATURAL_16} 1 = {INTEGER_16} 1)
			show ("{NATURAL_16} 1 = {INTEGER_32} 1", {NATURAL_16} 1 = {INTEGER_32} 1)
			show ("{NATURAL_16} 1 = {INTEGER_64} 1", {NATURAL_16} 1 = {INTEGER_64} 1)
			show ("{NATURAL_16} 1 = {NATURAL_8} 1", {NATURAL_16} 1 = {NATURAL_8} 1)
			show ("{NATURAL_16} 1 = {NATURAL_16} 1", {NATURAL_16} 1 = {NATURAL_16} 1)
			show ("{NATURAL_16} 1 = {NATURAL_32} 1", {NATURAL_16} 1 = {NATURAL_32} 1)
			show ("{NATURAL_16} 1 = {NATURAL_64} 1", {NATURAL_16} 1 = {NATURAL_64} 1)

			show ("{NATURAL_32} 1 = 1.0", {NATURAL_32} 1 = 1.0)
			show ("{NATURAL_32} 1 = {REAL} 1.0", {NATURAL_32} 1 = {REAL} 1.0)
			show ("{NATURAL_32} 1 = {DOUBLE} 1.0", {NATURAL_32} 1 = {DOUBLE} 1.0)
			show ("{NATURAL_32} 1 = {INTEGER_8} 1", {NATURAL_32} 1 = {INTEGER_8} 1)
			show ("{NATURAL_32} 1 = {INTEGER_16} 1", {NATURAL_32} 1 = {INTEGER_16} 1)
			show ("{NATURAL_32} 1 = {INTEGER_32} 1", {NATURAL_32} 1 = {INTEGER_32} 1)
			show ("{NATURAL_32} 1 = {INTEGER_64} 1", {NATURAL_32} 1 = {INTEGER_64} 1)
			show ("{NATURAL_32} 1 = {NATURAL_8} 1", {NATURAL_32} 1 = {NATURAL_8} 1)
			show ("{NATURAL_32} 1 = {NATURAL_16} 1", {NATURAL_32} 1 = {NATURAL_16} 1)
			show ("{NATURAL_32} 1 = {NATURAL_32} 1", {NATURAL_32} 1 = {NATURAL_32} 1)
			show ("{NATURAL_32} 1 = {NATURAL_64} 1", {NATURAL_32} 1 = {NATURAL_64} 1)

			show ("{NATURAL_64} 1 = 1.0", {NATURAL_64} 1 = 1.0)
			show ("{NATURAL_64} 1 = {REAL} 1.0", {NATURAL_64} 1 = {REAL} 1.0)
			show ("{NATURAL_64} 1 = {DOUBLE} 1.0", {NATURAL_64} 1 = {DOUBLE} 1.0)
			show ("{NATURAL_64} 1 = {INTEGER_8} 1", {NATURAL_64} 1 = {INTEGER_8} 1)
			show ("{NATURAL_64} 1 = {INTEGER_16} 1", {NATURAL_64} 1 = {INTEGER_16} 1)
			show ("{NATURAL_64} 1 = {INTEGER_32} 1", {NATURAL_64} 1 = {INTEGER_32} 1)
			show ("{NATURAL_64} 1 = {INTEGER_64} 1", {NATURAL_64} 1 = {INTEGER_64} 1)
			show ("{NATURAL_64} 1 = {NATURAL_8} 1", {NATURAL_64} 1 = {NATURAL_8} 1)
			show ("{NATURAL_64} 1 = {NATURAL_16} 1", {NATURAL_64} 1 = {NATURAL_16} 1)
			show ("{NATURAL_64} 1 = {NATURAL_32} 1", {NATURAL_64} 1 = {NATURAL_32} 1)
			show ("{NATURAL_64} 1 = {NATURAL_64} 1", {NATURAL_64} 1 = {NATURAL_64} 1)
			c := 1
			d := 1
			show ("c = d", c = d)
		end

	c: INTEGER_8
	d: NATURAL_32

	show (s: STRING b: BOOLEAN) is
		do
			if not b then
				io.put_string (s + "   ");
				io.put_boolean (b); io.new_line
			end
		end
end