6 Commits

Author	SHA1	Message	Date
Dave Halter	066b8b7165	Avoid a print in tests	2020-01-24 22:11:52 +01:00
Dave Halter	7683c05de3	Fix value/context mixup in mixed, fixes #1479	2020-01-24 22:09:25 +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	902b355aea	Avoid recursion in a specific example, see also #1458	2019-12-20 01:33:41 +01:00
Dave Halter	e4d1e5455f	test_evaluate -> test_inference	2019-08-14 23:56:44 +02:00