aboutsummaryrefslogtreecommitdiff
Commit message (Collapse)AuthorAgeFilesLines
...
* Merge #1182bors[bot]2019-04-213-5/+63
|\ | | | | | | | | | | | | | | | | | | 1182: Add HIR for where clauses & ignore impls with where clauses in trait resolution r=matklad a=flodiebold This prevents any `impl<T> Trait for T where ...` from being treated as a blanket impl while we don't handle where clauses yet. Co-authored-by: Florian Diebold <[email protected]>
| * Add HIR for where clauses & ignore impls with where clauses in trait resolutionFlorian Diebold2019-04-213-5/+63
|/ | | | | This prevents any `impl<T> Trait for T where ...` from being treated as a blanket impl while we don't handle where clauses yet.
* Merge #1181bors[bot]2019-04-213-7/+6
|\ | | | | | | | | | | | | | | 1181: :arrow_up: lsp r=matklad a=matklad Co-authored-by: Aleksey Kladov <[email protected]>
| * :arrow_up: lspAleksey Kladov2019-04-213-7/+6
|/
* Merge #1175bors[bot]2019-04-215-50/+154
|\ | | | | | | | | | | | | | | | | | | | | | | | | | | 1175: Fix bugs and add error log about macro expansion r=matklad a=edwin0cheng This PR fixed / add following things: * Add a fused count which stop recursion of macro expansion in name resolution. * Add some logs when macro expansion fails * Add `$crate` meta variable support in mbe, which create a `$crate` ident token in token tree. * Fixed matching a `$REPEAT` pattern inside a subtree, e.g. `(fn $name:ident {$($i:ident)*} ) => {...}` * Remove composite-able punct token in syntax node to token conversion. Co-authored-by: Edwin Cheng <[email protected]>
| * Fix bugsEdwin Cheng2019-04-205-50/+154
| |
* | fix docsAleksey Kladov2019-04-212-7/+8
| |
* | Merge #1179bors[bot]2019-04-2113-63/+89
|\ \ | | | | | | | | | | | | | | | | | | | | | 1179: switch to official extend selection API r=matklad a=matklad Co-authored-by: Aleksey Kladov <[email protected]>
| * | switch to official extend selection APIAleksey Kladov2019-04-2113-63/+89
|/ /
* | Merge #1177bors[bot]2019-04-212-1442/+185
|\ \ | | | | | | | | | | | | | | | | | | | | | 1177: :arrow_up: code r=matklad a=matklad Co-authored-by: Aleksey Kladov <[email protected]>
| * | :arrow_up: codeAleksey Kladov2019-04-212-1442/+185
|/ /
* | Merge #1176bors[bot]2019-04-201-0/+22
|\ \ | | | | | | | | | | | | | | | | | | | | | 1176: Add a simple test for str method completion r=flodiebold a=flodiebold Somehow I forgot that we should add a test for this in #1154 until after it was already merging. So I'll just add one now :) Co-authored-by: Florian Diebold <[email protected]>
| * | Add a simple test for str method completionFlorian Diebold2019-04-201-0/+22
|/ /
* | Merge #1154bors[bot]2019-04-2011-19/+174
|\ \ | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | 1154: Initial support for lang items (and str completion) r=flodiebold a=marcogroppo This PR adds partial support for lang items. For now, the only supported lang items are the ones that target an impl block. Lang items are now resolved during type inference - this means that `str` completion now works. Fixes #1139. (thanks Florian Diebold for the help!) Co-authored-by: Marco Groppo <[email protected]>
| * | lang_item_lookup is now a salsa query.Marco Groppo2019-04-193-32/+34
| | |
| * | New krate() method in Resolver.Marco Groppo2019-04-195-56/+46
| | | | | | | | | | | | Renamed Impl to ImplBlock.
| * | Initial support for lang items.Marco Groppo2019-04-1911-41/+204
| | |
* | | Merge #1174bors[bot]2019-04-206-55/+137
|\ \ \ | |_|/ |/| | | | | | | | | | | | | | | | | | | | | | | 1174: improve cargo watch r=matklad a=vemoo - Add start and stop commands - Cleanup trypescript code to avoid definite assignment assertions (`!` after possibly undefined value) - Recover `rustc-watch` problem matcher because it's still useful, can be used with any command, for example `cargo test` Co-authored-by: Bernardo <[email protected]>
| * | update user docsBernardo2019-04-201-0/+8
| | |
| * | start cargo watch if not started interactivelyBernardo2019-04-193-3/+20
| | |
| * | recover rustc-watch problemMatchersBernardo2019-04-191-0/+12
| | |
| * | cargo watch start and stop commandsBernardo2019-04-195-55/+100
|/ /
* | Merge #1172bors[bot]2019-04-192-27/+31
|\ \ | | | | | | | | | | | | | | | | | | | | | | | | | | | 1172: Temporarily disable tt matcher r=edwin0cheng a=edwin0cheng Temporarily fix for #1170 by disable the `tt` matcher. The reason for that is normally a `$($tt:tt))* wildcard matcher will be added for recurisve macro. If we have any bugs in macro expansion, the macro will infinite expanding recursively. Let me add a fused system and add more test in later PR and then re-enable this one Co-authored-by: Edwin Cheng <[email protected]>
| * | Disable test_tt_xxEdwin Cheng2019-04-191-23/+23
| | |
| * | Disable tt matcherEdwin Cheng2019-04-191-4/+8
|/ /
* | Merge #1168bors[bot]2019-04-197-2/+227
|\ \ | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | 1168: Add all remaining mbe matchers r=matklad a=edwin0cheng This PR adds following mbe matchers: * block * meta * tt * literal * vis Co-authored-by: Edwin Cheng <[email protected]>
| * | Add back missing assertEdwin Cheng2019-04-191-2/+3
| | |
| * | Fix bug for ident to lifetimeEdwin Cheng2019-04-191-0/+7
| | |
| * | Add vis matcherEdwin Cheng2019-04-196-1/+33
| | |
| * | Add literal matcherEdwin Cheng2019-04-193-0/+35
| | |
| * | Add lifetime matcherEdwin Cheng2019-04-194-2/+25
| | |
| * | add tt matcherEdwin Cheng2019-04-192-0/+28
| | |
| * | add block matcherEdwin Cheng2019-04-196-0/+64
| | |
| * | Add block matcherEdwin Cheng2019-04-196-0/+35
| | |
* | | Merge #1167bors[bot]2019-04-191-0/+27
|\ \ \ | |/ / |/| | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | 1167: Added instructions for Sublime Text 3 setup r=matklad a=OtaK Hey all! I'm a Sublime Text 3 user and I wrote instructions to make `rust-analyzer` work with it. So far works flawlessly, barring the missing features, which is fine (and not the point of this PR). Great work <3 Thanks, Mathieu Co-authored-by: Mathieu Amiot <[email protected]>
| * | Added instructions for Sublime Text 3 setupMathieu Amiot2019-04-191-0/+27
|/ /
* | Merge #1148bors[bot]2019-04-198-20/+295
|\ \ | |/ |/| | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | 1148: Add token_tree_to_xxx functions r=matklad a=edwin0cheng <del>As discus in PR #1147 , this PR added a `mbe::MacroKind` . Currently only 2 kind of macro are supported, `SourceFile` and `Block`.</del> Added following functions for `tt::TokenTree` and `ast::Node` conversion: * token_tree_to_expr * token_tree_to_pat * token_tree_to_ty * token_tree_to_macro_stmts * token_tree_to_macro_items And added two new syntax kind: * MACRO_ITEMS * MACRO_STMTS Co-authored-by: Edwin Cheng <[email protected]>
| * Return Result for token_tree_to_xx functionsEdwin Cheng2019-04-182-14/+24
| |
| * Add expr, pat, ty and macro_stmtsEdwin Cheng2019-04-185-15/+156
| |
| * Add MacroItems and MacroStmts in grammer.ronEdwin Cheng2019-04-187-8/+132
| |
* | Merge #1164bors[bot]2019-04-182-1/+24
|\ \ | |/ |/| | | | | | | | | | | | | | | 1164: Fix missing last token in mbe $repeat parsing r=matklad a=edwin0cheng The `mbe parser` incorrectly eat one more token in $repeat parsing, described in #1141. Remove incorrect token eating, and add related test. Co-authored-by: Edwin Cheng <[email protected]>
| * Fix missing last token in mbe $repeat parsingEdwin Cheng2019-04-182-1/+24
|/
* Merge #1161bors[bot]2019-04-186-0/+70
|\ | | | | | | | | | | | | | | | | | | | | | | | | | | 1161: Add mbe 'item' matcher r=matklad a=edwin0cheng Add `item` matcher in `ra_mbe` , and added corresponding `item()` parser in `ra_syntax`. This PR also help PR #1148 for `Items` parsing. And hopefully fix #1149 ?! Co-authored-by: Edwin Cheng <[email protected]>
| * Add `item` matcher in mbeEdwin Cheng2019-04-186-0/+70
|/
* Merge #1160bors[bot]2019-04-171-8/+23
|\ | | | | | | | | | | | | | | 1160: better formatting when adding trait members r=matklad a=matklad Co-authored-by: Aleksey Kladov <[email protected]>
| * better formatting when adding trait membersAleksey Kladov2019-04-171-8/+23
| | | | | | | | | | | | * it's conventional not to use one-liners * new placement is more predictable, b/c it does not depend on header's length
* | Merge #1145bors[bot]2019-04-172-8/+117
|\ \ | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | 1145: Fix #1099, plug self type type parameters in infer_path_expr r=flodiebold a=edwin0cheng As discussed in #1099, this PR try to "plug" a `self type` type parameters in `infer_path_expr`. All the cases in 1099 was fixed and tested. And luckily, this PR fixed bug #1030 again and make the test output correct. Co-authored-by: Edwin Cheng <[email protected]>
| * | RefactoringEdwin Cheng2019-04-171-51/+46
| | |
| * | Simpliy codeEdwin Cheng2019-04-171-60/+32
| | |
| * | Bug fix and add more commentsEdwin Cheng2019-04-171-22/+60
| | |