Commit message (Collapse) | Author | Age | Files | Lines | ||
---|---|---|---|---|---|---|
... | ||||||
* | | Add optional range parameter to SyntaxTreeParams | Ville Penttinen | 2019-03-03 | 4 | -5/+148 | |
| | | | | | | | | | | When range is provided, instead of showing the syntax for the whole file, we'll show the syntax tree for the given range. | |||||
* | | Inline type inference test snapshots | Florian Diebold | 2019-03-03 | 59 | -1504/+1096 | |
| | | ||||||
* | | Represent unknown types as {unknown} instead of [unknown] | Florian Diebold | 2019-03-03 | 29 | -172/+172 | |
| | | | | | | | | Since the latter could actually be a real type... | |||||
* | | Add a bunch of tests for type inference involving traits | Florian Diebold | 2019-03-02 | 13 | -0/+403 | |
| | | | | | | | | None of them works correctly yet, of course. | |||||
* | | Merge #908 | bors[bot] | 2019-03-02 | 1 | -8/+27 | |
|\ \ | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | 908: Enable markup for hover on expressions which resolve using type_of r=matklad a=vipentti This adds highlighting when hovering over items which are resolved using `type_of`. This adds basic highlighting, discussed in #904. Co-authored-by: Ville Penttinen <[email protected]> | |||||
| * | | Enable markup for hover on expressions which resolve using type_of | Ville Penttinen | 2019-02-28 | 1 | -8/+27 | |
| | | | | | | | | | | | | | | | This adds highlighting when hovering over items which are resolved using `type_of`. | |||||
* | | | Merge #915 | bors[bot] | 2019-03-02 | 16 | -133/+108 | |
|\ \ \ | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | 915: Bring BodySyntaxMapping in line with other source-map instances r=flodiebold a=matklad * rename to SourceMap * don't store the actual body inline, just return a pair r? @flodiebold Co-authored-by: Aleksey Kladov <[email protected]> | |||||
| * | | | remove comment | Aleksey Kladov | 2019-03-02 | 1 | -1/+0 | |
| | | | | ||||||
| * | | | remove second way to get the body | Aleksey Kladov | 2019-03-02 | 2 | -5/+1 | |
| | | | | ||||||
| * | | | rename syntax_mapping as well | Aleksey Kladov | 2019-03-02 | 6 | -19/+18 | |
| | | | | ||||||
| * | | | align lower module query names | Aleksey Kladov | 2019-03-02 | 7 | -23/+15 | |
| | | | | ||||||
| * | | | rename scopes | Aleksey Kladov | 2019-03-02 | 4 | -9/+9 | |
| | | | | ||||||
| * | | | rename to source_map | Aleksey Kladov | 2019-03-02 | 2 | -17/+13 | |
| | | | | ||||||
| * | | | dont store body inside source map | Aleksey Kladov | 2019-03-02 | 5 | -61/+54 | |
| | | | | ||||||
| * | | | rename syntax-mapping -> source-map | Aleksey Kladov | 2019-03-02 | 11 | -32/+32 | |
| | |/ | |/| | ||||||
* / | | A bit of cleanup in ty.rs | Florian Diebold | 2019-03-02 | 1 | -28/+1 | |
|/ / | ||||||
* / | Update hover message since we do support globs | kjeremy | 2019-02-28 | 1 | -1/+1 | |
|/ | ||||||
* | Merge #906 | bors[bot] | 2019-02-27 | 3 | -3/+124 | |
|\ | | | | | | | | | | | | | | | 906: Add support for goto definition and hover for struct fields r=matklad a=vipentti This works partially towards fixing #512 Co-authored-by: Ville Penttinen <[email protected]> | |||||
| * | Enable hover support for NamedFieldDefs | Ville Penttinen | 2019-02-27 | 1 | -3/+79 | |
| | | | | | | | | Additionally add type ascription for const and statics as well. | |||||
| * | Allow goto-definition to work for named fields in struct initializer | Ville Penttinen | 2019-02-27 | 2 | -0/+45 | |
| | | | | | | | | | | Now goto definition should work when done on a named field in a struct initializer. | |||||
* | | Fix the build | kjeremy | 2019-02-27 | 1 | -1/+3 | |
|/ | ||||||
* | Merge #900 | bors[bot] | 2019-02-27 | 9 | -61/+72 | |
|\ | | | | | | | | | | | | | | | | | | | | | 900: Add new trait ast::TypeAscriptionOwner r=vipentti a=vipentti This trait should be implemented for nodes which have an ascribed type, e.g. thing : Type. Such as let, const, static, param, named struct fields. In addition, we update some places where previously we used node + node.type_ref() with `TypeAscriptionOwner` in the trait bounds. Co-authored-by: Ville Penttinen <[email protected]> | |||||
| * | Remove `TypeRef` from item opts which implement TypeAscriptionOwner | Ville Penttinen | 2019-02-27 | 6 | -43/+24 | |
| | | ||||||
| * | Use TypeAscriptionOwner | Ville Penttinen | 2019-02-26 | 2 | -12/+15 | |
| | | | | | | | | | | | | This replaces places where we would use node + node.type_ref() with things that have an ascribed type, with using the TypeAscriptionOwner as the trait bound so we can simply pass the node. | |||||
| * | Add new trait TypeAscriptionOwner | Ville Penttinen | 2019-02-26 | 3 | -9/+36 | |
| | | | | | | | | | | This trait should be implemented for nodes which have an ascribed type, e.g. thing : Type. Such as let, const, static, param, named struct fields. | |||||
* | | Merge #901 | bors[bot] | 2019-02-27 | 4 | -21/+179 | |
|\ \ | | | | | | | | | | | | | | | | | | | | | | | | | | | | 901: Add basic support for showing fn signature when hovering r=matklad a=vipentti This adds basic support for displaying function signature when hovering over a usage of a function. Additionally refactored `hover` to return `HoverResult` to ease with testing and in general to be more robust. Co-authored-by: Ville Penttinen <[email protected]> | |||||
| * | | Add support for hovering over the name of an item | Ville Penttinen | 2019-02-27 | 2 | -2/+28 | |
| | | | ||||||
| * | | Replace visit_fn with crate::completion::function_label | Ville Penttinen | 2019-02-26 | 1 | -43/+2 | |
| | | | ||||||
| * | | Add new type HoverResult to contain the results of hovering | Ville Penttinen | 2019-02-26 | 3 | -16/+149 | |
| | | | | | | | | | | | | | | | This makes testing hovers easier as well as allows us to do more things with the results if needed. | |||||
| * | | Add support for showing fn signature when hovering | Ville Penttinen | 2019-02-26 | 1 | -3/+43 | |
| |/ | ||||||
* | | Remove RawResponse::empty() | Ville Penttinen | 2019-02-27 | 2 | -7/+5 | |
| | | ||||||
* | | Work around for issue in vscode reporting a failure in request | Ville Penttinen | 2019-02-27 | 2 | -5/+16 | |
| | | | | | | | | | | | | vscode would report "A request has failed" when it got "Content modified" message and this would cause a pop-up to appear. This works around the issue by returning an "empty" response that vscode can ignore. | |||||
* | | Fix a typo | Dale Wijnand | 2019-02-26 | 1 | -4/+4 | |
|/ | ||||||
* | Merge #897 | bors[bot] | 2019-02-25 | 11 | -20/+206 | |
|\ | | | | | | | | | | | | | | | | | | | 897: Add basic const/static type inference r=flodiebold a=vipentti This adds basic const/static type inference discussed in #887. Currently the inference does not work for const/static declared inside a block. In addition the inference does not work inside the bodies of const/static. Co-authored-by: Ville Penttinen <[email protected]> | |||||
| * | Move ConstSignature creation to a single method | Ville Penttinen | 2019-02-25 | 1 | -17/+13 | |
| | | ||||||
| * | Add static type inference | Ville Penttinen | 2019-02-25 | 6 | -12/+54 | |
| | | ||||||
| * | Add const type inference | Ville Penttinen | 2019-02-25 | 11 | -20/+168 | |
| | | ||||||
* | | kill accidently commited file | Aleksey Kladov | 2019-02-25 | 1 | -182/+0 | |
| | | ||||||
* | | rename type to type_alias in the AST as well | Aleksey Kladov | 2019-02-25 | 45 | -108/+293 | |
|/ | ||||||
* | complete patterns | Aleksey Kladov | 2019-02-24 | 3 | -0/+103 | |
| | ||||||
* | Rename Type => TypeAlias | Florian Diebold | 2019-02-24 | 12 | -44/+58 | |
| | ||||||
* | Add test for recursive type aliases | Florian Diebold | 2019-02-24 | 1 | -0/+14 | |
| | ||||||
* | Implement support for type aliases | Florian Diebold | 2019-02-24 | 8 | -11/+102 | |
| | ||||||
* | move testing functions | Aleksey Kladov | 2019-02-24 | 10 | -20/+14 | |
| | ||||||
* | move the rest of presentation to presentation | Aleksey Kladov | 2019-02-24 | 2 | -50/+20 | |
| | ||||||
* | move more code to presentation | Aleksey Kladov | 2019-02-24 | 2 | -88/+57 | |
| | ||||||
* | move res completion to presentation | Aleksey Kladov | 2019-02-24 | 3 | -41/+42 | |
| | ||||||
* | simplify | Aleksey Kladov | 2019-02-24 | 1 | -31/+31 | |
| | ||||||
* | move enum-variants to presentation | Aleksey Kladov | 2019-02-24 | 2 | -21/+21 | |
| | ||||||
* | simplify | Aleksey Kladov | 2019-02-24 | 4 | -35/+31 | |
| |