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 |
|
DJMcNab
|
0a82d9cdc9
|
Add .vscode/settings.json to .gitignore
|
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 |
|
Andrew Ross
|
3d7f188065
|
Corrected the readme on debugging
|
2019-01-19 15:37:25 +03:00 |
|
Andrew Ross
|
843c42a1b9
|
Removed gif
Changed gif link
|
2019-01-19 15:36:58 +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 |
|
Andrew Ross
|
1800bfb6e6
|
Config for raLspServerPath will be overwritten if __RA_LSP_SERVER_DEBUG is set
Changed presentation from clear to reveal silent
Removed the vscode gitignore entry
Added debugging documentation
Added tasks and launch configs
|
2019-01-19 15:36:54 +03:00 |
|
bors[bot]
|
168c46ab77
|
Merge #561
561: ⬆️ salsa r=matklad a=matklad
Co-authored-by: Aleksey Kladov <aleksey.kladov@gmail.com>
|
2019-01-17 11:17:46 +00:00 |
|
Aleksey Kladov
|
a2ca03d10b
|
⬆️ salsa
|
2019-01-17 14:11:00 +03:00 |
|
bors[bot]
|
454cc31358
|
Merge #524
524: Implement array inference r=flodiebold a=h-michael
related #394
Co-authored-by: Hirokazu Hata <h.hata.ai.t@gmail.com>
|
2019-01-16 15:11:19 +00: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 |
|
bors[bot]
|
68d320a680
|
Merge #544
544: Implement rudimentary type inference for unary operators r=marcusklaas a=marcusklaas
Co-authored-by: Marcus Klaas de Vries <mail@marcusklaas.nl>
|
2019-01-15 23:05:28 +00:00 |
|
Marcus Klaas de Vries
|
a2b6d3da30
|
Implement rudimentary type inference for unary operators
|
2019-01-16 00:04:39 +01:00 |
|