89 commits

Author	SHA1	Message	Date
Aleksey Kladov	3f0cf6ebe1	rename persistent hir database -> def database	2019-03-23 15:44:24 +03:00
Aleksey Kladov	6955e392f8	remove old macro support	2019-03-17 12:53:22 +03:00
Aleksey Kladov	967a4b64af	Reorganize name resolution	2019-03-17 12:53:22 +03:00
Aleksey Kladov	b2a6c17362	remove lower module	2019-03-17 12:52:52 +03:00
Aleksey Kladov	c7259a899c	remove ItemMap	2019-03-17 12:52:05 +03:00
Aleksey Kladov	2195d1db6d	Replace module_tree with CrateDefMap	2019-03-17 12:49:07 +03:00
Florian Diebold	7faae12311	Remove FnSig from FnDef type ... It doesn't need to be in there since it's just information from the def. Another step towards aligning Ty with Chalk's representation.	2019-03-16 17:29:55 +01:00
Aleksey Kladov	80bb7d86ec	align lower module query names	2019-03-02 16:49:06 +03:00
Aleksey Kladov	f4c5383103	dont store body inside source map	2019-03-02 16:18:40 +03:00
Aleksey Kladov	eaf1df26e9	rename syntax-mapping -> source-map	2019-03-02 15:40:40 +03:00
Ville Penttinen	29f93a7906	Add static type inference	2019-02-25 10:55:23 +02:00
Ville Penttinen	18b0bd9bff	Add const type inference	2019-02-25 10:51:46 +02:00
Florian Diebold	bd8ed644e4	Rename Type => TypeAlias	2019-02-24 21:36:49 +01:00
Florian Diebold	5d72b96988	Implement support for type aliases	2019-02-24 20:54:04 +01:00
Florian Diebold	b82db68400	Handle tuple structs / enum variants properly in type inference	2019-02-17 20:53:13 +01:00
Aleksey Kladov	28fd228c70	remove query_definitions	2019-02-11 17:44:54 +03:00
Aleksey Kladov	dbf9820e35	make HirDatabase object-safe	2019-02-03 22:15:31 +03:00
csmoe	4dffdcf14a	split HirDatabase api	2019-02-01 22:05:24 +08:00
csmoe	12433a7887	split hirdatabase	2019-02-01 21:36:51 +08:00
Florian Diebold	1acff307fe	Move expr_scopes query to its module	2019-01-30 21:39:34 +01:00
Florian Diebold	65864d85f9	Rename FnScopes -> ExprScopes ... The reason for this is that it describes scopes for any body expression, not just that of a function. It did not actually refer to functions at all anymore.	2019-01-30 21:23:50 +01:00
Aleksey Kladov	ef7eb8c257	Use Crate instead of CrateId	2019-01-30 22:37:20 +03:00
Aleksey Kladov	95aa7e46fc	move item_map_query	2019-01-30 22:36:22 +03:00
Jeremy Kolb	3c17643b30	Go to Implementation for structs and enums	2019-01-29 19:13:02 -05:00
Aleksey Kladov	a128075af9	remove Option<SourceFileItemId> hack	2019-01-26 23:27:01 +03:00
Aleksey Kladov	9457b1f0e6	rename source_file -> parse	2019-01-26 11:51:36 +03:00
Aleksey Kladov	4711cbcace	rename FilesDatabase -> SourceDatabase	2019-01-26 11:20:30 +03:00
Aleksey Kladov	be1a005ebd	fold syntax database into files database	2019-01-26 11:09:39 +03:00
Aleksey Kladov	1fd18f020d	⬆️ salsa	2019-01-25 23:27:16 +03:00
Aleksey Kladov	87ac5f5b36	use positional ids for fields	2019-01-25 14:21:14 +03:00
Aleksey Kladov	87288d802c	pack enum variants into arena	2019-01-25 12:50:46 +03:00
Aleksey Kladov	4c514a3e02	move enum variant to the new API	2019-01-24 23:32:41 +03:00
Aleksey Kladov	566c8e321e	migrate enums to new id	2019-01-24 18:56:38 +03:00
Aleksey Kladov	60a607d33f	new struct id	2019-01-24 17:54:18 +03:00
Aleksey Kladov	ec7ed054e0	Functions use new id scheme	2019-01-24 15:28:50 +03:00
Aleksey Kladov	3ab1519cb2	Change ids strategy ... this is a part of larghish hir refactoring which aims to * replace per-source-root module trees with per crate trees * switch from a monotyped DedId to type-specific ids	2019-01-24 13:29:19 +03:00
Aleksey Kladov	9fe09db771	encapsulate hir locations	2019-01-24 12:41:08 +03:00
Florian Diebold	969f588025	Generics -> GenericParams	2019-01-19 18:58:04 +01:00
Florian Diebold	688a45e00b	Implement beginnings of generics ... - add HIR for generic params - resolve generic params in type paths - add substitions for ADTs - insert type variables for substitutions	2019-01-19 16:02:06 +01:00
Aleksey Kladov	63f7dadc11	rename LoweredImport -> ImportId	2019-01-19 15:37:25 +03:00
Aleksey Kladov	c0aeb5204c	switched to lowerd module	2019-01-19 15:37:25 +03:00
Aleksey Kladov	789772e8e5	move input module items to the lower module	2019-01-19 15:37:25 +03:00
Aleksey Kladov	a2ca03d10b	⬆️ salsa	2019-01-17 14:11:00 +03:00
Aleksey Kladov	8ba9c2d4ce	remove Cancelable from type inference	2019-01-15 20:54:18 +03:00
Aleksey Kladov	b871062e32	remove Cancelable from Ty	2019-01-15 20:43:37 +03:00
Aleksey Kladov	fafcd103d2	remove Cancelable from ids	2019-01-15 19:18:52 +03:00
Aleksey Kladov	490112dea1	remove Cancelable from nameres	2019-01-15 19:15:01 +03:00
Aleksey Kladov	18e9a710cd	remove Cancelable from fn_scopes	2019-01-15 19:04:49 +03:00
Aleksey Kladov	040a622c52	remove Cancelable from funciton body	2019-01-15 19:01:59 +03:00
Aleksey Kladov	9446be2999	remove Cancelable from adt API	2019-01-15 18:43:25 +03:00