inform7/inter/Tests/General/Redundancies.intert

package main _plain
	kind K_number int32
	kind K_phrase_number____nothing function K_number -> void
	package MyRoutine_B _code
		local (/main/K_number) x
		local (/main/K_number) y
		code
			inv !return
				val x
			.useless
			inv !return
				inv !plus
					val x
					val y
			inv !return
				inv !minus
					val x
					val y
			inv !jump
				lab .useful
			.useful
			inv !return
				inv !modulo
					val x
					val y
	constant (K_phrase_number____nothing) MyRoutine = function MyRoutine_B
Added test case for label eliminator 2019-07-13 13:03:54 +03:00			`package main _plain`
Updating inter test suite to catch up with recent developments 2022-02-13 01:27:30 +02:00			`kind K_number int32`
			`kind K_phrase_number____nothing function K_number -> void`
			`package MyRoutine_B _code`
Further use of optional kind-checking in Inter 2022-02-15 12:04:22 +02:00			`local (/main/K_number) x`
			`local (/main/K_number) y`
Updating inter test suite to catch up with recent developments 2022-02-13 01:27:30 +02:00			`code`
			`inv !return`
Beginning to make kind-checking optional in Inter 2022-02-15 01:45:34 +02:00			`val x`
Updating inter test suite to catch up with recent developments 2022-02-13 01:27:30 +02:00			`.useless`
			`inv !return`
			`inv !plus`
Beginning to make kind-checking optional in Inter 2022-02-15 01:45:34 +02:00			`val x`
			`val y`
Updating inter test suite to catch up with recent developments 2022-02-13 01:27:30 +02:00			`inv !return`
			`inv !minus`
Beginning to make kind-checking optional in Inter 2022-02-15 01:45:34 +02:00			`val x`
			`val y`
Updating inter test suite to catch up with recent developments 2022-02-13 01:27:30 +02:00			`inv !jump`
			`lab .useful`
			`.useful`
			`inv !return`
			`inv !modulo`
Beginning to make kind-checking optional in Inter 2022-02-15 01:45:34 +02:00			`val x`
			`val y`
Further attempts to abstract types 2022-02-18 00:58:43 +02:00			`constant (K_phrase_number____nothing) MyRoutine = function MyRoutine_B`