Aleksey Kladov
|
bea75e0943
|
drop obsolete comment
|
2019-01-23 20:45:32 +03:00 |
|
Aleksey Kladov
|
59f830d3e8
|
assign DefIds when lowering
|
2019-01-23 19:49:11 +03:00 |
|
Aleksey Kladov
|
d4ed25d86f
|
introduced better typed AstPtr
|
2019-01-23 18:26:02 +03:00 |
|
Aleksey Kladov
|
e22b6edae5
|
refactor
|
2019-01-23 18:09:45 +03:00 |
|
Aleksey Kladov
|
343852d8b2
|
simiplify
|
2019-01-23 17:57:41 +03:00 |
|
Aleksey Kladov
|
d853e9b1ef
|
better names
|
2019-01-23 17:52:35 +03:00 |
|
Aleksey Kladov
|
7b901f86cd
|
move SyntaxPtr to ra_syntax
|
2019-01-23 17:37:10 +03:00 |
|
Aleksey Kladov
|
2dbf58c579
|
move completion item tests closer to the code
this is the reason why we need marks: the tests were spread across two
files, because I've forgotten that there were tests already
|
2019-01-23 16:05:13 +03:00 |
|
Aleksey Kladov
|
45da21672a
|
generalize marking infrastructure
|
2019-01-23 15:36:29 +03:00 |
|
Aleksey Kladov
|
28661facf6
|
⬆️ insta
|
2019-01-23 15:04:38 +03:00 |
|
gfreezy
|
13d2fd32ab
|
fix completion bugs
|
2019-01-23 15:43:47 +08:00 |
|
Jeremy A. Kolb
|
7c27e6d2b3
|
Update snaps
|
2019-01-22 09:51:29 -05:00 |
|
Jeremy Kolb
|
b540451483
|
Move docs to Function
|
2019-01-22 08:55:05 -05:00 |
|
Jeremy Kolb
|
b77d780f0e
|
Thread documentation through FnSignature and CompletionItem
|
2019-01-21 21:42:37 -05:00 |
|
Aleksey Kladov
|
49596bbc2b
|
⬆️ insta
|
2019-01-22 01:28:57 +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
|
5f3509e140
|
Add an assert
|
2019-01-19 19:00:36 +01:00 |
|
Florian Diebold
|
969f588025
|
Generics -> GenericParams
|
2019-01-19 18:58:04 +01:00 |
|
Florian Diebold
|
9e4b5ecec4
|
Make generics work in struct patterns
|
2019-01-19 16:02:06 +01:00 |
|
Florian Diebold
|
d37bb128ef
|
Collect generic args in struct variant paths as well
|
2019-01-19 16:02:06 +01:00 |
|
Florian Diebold
|
cc4562ab6e
|
Collect generic args in type paths
E.g. `let x: A<X>` is handled correctly.
|
2019-01-19 16:02:06 +01:00 |
|
Florian Diebold
|
fa7f9d696f
|
Make Module impl methods crate-private, update some comments
|
2019-01-19 16:02:06 +01:00 |
|
Florian Diebold
|
5862542ded
|
Add AST/HIR for type args in path segments
|
2019-01-19 16:02:06 +01:00 |
|
Florian Diebold
|
688a45e00b
|
Implement beginnings of generics
- add HIR for generic params
- resolve generic params in type paths
- add substitions for ADTs
- insert type variables for substitutions
|
2019-01-19 16:02:06 +01:00 |
|
Florian Diebold
|
415cdc5210
|
Add some tests
|
2019-01-19 15:49:48 +01:00 |
|
Florian Diebold
|
573f6f8656
|
Refactor/simplify path resolution
|
2019-01-19 14:48:07 +01: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 |
|