55 Commits

Author	SHA1	Message	Date
Florian Diebold	afce8e4426	Use the new Resolver API for goto def	2019-02-01 22:45:43 +01:00
Florian Diebold	33ff7b56ff	Use the new Resolver API in completion	2019-02-01 22:45:25 +01:00
Florian Diebold	6b076f1931	Use new Resolver API in type inference	2019-02-01 22:45:23 +01:00
Florian Diebold	758bc72873	Implement methods to build a resolver	2019-02-01 22:17:48 +01:00
Florian Diebold	5208c2aa93	Sketching the resolver API	2019-02-01 22:14:34 +01:00