Commit Graph

5 Commits

Author SHA1 Message Date
Dave Halter
f31c90926e Move implicit namespace package code to example dir 2020-01-11 22:25:12 +01:00
Dave Halter
adff6d34a4 goto_assignment -> goto everywhere where it was left 2019-12-20 19:15:41 +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