1377 Commits

Author	SHA1	Message	Date
gfreezy	94d96b60f3	refactor to use remove_range and replace_range instead of TextEdit	2019-01-20 00:38:34 +08:00
gfreezy	64342599ca	ignore unused methods	2019-01-19 22:11:38 +08:00
gfreezy	d08e81cdd8	refactor completions to use TextEdit instead of InsertText	2019-01-19 22:02:50 +08:00
Marcus Klaas de Vries	fa43ef30f4	Change parsing of struct field patterns	2019-01-19 15:37:26 +03:00
Marcus Klaas de Vries	bcbfa2cc11	Finish move of StructField for pattern type inference	2019-01-19 15:37:26 +03:00
Marcus Klaas de Vries	4277f420aa	Replace Expectation by &Ty in infer_pat method	2019-01-19 15:37:26 +03:00
Marcus Klaas de Vries	f9a6050034	Move parsing of field pattern lists to the parser (where it belongs)	2019-01-19 15:37:26 +03:00
Marcus Klaas de Vries	d2769837f1	Move pattern type inference from adt::StructField to core_model_impl (WIP)	2019-01-19 15:37:26 +03:00
Marcus Klaas de Vries	b5466f3fb3	Address issues flagged in review	2019-01-19 15:37:26 +03:00
Marcus Klaas de Vries	5027c5d4ee	Fix bug in match arm type unification	2019-01-19 15:37:26 +03:00
Marcus Klaas de Vries	44e9a9605b	Fixup annotated bindings	2019-01-19 15:37:26 +03:00
Marcus Klaas de Vries	d48d5b8b6c	Add initial (flawed) implementation of binding annotations	2019-01-19 15:37:26 +03:00
Marcus Klaas de Vries	9433a108cf	Make pattern inference work w/o proper expecations	2019-01-19 15:37:25 +03:00
Marcus Klaas de Vries	be1b4034a5	Infer pattern types for lambdas and loops	2019-01-19 15:37:25 +03:00
Marcus Klaas de Vries	06d16a18f6	Implement match binding type inference and arm unification	2019-01-19 15:37:25 +03:00
Marcus Klaas de Vries	ac216880f5	Implement unlabeled struct field pattern inference	2019-01-19 15:37:25 +03:00
Marcus Klaas de Vries	3340807bd2	Get basic struct pattern type inference working!	2019-01-19 15:37:25 +03:00
Marcus Klaas de Vries	ab5deb7811	Create struct patterns up to the hir level	2019-01-19 15:37:25 +03:00
Marcus Klaas de Vries	9c2d83a4c8	Add crude implementation of tuplestruct pattern inference	2019-01-19 15:37:25 +03:00
Marcus Klaas de Vries	3b0de53904	Work on type inference for ADT patterns	2019-01-19 15:37:25 +03:00
Marcus Klaas de Vries	5648dcd36e	Implement type inference for tuples and refs	2019-01-19 15:37:25 +03:00
Marcus Klaas de Vries	afaa26636e	Add additional pattern variants	2019-01-19 15:37:25 +03:00
Aleksey Kladov	e13c9188fe	fix the test	2019-01-19 15:37:25 +03: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	b93c6bc557	simplify	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
gfreezy	99e8499957	more idiomatic code	2019-01-19 15:36:58 +03:00
gfreezy	360167db16	prefer inline tests	2019-01-19 15:36:58 +03:00
gfreezy	6ab6d1eaa0	fix comments	2019-01-19 15:36:58 +03:00
gfreezy	5c8cb56506	move rename to a new mod	2019-01-19 15:36:58 +03:00
gfreezy	bc0f79f74a	rename mod	2019-01-19 15:36:58 +03:00
Aleksey Kladov	b82fe73d1a	make token set a const-fn	2019-01-19 15:36:58 +03:00
Aleksey Kladov	b028472481	⬆️ update rust	2019-01-19 15:36:58 +03:00
Aleksey Kladov	a2ca03d10b	⬆️ salsa	2019-01-17 14:11:00 +03:00
Hirokazu Hata	0aedd4fb2f	Add Ty::Array to walk_mut	2019-01-17 00:08:53 +09:00
Hirokazu Hata	f66ca1bd2e	Fix test case invalid syntax	2019-01-16 23:39:14 +09:00
Hirokazu Hata	5c570fa770	Remove unneeded code	2019-01-16 23:39:14 +09:00
Hirokazu Hata	478ce1c8b5	Fix infer array test	2019-01-16 23:37:42 +09:00
Hirokazu Hata	5d3884d5b4	Fix Ty::Array	2019-01-16 23:37:42 +09:00
Hirokazu Hata	2a3262c757	Add infer array test	2019-01-16 23:35:06 +09:00
Hirokazu Hata	d665acbbec	Implement array inference	2019-01-16 23:35:06 +09:00
Hirokazu Hata	4729a1b054	Update ARRAY_EXPR grammar	2019-01-16 23:22:14 +09:00
bors[bot]	d75a0368f5	Merge #536 ... 536: Introduce variable semicolon block expr r=matklad a=yerke Fix for https://github.com/rust-analyzer/rust-analyzer/issues/504 Feels a bit hacky... Co-authored-by: Yerkebulan Tulibergenov <yerkebulan@gmail.com>	2019-01-16 06:20:09 +00:00
Yerkebulan Tulibergenov	67ddd33598	don't need SEMI any more	2019-01-15 20:29:37 -08:00
Yerkebulan Tulibergenov	de7c0f814c	delete unused fn	2019-01-15 20:28:01 -08:00
Yerkebulan Tulibergenov	4dd7ec94bc	use has_semi	2019-01-15 20:27:15 -08:00
Yerkebulan Tulibergenov	5e35f191fc	add has_semi to ExprStmt	2019-01-15 20:26:46 -08:00
Marcus Klaas de Vries	a2b6d3da30	Implement rudimentary type inference for unary operators	2019-01-16 00:04:39 +01:00
Aleksey Kladov	8338acfd3a	kill last cancelables	2019-01-15 21:17:10 +03:00