Commit message (Collapse) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | Fix hover on the beginning of a nested expression | Florian Diebold | 2019-04-28 | 1 | -7/+14 |
| | | | | | | | | | | | | | | | | E.g. in ``` let foo = 1u32; if true { <|>foo; } ``` the hover shows `()`, the type of the whole if expression, instead of the more sensible `u32`. The reason for this was that the search for an expression was slightly left-biased: When on the edge between two tokens, it first looked at all ancestors of the left token and then of the right token. Instead merge the ancestors in ascending order, so that we get the smaller of the two possible expressions. | ||||
* | use really correct resolver for expressions | Aleksey Kladov | 2019-04-12 | 1 | -1/+1 |
| | |||||
* | rename | Aleksey Kladov | 2019-04-11 | 1 | -1/+1 |
| | |||||
* | introduce SourceAnalyzer | Aleksey Kladov | 2019-04-11 | 1 | -10/+8 |
| | |||||
* | Move display related things from hover to display | Ville Penttinen | 2019-04-09 | 1 | -107/+3 |
| | |||||
* | Move completion label functions to display | Ville Penttinen | 2019-04-09 | 1 | -1/+1 |
| | |||||
* | switch to new rowan | Aleksey Kladov | 2019-04-01 | 1 | -6/+8 |
| | |||||
* | replace todo with fixme | Aleksey Kladov | 2019-03-23 | 1 | -1/+1 |
| | |||||
* | Remove the old variants replaced by Ty::Apply | Florian Diebold | 2019-03-21 | 1 | -16/+1 |
| | |||||
* | Replace Display by a pretty printing trait for Ty | Florian Diebold | 2019-03-16 | 1 | -2/+3 |
| | | | | | This allows removing the names from Adt and FnDef (and more later), as a first step towards aligning more with chalk's Ty :) | ||||
* | Remove superfluous semicolons | kjeremy | 2019-03-08 | 1 | -5/+5 |
| | | | | | Doesn't change the result of the test but it does prevent the syntax tree from rendering. | ||||
* | Use ast::Name::text() instead of name().syntax().text() | Ville Penttinen | 2019-03-07 | 1 | -2/+2 |
| | |||||
* | Fix EnumVariants not showing properly when hovering | Ville Penttinen | 2019-03-07 | 1 | -2/+56 |
| | | | | This fixes documentation as well for EnumVariants | ||||
* | Add support for goto definition and hover on Self | Ville Penttinen | 2019-03-07 | 1 | -0/+58 |
| | | | | This fixes #943 | ||||
* | Hover for associated items in patterns | kjeremy | 2019-03-06 | 1 | -0/+23 |
| | |||||
* | Use ImplItems instead of just Function | Jeremy Kolb | 2019-03-04 | 1 | -1/+1 |
| | |||||
* | Make goto definition/hover resolve constructors | kjeremy | 2019-03-04 | 1 | -0/+22 |
| | |||||
* | Represent unknown types as {unknown} instead of [unknown] | Florian Diebold | 2019-03-03 | 1 | -1/+1 |
| | | | | Since the latter could actually be a real type... | ||||
* | 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 <villem.penttinen@gmail.com> | ||||
| * | 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`. | ||||
* | | rename syntax_mapping as well | Aleksey Kladov | 2019-03-02 | 1 | -3/+3 |
| | | |||||
* | | rename syntax-mapping -> source-map | Aleksey Kladov | 2019-03-02 | 1 | -1/+1 |
| | | |||||
* | | Update hover message since we do support globs | kjeremy | 2019-02-28 | 1 | -1/+1 |
|/ | |||||
* | Enable hover support for NamedFieldDefs | Ville Penttinen | 2019-02-27 | 1 | -3/+79 |
| | | | | Additionally add type ascription for const and statics as well. | ||||
* | Add support for hovering over the name of an item | Ville Penttinen | 2019-02-27 | 1 | -1/+27 |
| | |||||
* | 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 | 1 | -14/+146 |
| | | | | | 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 |
| | |||||
* | rename type to type_alias in the AST as well | Aleksey Kladov | 2019-02-25 | 1 | -2/+2 |
| | |||||
* | Merge #866 | bors[bot] | 2019-02-22 | 1 | -0/+20 |
|\ | | | | | | | | | | | | | | | | | | | | | | | | | | | 866: Implement basic support for Associated Methods r=flodiebold a=vipentti This is my attempt at learning to understand how the type inference works by adding basic support for associated methods. Currently it does not resolve associated types or constants. The basic idea is that `Resolver::resolve_path` returns a new `PathResult` type, which has two variants, `FullyResolved` and `PartiallyResolved`, fully resolved matches the previous behavior, where as `PartiallyResolved` contains the `PerNs<Resolution` in addition to a `segment_index` which contains the index of the segment which we failed to resolve. This index can then be used to continue inference in `infer_path_expr` using the `Type` we managed to resolve. This changes some of the previous apis, so looking for feedback and suggestions. This should enable fixing #832 Co-authored-by: Ville Penttinen <villem.penttinen@gmail.com> | ||||
| * | Implement basic support for Associated Methods and Constants | Ville Penttinen | 2019-02-21 | 1 | -0/+20 |
| | | | | | | | | | | | | | | This is done in `infer_path_expr`. When `Resolver::resolve_path` returns `PartiallyResolved`, we use the returned `Resolution` together with the given `segment_index` to check if we can find something matching the segment at segment_index in the impls for that particular type. | ||||
* | | Fix handling of generics in tuple variants and refactor a bit | Florian Diebold | 2019-02-20 | 1 | -0/+17 |
|/ | | | | | | Also make them display a tiny bit nicer. Fixes #860. | ||||
* | Fix some typos | Pascal Hertleif | 2019-02-12 | 1 | -2/+2 |
| | |||||
* | reformat the world | Aleksey Kladov | 2019-02-08 | 1 | -10/+4 |
| | |||||
* | Make doc comments optional | Jeremy Kolb | 2019-01-26 | 1 | -6/+1 |
| | |||||
* | rename source_file -> parse | Aleksey Kladov | 2019-01-26 | 1 | -3/+3 |
| | |||||
* | rename FilesDatabase -> SourceDatabase | Aleksey Kladov | 2019-01-26 | 1 | -1/+1 |
| | |||||
* | fold syntax database into files database | Aleksey Kladov | 2019-01-26 | 1 | -1/+1 |
| | |||||
* | move rename to a new mod | gfreezy | 2019-01-19 | 1 | -2/+1 |
| | |||||
* | remove Canceled from API impl | Aleksey Kladov | 2019-01-15 | 1 | -29/+19 |
| | |||||
* | remove Cancelable from type inference | Aleksey Kladov | 2019-01-15 | 1 | -1/+1 |
| | |||||
* | remove Cancelable from funciton body | Aleksey Kladov | 2019-01-15 | 1 | -1/+1 |
| | |||||
* | remove Cancelable from source binders | Aleksey Kladov | 2019-01-15 | 1 | -1/+1 |
| | |||||
* | Fix type inference for raw (byte) strings | Marcus Klaas de Vries | 2019-01-14 | 1 | -3/+2 |
| | |||||
* | Remove duplication | Jeremy Kolb | 2019-01-14 | 1 | -74/+23 |
| | |||||
* | Add visibility to hover | Jeremy Kolb | 2019-01-14 | 1 | -9/+41 |
| | |||||
* | Tweak message shown for query fallback | Pascal Hertleif | 2019-01-13 | 1 | -1/+5 |
| | | | | Small tweak for #518 | ||||
* | Add an explanatory message when we use the Query fallback | DJMcNab | 2019-01-13 | 1 | -4/+11 |
| | |||||
* | rename TreePtr -> TreeArc | Aleksey Kladov | 2019-01-11 | 1 | -2/+2 |
| | | | | This is much clearer about the semantics | ||||
* | fix tests | Aleksey Kladov | 2019-01-11 | 1 | -1/+1 |
| |