126 commits

Author	SHA1	Message	Date
uHOOCCOOHu	8c078a0164	Infer box expression	2019-09-12 02:35:09 +08:00
Aleksey Kladov	6021a2a83a	cleanup hir db imports	2019-09-08 09:55:12 +03:00
Aleksey Kladov	9c3b25177e	Correctly build BodySourceMap for macro-expanded expressions	2019-09-03 11:04:38 +03:00
Aleksey Kladov	4b51c92fee	slightly simplify expr lowering flow	2019-09-03 09:41:21 +03:00
Aleksey Kladov	48ffbf29b7	use recrod terminology for hir::Pat	2019-09-03 08:59:09 +03:00
Aleksey Kladov	db69d134fb	move expr lowering to lower	2019-09-03 08:56:36 +03:00
Aleksey Kladov	5e3f291195	fix hir for new block syntax	2019-09-02 21:23:19 +03:00
Aleksey Kladov	f377b94628	remove useless trait	2019-09-02 19:45:41 +03:00
Dylan MacKenzie	1e991f2eaf	Convert BoxPat to Missing in HIR	2019-08-23 16:07:11 -07:00
Aleksey Kladov	5b18a4eef9	rename struct -> record, pos -> tuple	2019-08-23 16:59:50 +03:00
Aleksey Kladov	b50a04827c	remove ast::*Kind from hir	2019-08-19 14:04:51 +03:00
Aleksey Kladov	189d879659	implement initial type inference for index expressions	2019-08-17 18:05:20 +03:00
Aleksey Kladov	b082cd679a	normalize ordering ops	2019-08-17 17:51:01 +03:00
Aleksey Kladov	7e5a186c1f	Introduce separate hir::BinaryOp ... Unlike ast::BinOp, it has significantly more structure to it, so it's easier to, say, handle all assignment-like operations in the same way.	2019-08-17 17:42:41 +03:00
Aleksey Kladov	6efc79b89d	implement while let desugaring	2019-08-07 15:14:22 +02:00
Aleksey Kladov	39967a85e1	refactor if-let lowering ... mainly to get rid of unwraps	2019-08-07 13:57:24 +02:00
Aleksey Kladov	4d6475ada0	refactor if lowering	2019-08-07 12:32:32 +02:00
bors[bot]	dac6adbef9	Merge #1562 ... 1562: Continue support for .await r=matklad a=unrealhoang - add await expr to ast and HIR Expr - infer type for `.await` Co-authored-by: Unreal Hoang <unrealhoang@gmail.com>	2019-07-20 11:27:50 +00:00
Unreal Hoang	5ac9f5cdc7	add await expr to ast	2019-07-20 19:35:49 +09:00
Aleksey Kladov	6d5d82e412	move debug_dump to fmt::Debug	2019-07-20 12:48:24 +03:00
Aleksey Kladov	a6df224f7d	minor	2019-07-19 18:25:07 +03:00
Aleksey Kladov	e2b28f5bb8	migrate ra_hir to the new rowan	2019-07-19 13:16:25 +03:00
Muhammad Mominul Huque	012fec54dc	Constify KnownName's	2019-07-08 03:29:38 +06:00
Jeremy Kolb	4ad9e986ad	Some clippy fixes for 1.36	2019-07-04 17:43:00 -04:00
Aleksey Kladov	1834bae5b8	allow rustfmt to reorder imports ... This wasn't a right decision in the first place, the feature flag was broken in the last rustfmt release, and syntax highlighting of imports is more important anyway	2019-07-04 23:09:09 +03:00
Aleksey Kladov	c4512fadb1	remove inherent source impls	2019-06-11 18:28:51 +03:00
Aleksey Kladov	46bc8675ed	use Source for statics and consts	2019-06-11 18:28:51 +03:00
Aleksey Kladov	4f94af3c4a	use Source for Function	2019-06-11 18:28:51 +03:00
Aleksey Kladov	caefa6982b	remove some hacks from nameresolution for macros	2019-06-08 20:42:02 +03:00
Andrey Tkachenko	281c9eeaff	[#1083] Try block syntax	2019-06-06 15:43:26 +04:00
Edwin Cheng	371961be0e	Improve goto definition for MBE	2019-06-01 19:34:19 +08:00
Aleksey Kladov	caa8663c08	allow expanding expressions	2019-05-14 09:03:43 +03:00
Aleksey Kladov	101b3abfd7	store macro kind in HirFileId	2019-05-14 09:03:43 +03:00
Aleksey Kladov	9cba67b2ad	simplify	2019-05-12 23:03:37 +03:00
Sergey Parilin	26ed925685	fill struct fields diagnostic	2019-05-06 17:16:11 +03:00
Aleksey Kladov	bcf45371ff	make macro expansion into a proper query	2019-05-04 18:01:43 +03:00
Aleksey Kladov	5dc384132f	introduce macro_arg intermediate query ... Currently, when expanding macros, we look at the source code directly (we invoke ast_id_to_node query via to_node method). This is less then ideal, because it make us re-expand macros after every source change. This commit establishes a salsa-firewall: a query to get macro call's token tree. Unlike the syntax tree, token tree changes only if we actually modify the macro itself.	2019-05-04 17:38:09 +03:00
Aleksey Kladov	594aac059e	Use correct FileId when expanding macros in expressions	2019-05-01 15:53:13 +03:00
Lenard Pratt	1ab7066e32	Introduced resolve_macro_call on resolver ... changed to manual expansion fix for nested macros	2019-04-23 10:17:31 +01:00
Lenard Pratt	ce211434a6	Added macro resolution and expansion	2019-04-22 21:35:44 +01:00
Lenard Pratt	afaeb18910	Addeded resolver and db	2019-04-22 21:33:48 +01:00
Aleksey Kladov	f9e825d956	move ScopeEntryWithSyntax	2019-04-13 11:24:09 +03:00
Aleksey Kladov	a2cc76ce63	make resolver private	2019-04-13 11:03:02 +03:00
Aleksey Kladov	f4a94e74bc	fold ScopeWithSyntax into SourceAnalyzer	2019-04-13 10:49:01 +03:00
Aleksey Kladov	10d66d63d7	introduce SourceAnalyzer	2019-04-11 16:29:33 +03:00
Aleksey Kladov	6a8b3c1d4b	fix typo	2019-04-11 11:13:31 +03:00
Aleksey Kladov	10726fdb65	type-safer source-map for bindings	2019-04-10 10:48:15 +03:00
Lenard Pratt	e175921932	Added ArrayExprKind, ... changed the display for fixed array types, Added Array Enum to ra_hir/expr	2019-04-07 13:23:14 +01:00
Lenard Pratt	2d73c909fe	Added inference of array length	2019-04-07 13:23:12 +01:00
robojumper	ca40ca93a5	Parse and infer tuple indices	2019-04-06 01:07:35 +02:00