Commit Graph

1417 Commits

Author SHA1 Message Date
bors[bot] 595a2f9900 Merge #593
593: Docs for completion r=matklad a=kjeremy

The first commit adds documentation support to CompletionItems.

The second one I am unsure about. Is that the right way to add docs for functions? If so should I do something similar for other `hir` types and CompletionItems?

Co-authored-by: Jeremy Kolb <kjeremy@gmail.com>
Co-authored-by: Jeremy A. Kolb <jkolb@ara.com>
2019-01-22 15:06:32 +00: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
bors[bot] 9e0abfc0c9 Merge #592
592: Allow types to the left of `:` in where predicates r=matklad a=regiontog

Adresses #584 

Co-authored-by: Erlend Tobiassen <erlend.tobiassen@gmail.com>
2019-01-22 13:49:33 +00:00
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
Aleksey Kladov cd67fb3ac1 fold macros 2019-01-22 16:26:32 +03: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
Jeremy Kolb b77d780f0e Thread documentation through FnSignature and CompletionItem 2019-01-21 21:42:37 -05:00
Jeremy Kolb 5d110c0ee2 Teach CompletionItem about documentation 2019-01-21 21:41:39 -05: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
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
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
Florian Diebold e45f476d56 Fix panic trying to get substs on unknown type
Fixes #585.
2019-01-21 21:42:19 +01: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
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
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
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
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
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
gfreezy 64342599ca ignore unused methods 2019-01-19 22:11:38 +08:00
gfreezy d08e81cdd8 refactor completions to use TextEdit instead of InsertText 2019-01-19 22:02:50 +08: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