Commit message (Collapse) | Author | Age | Files | Lines | ||
---|---|---|---|---|---|---|
... | ||||||
* | | dont produce giant debug dumps | Aleksey Kladov | 2019-03-05 | 1 | -1/+8 | |
| | | ||||||
* | | show message in client's UI if workspace fails to load | Aleksey Kladov | 2019-03-05 | 3 | -8/+32 | |
| | | ||||||
* | | Merge #930 | bors[bot] | 2019-03-05 | 4 | -7/+188 | |
|\ \ | | | | | | | | | | | | | | | | | | | | | | 930: Add support for parsing multiple if and while-let patterns r=matklad a=vipentti Co-authored-by: Ville Penttinen <[email protected]> | |||||
| * | | Introduce pattern_list to parse pipe separated patterns | Ville Penttinen | 2019-03-05 | 2 | -10/+18 | |
| | | | | | | | | | | | | | | | pattern_list comes in two variants, one uses the default PAT_RECOVERY_SET as the recovery set, while other allows the user to provide a recovery set. | |||||
| * | | Add support for parsing multiple if and while-let patterns | Ville Penttinen | 2019-03-04 | 3 | -1/+174 | |
| |/ | ||||||
* | | Merge #912 | bors[bot] | 2019-03-05 | 4 | -24/+116 | |
|\ \ | |/ |/| | | | | | | | | | | | | | | | | | | | 912: Make goto definition/hover work for associated items r=matklad a=kjeremy Just functions so far. Looking for comments. Fixes #911 Towards #832 Co-authored-by: kjeremy <[email protected]> Co-authored-by: Jeremy Kolb <[email protected]> | |||||
| * | Use impl_froms! | kjeremy | 2019-03-04 | 1 | -13/+3 | |
| | | ||||||
| * | Make ExpOrPatId private | kjeremy | 2019-03-04 | 2 | -4/+7 | |
| | | ||||||
| * | Format | Jeremy Kolb | 2019-03-04 | 1 | -7/+2 | |
| | | ||||||
| * | Add NavigationTarget::from_impl_item | Jeremy Kolb | 2019-03-04 | 2 | -14/+22 | |
| | | ||||||
| * | Remove commented out code | Jeremy Kolb | 2019-03-04 | 1 | -9/+0 | |
| | | ||||||
| * | Use ImplItems instead of just Function | Jeremy Kolb | 2019-03-04 | 3 | -40/+65 | |
| | | ||||||
| * | Make goto definition/hover resolve constructors | kjeremy | 2019-03-04 | 3 | -7/+87 | |
| | | ||||||
* | | allow `mut ident` patterns in trait methods | Aleksey Kladov | 2019-03-04 | 3 | -12/+28 | |
| | | | | | | | | closes #928 | |||||
* | | allow aliases in underscores | Aleksey Kladov | 2019-03-04 | 4 | -2/+21 | |
|/ | | | | | | | | this helps with use foo::Trait as _; syntax | |||||
* | Merge #926 | bors[bot] | 2019-03-04 | 3 | -1/+56 | |
|\ | | | | | | | | | | | | | | | 926: allow vararg functions r=matklad a=matklad Co-authored-by: Aleksey Kladov <[email protected]> | |||||
| * | allow vararg functions | Aleksey Kladov | 2019-03-04 | 3 | -1/+56 | |
| | | ||||||
* | | improve error recovery | Aleksey Kladov | 2019-03-04 | 4 | -59/+77 | |
| | | | | | | | | parse the contents of error block as an expression | |||||
* | | extract block contents into a function | Aleksey Kladov | 2019-03-04 | 1 | -2/+6 | |
|/ | ||||||
* | Merge #916 | bors[bot] | 2019-03-04 | 4 | -72/+220 | |
|\ | | | | | | | | | | | | | | | 916: Error handling for macros r=matklad a=detrumi Part of #720 Co-authored-by: Wilco Kusee <[email protected]> | |||||
| * | Add expander unit tests | Wilco Kusee | 2019-03-03 | 1 | -4/+69 | |
| | | ||||||
| * | Add parser unit tests | Wilco Kusee | 2019-03-03 | 3 | -6/+58 | |
| | | ||||||
| * | Split parse and expand errors | Wilco Kusee | 2019-03-03 | 4 | -72/+74 | |
| | | ||||||
| * | Formatting | Wilco Kusee | 2019-03-02 | 1 | -10/+20 | |
| | | ||||||
| * | Replace option with result in mbe | Wilco Kusee | 2019-03-02 | 4 | -74/+93 | |
| | | ||||||
* | | Allow syntax strings to contain test markers | Ville Penttinen | 2019-03-04 | 1 | -1/+3 | |
| | | | | | | | | | | We simply remove all the CUSTOM_MARKERS before attempting to parse the file. This allows for the syntax selection to work with most of the test strings. | |||||
* | | Implement syntax tree support for syntax inside string | Ville Penttinen | 2019-03-04 | 3 | -8/+206 | |
| | | | | | | | | | | | | This allows us to select a string or portions of it and try parsing it as rust syntax. This is mostly helpful when developing tests where the test itself contains some rust syntax as a string. | |||||
* | | 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 | |
| | |