lean2/tests/lean/interactive/overload_coercion.input

VISIT overload_coercions.lean
SYNC 6
open nat num
variable a : nat
variable b : num
variable c : bool
check a + of_num b
check add a c
WAIT
INFO 5
INFO 6
test(tests/lean/interactive): add tests for coercion and overload info 2015-01-30 00:39:27 +00:00			`VISIT overload_coercions.lean`
			`SYNC 6`
			`open nat num`
			`variable a : nat`
			`variable b : num`
			`variable c : bool`
fix(tests/lean): adjust remaining tests to changes in the standard library 2015-10-14 01:35:16 +00:00			`check a + of_num b`
test(tests/lean/interactive): add tests for coercion and overload info 2015-01-30 00:39:27 +00:00			`check add a c`
			`WAIT`
			`INFO 5`
			`INFO 6`