4 Commits

Author	SHA1	Message	Date
Dave Halter	796a2b4df5	Move namespace tests to examples	2020-01-12 00:51:42 +01:00
Dave Halter	d7d9c9642a	Don't use goto_definitions anymore, use infer	2019-12-20 19:06:24 +01:00
Dave Halter	2cc898ba35	Get rid of completions in tests	2019-12-20 16:54:51 +01:00
Dave Halter	e4d1e5455f	test_evaluate -> test_inference	2019-08-14 23:56:44 +02:00