482 commits

Author	SHA1	Message	Date
Aleksey Kladov	3564fbb7f5	Auto-upgrade some insta snapshots	2019-11-15 12:56:24 +03:00
Aleksey Kladov	1583ab1558	Move body queries to hir_def	2019-11-14 17:37:22 +03:00
Aleksey Kladov	70dd70b1fc	Reduce duplication between uncertain floats & ints	2019-11-13 09:56:33 +03:00
Aleksey Kladov	1a90ad5802	Move expression lowering to hir_def	2019-11-12 18:46:57 +03:00
Aleksey Kladov	fe00db72b9	Remove owner from Body	2019-11-12 16:46:27 +03:00
Aleksey Kladov	d09e5a3d9e	Move definition of exprs to hir_def	2019-11-12 15:09:25 +03:00
Aleksey Kladov	f5e1b0f97c	Minor refactoring	2019-11-12 12:07:47 +03:00
Aleksey Kladov	fc055281a5	Minor cleanup	2019-11-12 11:49:16 +03:00
Aleksey Kladov	ff609cc497	Don't reexport generics from HIR	2019-11-11 17:22:06 +03:00
bors[bot]	ef2a9aedb6	Merge #2205 ... 2205: Implement bulitin line! macro r=matklad a=edwin0cheng This PR implements bulitin macro `line!` and add basic infra-structure for other bulitin macros: 1. Extend `MacroDefId` to support builtin macros 2. Add a `quote!` macro for simple quasi quoting. Note that for support others builtin macros, eager macro expansion have to be supported first, this PR not try to handle it. :) Co-authored-by: Edwin Cheng <edwin0cheng@gmail.com>	2019-11-11 10:53:24 +00:00
Edwin Cheng	c4aa8b63bc	Add line macro and tests	2019-11-11 14:15:09 +08:00
Aleksey Kladov	6294fd5ec9	Unfork struct and union ids	2019-11-09 15:34:00 +03:00
Aleksey Kladov	739babc391	Move Namespace enum closer to usage	2019-11-04 23:02:35 +03:00
Aleksey Kladov	74d827bb80	Rename MockDatabase -> TestDB ... Actually working rename is sooo useful!	2019-11-04 22:21:15 +03:00
Aleksey Kladov	24894aca31	Remove more duplication in test fixtures	2019-11-04 22:12:49 +03:00
Aleksey Kladov	dfdb6321ac	Use new text DSL instead of crate_graph! macro	2019-11-04 13:25:42 +03:00
Aleksey Kladov	f0eb9cc6e6	Remove last traces of nameres from hir	2019-11-03 23:49:44 +03:00
Aleksey Kladov	ba2efca2bb	Move CrateDefMap to hir_def	2019-11-03 18:04:06 +03:00
Aleksey Kladov	13735d91a7	Move diagnostics to hir_expand	2019-11-02 23:42:38 +03:00
Florian Diebold	b29092ade3	Various review fixes	2019-11-01 19:57:08 +01:00
Florian Diebold	dc4066ebed	Add some doc comments	2019-11-01 19:57:08 +01:00
Florian Diebold	79cb0a0dab	Complete trait assoc items	2019-11-01 19:57:08 +01:00
Florian Diebold	b0bf1deb7c	Refactor a bit	2019-11-01 19:57:08 +01:00
Florian Diebold	f4181deb0d	Don't do autoderef for path resolution	2019-11-01 19:57:08 +01:00
Florian Diebold	1173c3dab5	Refactor to unify with method resolution	2019-11-01 19:57:08 +01:00
Florian Diebold	c7cedea270	Record assoc item resolution	2019-11-01 19:57:08 +01:00
Florian Diebold	7b7133ec58	Insert type vars before doing assoc item resolution	2019-11-01 19:57:08 +01:00
Florian Diebold	44279ef1df	Add another unrelated, currently not working test	2019-11-01 19:57:08 +01:00
Florian Diebold	b634ba41e0	Get trait assoc item resolution mostly working	2019-11-01 19:57:08 +01:00
Aleksey Kladov	09f9733ca6	move struct & enum data to hir_def	2019-10-31 16:40:36 +03:00
Aleksey Kladov	b20d37cb49	move builtin types to hir_def	2019-10-31 10:51:54 +03:00
Aleksey Kladov	872ac566bf	push name down to hir_expand	2019-10-30 18:56:20 +03:00
Aleksey Kladov	e5300ad3ba	remove forward pointer for type_ref	2019-10-30 17:43:14 +03:00
Aleksey Kladov	e564334320	remove forward pointer to Path	2019-10-30 17:43:14 +03:00
Aleksey Kladov	f8ddef875a	remove forward pointer for name	2019-10-30 17:43:14 +03:00
Aleksey Kladov	c9cd6aa370	Move ids to hir_def crate	2019-10-30 13:11:38 +03:00
Aleksey Kladov	a136cc0653	introduce ra_hir_def	2019-10-30 12:27:54 +03:00
Florian Diebold	632a22ae62	Upgrade Chalk, make use of TypeName::Error variant	2019-10-29 13:01:33 +01:00
Florian Diebold	b342ee5616	Upgrade Chalk (without using its dyn/impl Trait support)	2019-10-26 15:11:39 +02:00
Laurențiu Nicola	a6b980d6d4	Bump deps	2019-10-17 18:08:11 +03:00
Shotaro Yamada	3a55b5bf01	make_mut_slice	2019-10-14 19:50:12 +09:00
Shotaro Yamada	b462eb96b8	import make_mut_arc_slice	2019-10-14 17:21:38 +09:00
Shotaro Yamada	965ca0d271	.collect() directly into Arc<[T]>	2019-10-14 14:25:05 +09:00
Shotaro Yamada	f8d4cdc170	Avoid cloning Arc<[T]> into a vec if possible	2019-10-14 14:25:05 +09:00
Florian Diebold	2955fbc7e1	Split up infer.rs further ... - coercion logic goes to `coerce.rs` - expression inference goes to `expr.rs` - pattern inference goes to `pat.rs`	2019-10-12 18:41:11 +02:00
kjeremy	4ba2c5b2de	Chalk update to simplified IR	2019-10-10 14:51:50 -04:00
bors[bot]	06a8deae4a	Merge #1969 ... 1969: restore coloring of attributes r=matklad a=matklad Co-authored-by: Aleksey Kladov <aleksey.kladov@gmail.com>	2019-10-08 11:55:27 +00:00
Aleksey Kladov	972079c0e3	macro DSL for cfg in tests	2019-10-08 14:39:44 +03:00
ice1000	b043358be9	Address comments: fix docs, add completion test for Self.	2019-10-08 07:32:41 -04:00
Aleksey Kladov	355419d404	use slightly more idiomatic api for cfg	2019-10-08 14:22:49 +03:00