Commit message (Collapse) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | Merge #1154 | bors[bot] | 2019-04-20 | 3 | -1/+16 |
|\ | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | 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]> | ||||
| * | Initial support for lang items. | Marco Groppo | 2019-04-19 | 3 | -1/+16 |
| | | |||||
* | | Add MacroItems and MacroStmts in grammer.ron | Edwin Cheng | 2019-04-18 | 2 | -0/+81 |
|/ | |||||
* | Merge #1138 | bors[bot] | 2019-04-14 | 1 | -0/+2 |
|\ | | | | | | | | | | | | | | | | | | | | | 1138: Add L_DOLLAR and R_DOLLAR r=matklad a=edwin0cheng As discussion in issue https://github.com/rust-analyzer/rust-analyzer/issues/1132 and PR #1125 , this PR add 2 `Syntax::Kind` : `L_DOLLAR` and `R_DOLLAR` for representing `Delimiter::None` in mbe and proc_marco. By design, It should not affect the final syntax tree, and will be discard in `TreeSink`. My original idea is handling these 2 tokens case by case, but i found that they will appear in every place in the parser (imagine `tt` matcher). So this PR only handle it in `Parser::do_bump` and `Parser::start`, although It will not fix the `expr` matcher executing order problem in original idea. Co-authored-by: Edwin Cheng <[email protected]> | ||||
| * | Add L_DOLLAR and R_DOLLAR | Edwin Cheng | 2019-04-11 | 1 | -0/+2 |
| | | |||||
* | | replace usages of `algo::generate` with `iter::successors` from std | Robin Freyler | 2019-04-13 | 3 | -18/+10 |
| | | |||||
* | | fix typo | Aleksey Kladov | 2019-04-11 | 1 | -1/+1 |
| | | |||||
* | | migrate to untyped rowan | Aleksey Kladov | 2019-04-09 | 7 | -155/+153 |
|/ | |||||
* | updated snapshots | Lenard Pratt | 2019-04-07 | 4 | -8/+3 |
| | |||||
* | Added ArrayExprKind, | Lenard Pratt | 2019-04-07 | 2 | -2/+24 |
| | | | | | changed the display for fixed array types, Added Array Enum to ra_hir/expr | ||||
* | Added inference of array length | Lenard Pratt | 2019-04-07 | 2 | -1/+6 |
| | |||||
* | Parse and infer tuple indices | robojumper | 2019-04-06 | 9 | -12/+126 |
| | |||||
* | Add proper test for literals and fixed typo bug | Edwin Cheng | 2019-04-05 | 1 | -1/+1 |
| | |||||
* | Add classify_literal and undo expose next_token | Edwin Cheng | 2019-04-05 | 3 | -2/+11 |
| | |||||
* | Fix literal support in token tree to ast item list | Edwin Cheng | 2019-04-05 | 2 | -2/+2 |
| | |||||
* | Parse unsafe async / const unsafe fns properly | robojumper | 2019-04-03 | 4 | -0/+78 |
| | |||||
* | Merge #1076 | bors[bot] | 2019-04-02 | 2 | -2/+12 |
|\ | | | | | | | | | | | | | | | | | 1076: Const body inference r=flodiebold a=Lapz This is the second part of #887. I've added type inference on const bodies and introduced the DefWithBody containing Function, Const and Static. I want to add tests but im unsure on how I would go about testing that completions work. Co-authored-by: Lenard Pratt <[email protected]> | ||||
| * | Added const bodies and static body to the ast | Lenard Pratt | 2019-04-02 | 2 | -5/+12 |
| | | | | | | | | | | | | and added inference the inference test reduce code duplication | ||||
| * | Added defWithBody | Lenard Pratt | 2019-03-30 | 2 | -0/+3 |
| | | |||||
* | | simplify | Aleksey Kladov | 2019-04-02 | 7 | -400/+336 |
| | | |||||
* | | Merge #1090 | bors[bot] | 2019-04-02 | 219 | -8829/+8828 |
|\ \ | | | | | | | | | | | | | | | | | | | | | | 1090: always show token text r=matklad a=matklad Co-authored-by: Aleksey Kladov <[email protected]> | ||||
| * | | always show token text | Aleksey Kladov | 2019-04-02 | 219 | -8829/+8828 |
| | | | |||||
* | | | fix inner block doc comments | Aleksey Kladov | 2019-04-02 | 1 | -1/+1 |
|/ / | |||||
* | | add minimal comments | Aleksey Kladov | 2019-04-02 | 5 | -0/+13 |
| | | |||||
* | | rename flavor to kind | Aleksey Kladov | 2019-04-02 | 3 | -26/+26 |
| | | |||||
* | | move extensions to submodules | Aleksey Kladov | 2019-04-02 | 3 | -549/+566 |
| | | |||||
* | | remove flavor | Aleksey Kladov | 2019-04-02 | 1 | -4/+4 |
| | | |||||
* | | More future-proof comment kind | Aleksey Kladov | 2019-04-02 | 2 | -33/+52 |
| | | |||||
* | | fix comment naming | Aleksey Kladov | 2019-04-02 | 1 | -10/+9 |
| | | |||||
* | | allow empty doc comments | Aleksey Kladov | 2019-04-02 | 1 | -4/+6 |
| | | |||||
* | | add ast::tokens | Aleksey Kladov | 2019-04-02 | 3 | -95/+106 |
| | | |||||
* | | simplify | Aleksey Kladov | 2019-04-02 | 1 | -23/+19 |
| | | |||||
* | | move ast traits to a separate file | Aleksey Kladov | 2019-04-02 | 2 | -144/+155 |
| | | |||||
* | | Merge #1084 | bors[bot] | 2019-04-01 | 3 | -37/+0 |
|\ \ | | | | | | | | | | | | | | | | | | | | | | 1084: remove dead code r=matklad a=matklad Co-authored-by: Aleksey Kladov <[email protected]> | ||||
| * | | remove dead code | Aleksey Kladov | 2019-04-01 | 3 | -37/+0 |
| | | | |||||
* | | | intelligently add parens when inlining local varaibles | gfreezy | 2019-04-01 | 2 | -1/+10 |
|/ / | |||||
* | | Merge #1082 | bors[bot] | 2019-04-01 | 2 | -0/+95 |
|\ \ | | | | | | | | | | | | | | | | | | | | | | 1082: Async block in argument position r=matklad a=andreytkachenko Fixes case when async block appears in argument position Co-authored-by: Andrey Tkachenko <[email protected]> | ||||
| * | | Async block in argument position | Andrey Tkachenko | 2019-04-01 | 2 | -0/+95 |
| | | | |||||
* | | | Merge #1081 | bors[bot] | 2019-04-01 | 2 | -6/+53 |
|\ \ \ | |/ / |/| | | | | | | | | | | | | | | | | | | | | | | | 1081: Async closure syntax r=matklad a=robojumper Fixes #1080. Also fixes an error introduced by #1072 where something like `async move "foo"` in expression position would trigger the assertion in `block_expr`. Co-authored-by: robojumper <[email protected]> | ||||
| * | | Async closure syntax | robojumper | 2019-03-31 | 2 | -6/+53 |
| | | | |||||
* | | | switch to new rowan | Aleksey Kladov | 2019-04-01 | 15 | -800/+599 |
|/ / | |||||
* | | Add WherePred to allow predicate access in WhereClause | Ville Penttinen | 2019-03-31 | 4 | -7/+131 |
| | | | | | | | | | | This also unifies parsing of WHERE_PRED bounds, now Lifetime bounds will also be parsed using TYPE_BOUND_LIST | ||||
* | | Merge #1072 | bors[bot] | 2019-03-31 | 2 | -0/+40 |
|\ \ | | | | | | | | | | | | | | | | | | | | | | 1072: recognize async move blocks r=matklad a=memoryruins closes #1053 Co-authored-by: memoryruins <[email protected]> | ||||
| * | | add test for async blocks | memoryruins | 2019-03-28 | 2 | -0/+40 |
| |/ | |||||
* | | Add trait ast::TypeBoundsOwner | Ville Penttinen | 2019-03-31 | 3 | -5/+21 |
| | | |||||
* | | Update tests | Ville Penttinen | 2019-03-31 | 3 | -67/+115 |
| | | |||||
* | | Update tests | Ville Penttinen | 2019-03-30 | 25 | -418/+634 |
| | | |||||
* | | Add new TYPE_BOUND_LIST and TYPE_BOUND syntax kinds | Ville Penttinen | 2019-03-30 | 2 | -0/+81 |
| | | | | | | | | | | | | These are now used when parsing type bounds. In addition parsing paths inside a bound now does not recursively parse paths, rather they are treated as separate bounds, separated by +. | ||||
* | | Fix parsing <= in type_args | Ville Penttinen | 2019-03-30 | 2 | -6/+27 |
|/ | |||||
* | Add tests to ra_syntax for extern_crate_self | memoryruins | 2019-03-28 | 2 | -1/+17 |
| |