75 commits

Author	SHA1	Message	Date
Florian Diebold	c098a3fda5	Add comment and mark	2019-02-09 22:03:01 +01:00
Florian Diebold	a28d4befaf	Fix another crash, and try harder to prevent stack overflows	2019-02-09 21:53:55 +01:00
Florian Diebold	c0c3b37255	Fix another crash found when analyzing rustc	2019-02-09 21:37:30 +01:00
Florian Diebold	f1afc93353	Fix handling of literal patterns ... Wrap them in a LiteralPat node so they can be distinguished from literal expressions.	2019-02-09 21:37:30 +01:00
Florian Diebold	7ebde241c0	Fix two crashes found by running inference on all of rustc	2019-02-09 21:37:09 +01:00
Aleksey Kladov	12e3b4c70b	reformat the world	2019-02-08 14:49:43 +03:00
kjeremy	5227102c12	Test more Self inference	2019-02-04 14:44:06 -05:00
bors[bot]	28fdb8d03c	Merge #701 ... 701: Minor type inference tweaks r=flodiebold a=marcusklaas Pass down expectation for reference expressions and type the guard in match expressions. I wasn't able to add a test for the former addition because the type variable previously introduced would always resolve to the right type in the things I tried! Co-authored-by: Marcus Klaas de Vries <mail@marcusklaas.nl>	2019-01-30 20:51:47 +00:00
Marcus Klaas de Vries	13cb4a1b37	Add test for passing on ref expectations	2019-01-30 21:14:26 +01:00
Marcus Klaas de Vries	3daca3eb4d	Infer type of match guard	2019-01-28 23:09:14 +01:00
WizardOfMenlo	9416904d14	Added support for primitive types type inference when using std::ops::Not	2019-01-28 14:52:43 +00:00
Marcus Klaas de Vries	6249989e6c	Process second review	2019-01-27 17:59:21 +01:00
Marcus Klaas de Vries	f6eb44cd9e	Use type information from the turbofish	2019-01-27 17:59:21 +01:00
Marcus Klaas de Vries	3bd47c0285	First attempt at generic type inference for fns	2019-01-27 17:59:21 +01:00
Florian Diebold	94bbb2418a	Add marks	2019-01-26 23:59:11 +01:00
Florian Diebold	77f92674f9	Handle cycles in type vars ... This might be the cause of #587.	2019-01-26 23:48:01 +01:00
Aleksey Kladov	619af1e22c	fix AST for if expressions ... then is not always a block...	2019-01-27 00:37:11 +03:00
Aleksey Kladov	9457b1f0e6	rename source_file -> parse	2019-01-26 11:51:36 +03:00
Aleksey Kladov	4711cbcace	rename FilesDatabase -> SourceDatabase	2019-01-26 11:20:30 +03:00
Aleksey Kladov	be1a005ebd	fold syntax database into files database	2019-01-26 11:09:39 +03:00
Florian Diebold	5a1385007c	Fix type inference of binops on int/float variables ... Fixes #651.	2019-01-25 21:32:49 +01:00
Aleksey Kladov	7b901f86cd	move SyntaxPtr to ra_syntax	2019-01-23 17:37:10 +03:00
Florian Diebold	a252110616	Use insta for ty tests	2019-01-21 22:52:35 +01:00
Florian Diebold	e45f476d56	Fix panic trying to get substs on unknown type ... Fixes #585.	2019-01-21 21:42:19 +01:00
Florian Diebold	3c4a4c6ae9	Fix panic on inferring field access on an enum	2019-01-20 18:14:19 +01:00
Florian Diebold	9e4b5ecec4	Make generics work in struct patterns	2019-01-19 16:02:06 +01:00
Florian Diebold	415cdc5210	Add some tests	2019-01-19 15:49:48 +01: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	be1b4034a5	Infer pattern types for lambdas and loops	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	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	a2ca03d10b	⬆️ salsa	2019-01-17 14:11:00 +03:00
Hirokazu Hata	f66ca1bd2e	Fix test case invalid syntax	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	2a3262c757	Add infer array test	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	8ba9c2d4ce	remove Cancelable from type inference	2019-01-15 20:54:18 +03:00
Aleksey Kladov	18e9a710cd	remove Cancelable from fn_scopes	2019-01-15 19:04:49 +03:00
Aleksey Kladov	11f3c8afb2	remove Cancelable from source binders	2019-01-15 18:13:49 +03: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	a9a6a50c75	Fixup tests	2019-01-14 19:30:21 +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
Marcus Klaas de Vries	a6146d35b1	Implement type inference for literals (WIP)	2019-01-14 13:52:55 +01:00
Hirokazu Hata	139da0841d	Fix tuple test case	2019-01-13 22:23:06 +09:00
Hirokazu Hata	829f668bd7	Add infer tuple test	2019-01-13 21:04:03 +09:00