261 commits

Author	SHA1	Message	Date
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	5c8cb56506	move rename to a new mod	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
Marcus Klaas de Vries	a2b6d3da30	Implement rudimentary type inference for unary operators	2019-01-16 00:04:39 +01:00
Aleksey Kladov	02c3d2f78e	hir is cancelation free	2019-01-15 20:56:06 +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	f1367e0370	remove Cancelable from navigation target	2019-01-15 18:50:16 +03:00
Aleksey Kladov	9dd4099d93	remove Cancelable from static&const API	2019-01-15 18:45:01 +03:00
Aleksey Kladov	9446be2999	remove Cancelable from adt API	2019-01-15 18:43:25 +03:00
Aleksey Kladov	8af9a18660	remove Cancelable from Crate API	2019-01-15 18:33:26 +03:00
Aleksey Kladov	c159e414b4	remove Cancelable from Module API, part 2	2019-01-15 18:30:58 +03:00
Aleksey Kladov	ca52cf1ecd	remove Cancelable from Module API	2019-01-15 18:26:29 +03:00
Aleksey Kladov	11f3c8afb2	remove Cancelable from source binders	2019-01-15 18:13:49 +03:00
Aleksey Kladov	68ff52566d	remove Cancelable from module_tree_query	2019-01-15 17:55:15 +03:00
Aleksey Kladov	fedd320cf2	check_canceled does not return Result	2019-01-15 15:45:48 +03:00
Aleksey Kladov	dd45697e53	update salsa	2019-01-15 15:06:45 +03:00
Marcus Klaas de Vries	37ba237e66	Address issues found in review	2019-01-14 21:52:08 +01:00
Marcus Klaas de Vries	d67eabb512	Fix type inference for raw (byte) strings	2019-01-14 20:56:14 +01:00
Marcus Klaas de Vries	2689348772	Give literal expression default values for now	2019-01-14 19:46:10 +01:00
Marcus Klaas de Vries	a9a6a50c75	Fixup tests	2019-01-14 19:30:21 +01:00
Marcus Klaas de Vries	606d66a714	Start moving literal interpretation to the AST (WIP)	2019-01-14 13:56:43 +01:00
Marcus Klaas de Vries	81bc8e4973	don't try to treat arrays and tuples as literals	2019-01-14 13:55:49 +01:00
Marcus Klaas de Vries	1574715be5	Use type variables to determine exact type for ambiguous numeric literals	2019-01-14 13:54:31 +01:00