Commit graph

2167 commits

Author SHA1 Message Date
Erlend Tobiassen
84f888e93d No need for is_type_start 2019-01-22 14:46:06 +01:00
Erlend Tobiassen
9f3d133813 Prefer TYPE_FIRST 2019-01-22 14:36:57 +01:00
Erlend Tobiassen
8198cde13b
Update tests after allowing where predicate to accept types 2019-01-22 14:32:23 +01:00
Erlend Tobiassen
2b22f5fb43 Optimistically bail out of where clause loop if not at start of a type or lifetime 2019-01-22 13:17:10 +01:00
Erlend Tobiassen
1aba42128f Don't leave a marker hanging without completing it. 2019-01-22 01:25:00 +01:00
Erlend Tobiassen
1059ec74e2 Allow types to the left of : in where predicates. 2019-01-22 01:11:35 +01:00
bors[bot]
b59334e67a Merge #591
591: ⬆️ insta r=matklad a=matklad



Co-authored-by: Aleksey Kladov <aleksey.kladov@gmail.com>
2019-01-21 22:29:25 +00:00
Aleksey Kladov
49596bbc2b ⬆️ insta 2019-01-22 01:28:57 +03:00
bors[bot]
5a753b39c7 Merge #590
590: Use insta for ty tests r=matklad a=flodiebold



Co-authored-by: Florian Diebold <flodiebold@gmail.com>
2019-01-21 22:16:33 +00:00
bors[bot]
79720549be Merge #588
588: Fix .not postfix completion r=matklad a=flodiebold

The postfix snippets are awesome! I don't think the `.not` one is supposed to always replace the receiver by literally `!not` 😄 

Co-authored-by: Florian Diebold <flodiebold@gmail.com>
2019-01-21 22:10:43 +00:00
Florian Diebold
a252110616 Use insta for ty tests 2019-01-21 22:52:35 +01:00
Florian Diebold
0cfd80422a Fix .not postfix completion 2019-01-21 22:33:30 +01:00
bors[bot]
0d2cb60f93 Merge #586
586: Fix panic trying to get substs on unknown type r=matklad a=flodiebold

Fixes #585.

Co-authored-by: Florian Diebold <flodiebold@gmail.com>
2019-01-21 20:47:01 +00:00
Florian Diebold
e45f476d56 Fix panic trying to get substs on unknown type
Fixes #585.
2019-01-21 21:42:19 +01:00
Aleksey Kladov
e0d8c86563 mention guide in architecture 2019-01-21 10:27:01 +02:00
Aleksey Kladov
5a4276b1af add illustrations 2019-01-21 10:27:01 +02:00
Pascal Hertleif
9b0aa786ee Apply suggestions from code review
Co-Authored-By: matklad <aleksey.kladov@gmail.com>
2019-01-21 10:27:01 +02:00
Aleksey Kladov
f0a26d93c7 create a reference cycle by linking the video 2019-01-21 10:27:01 +02:00
Aleksey Kladov
ce47d6b7b6 reach fixed-point for rust-analyzer spelling 2019-01-21 10:27:01 +02:00
Aleksey Kladov
7433842040 fix a ton of typos 2019-01-21 10:27:01 +02:00
Aleksey Kladov
068db9fd6d fix the tag 2019-01-21 10:27:01 +02:00
Aleksey Kladov
c33202ec82 complete completion section 2019-01-21 10:27:01 +02:00
Aleksey Kladov
6789e5a6e7 start completions walkthrough 2019-01-21 10:27:01 +02:00
Aleksey Kladov
11bdb7835f write about type inference 2019-01-21 10:27:01 +02:00
Aleksey Kladov
43e7d80ec4 source map pattern 2019-01-21 10:27:01 +02:00
Aleksey Kladov
c00059c822 guide about recursive macto magic 2019-01-21 10:27:01 +02:00
Aleksey Kladov
d832149a1f start chapter about interners 2019-01-21 10:27:01 +02:00
Aleksey Kladov
cb8dfab21c finish modules section 2019-01-21 10:27:01 +02:00
Aleksey Kladov
7e1d866481 add guide 2019-01-21 10:27:01 +02:00
bors[bot]
237bb929f4 Merge #582
582: Postfix completion r=matklad a=gfreezy

resolved #525 

Co-authored-by: gfreezy <gfreezy@gmail.com>
2019-01-21 08:12:14 +00:00
bors[bot]
87c86a573c Merge #581
581: Typo fix r=DJMcNab a=gfreezy



Co-authored-by: gfreezy <gfreezy@gmail.com>
2019-01-21 07:26:45 +00:00
gfreezy
5d1a63c695 postfix completion 2019-01-21 13:19:51 +08:00
gfreezy
77d9611e6b typos fix 2019-01-21 10:35:18 +08:00
bors[bot]
f133702f72 Merge #574
574: refactor completions to use TextEdit instead of InsertText r=matklad a=gfreezy

1. migrate from `insertText` to `TextEdit` from `CompleteItem`
2. use `insta` to test completions

Co-authored-by: gfreezy <gfreezy@gmail.com>
2019-01-20 18:27:23 +00:00
bors[bot]
b89f8b6b49 Merge #580
580: extend selection expands macros and can totally panic r=matklad a=matklad



Co-authored-by: Aleksey Kladov <aleksey.kladov@gmail.com>
2019-01-20 18:17:18 +00:00
Aleksey Kladov
73836cdbbc extend selection expands macros and can totally panic 2019-01-20 21:05:01 +03:00
Aleksey Kladov
171f6e6d00 somewhat better name 2019-01-20 21:01:11 +03:00
Aleksey Kladov
1ec1bd8139 make matching brace consistent 2019-01-20 20:59:46 +03:00
Aleksey Kladov
c517696fab use with_db consistently 2019-01-20 20:55:08 +03:00
bors[bot]
3508ba9bc2 Merge #579
579: Fix panic on inferring field access on an enum r=matklad a=flodiebold

Seen while skipping through https://youtu.be/ANKBNiSWyfc ;)

Co-authored-by: Florian Diebold <flodiebold@gmail.com>
2019-01-20 17:26:26 +00:00
Florian Diebold
3c4a4c6ae9 Fix panic on inferring field access on an enum 2019-01-20 18:14:19 +01:00
gfreezy
fd8db14c2f fix tests 2019-01-20 17:28:10 +08:00
gfreezy
ecc5a2e3df workaround for trigger character 2019-01-20 13:34:16 +08:00
gfreezy
2a43638052 use a combination of source_change and text_edit for CompleteItem 2019-01-20 12:02:00 +08:00
bors[bot]
1c296d54e3 Merge #576
576: Beginnings of generics r=matklad a=flodiebold

This implements the beginnings of the generics infrastructure; generic parameters for structs work and are correctly substituted in fields. Functions and methods aren't handled at all yet (as the tests show).

The name resolution in `ty` really needs refactoring now, I hope to do that next ;)

Co-authored-by: Florian Diebold <flodiebold@gmail.com>
2019-01-19 18:03:36 +00: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
gfreezy
94d96b60f3 refactor to use remove_range and replace_range instead of TextEdit 2019-01-20 00:38:34 +08: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