22 commits

Author	SHA1	Message	Date
Aleksey Kladov	b28c54a2c2	Rename ra_hir_def -> hir_def	2020-08-13 16:29:33 +02:00
Aleksey Kladov	a1c187eef3	Rename ra_syntax -> syntax	2020-08-12 18:30:53 +02:00
Aleksey Kladov	98baa9b569	Rename ra_arena	2020-08-12 16:22:05 +02:00
Paul Daniel Faria	b9569886a9	Rename Expr::UnsafeBlock to Expr::Unsafe	2020-06-27 10:10:26 -04:00
Paul Daniel Faria	278cbf12cd	Track unsafe blocks, don't trigger missing unsafe diagnostic when unsafe exprs within unsafe block	2020-06-27 10:10:26 -04:00
robojumper	cc6ba84c40	fmt	2020-05-31 12:06:22 +02:00
robojumper	1cd78a3355	correctly infer labelled breaks	2020-05-31 11:40:18 +02:00
robojumper	367487fe88	Support raw_ref_op's raw reference operator	2020-05-28 21:42:22 +02:00
Aleksey Kladov	fd030f9450	Revert "Merge #4233" ... This reverts commit a5f2b16366, reversing changes made to c96b2180c1.	2020-05-02 01:12:37 +02:00
Aleksey Kladov	14126349be	Kill more zombies	2020-04-30 22:58:26 +02:00
Josh Mcguigan	ee822d19b7	handle tuple patterns with ellipsis	2020-04-13 08:19:19 -07:00
Josh Mcguigan	e63315b8f1	add record pat missing field diagnostic	2020-04-10 06:35:52 -07:00
Aleksey Kladov	f840fcb2f5	Simplify Arena to use a generic index	2020-03-19 18:46:30 +01:00
Florian Diebold	f1f45f9191	Fix handling of const patterns ... E.g. in `match x { None => ... }`, `None` is a path pattern (resolving to the option variant), not a binding. To determine this, we need to try to resolve the name during lowering. This isn't too hard since we already need to resolve names for macro expansion anyway (though maybe a bit hacky). Fixes #1618.	2020-02-21 17:01:19 +01:00
bors[bot]	759100fb0d	Merge #3062 ... 3062: Implement slice pattern AST > HIR lowering r=jplatte a=jplatte WIP. The necessary changes for parsing are implemented, but actual inference is not yet. Just wanted to upload what I've got so far so it doesn't get duplicated :) Will fix #3043 Co-authored-by: Jonas Platte <jplatte+git@posteo.de>	2020-02-11 21:46:36 +00:00
Jonas Platte	a3b104aa6d	Implement slice pattern AST > HIR lowering	2020-02-11 22:33:11 +01:00
Matthew Jasper	8c8d0bb34f	Add or- and parenthesized-patterns	2020-02-09 22:06:15 +00:00
Florian Diebold	2a8c9100bf	Handle closure return types ... Fixes #2547.	2019-12-20 18:16:11 +01:00
oxalica	2cb684bbce	Reduce variants of Expr	2019-11-29 14:49:12 +08:00
oxalica	4992d2bf79	Infer range types	2019-11-29 03:10:16 +08:00
Aleksey Kladov	fe5e74e083	Add helpful pointer to module docs	2019-11-12 18:53:26 +03:00
Aleksey Kladov	d09e5a3d9e	Move definition of exprs to hir_def	2019-11-12 15:09:25 +03:00