Commit message (Collapse) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | implement initial type inference for index expressions | Aleksey Kladov | 2019-08-17 | 1 | -1/+13 |
| | |||||
* | normalize ordering ops | Aleksey Kladov | 2019-08-17 | 1 | -10/+20 |
| | |||||
* | Introduce separate hir::BinaryOp | Aleksey Kladov | 2019-08-17 | 1 | -2/+75 |
| | | | | | Unlike ast::BinOp, it has significantly more structure to it, so it's easier to, say, handle all assignment-like operations in the same way. | ||||
* | implement while let desugaring | Aleksey Kladov | 2019-08-07 | 1 | -14/+26 |
| | |||||
* | refactor if-let lowering | Aleksey Kladov | 2019-08-07 | 1 | -19/+25 |
| | | | | mainly to get rid of unwraps | ||||
* | refactor if lowering | Aleksey Kladov | 2019-08-07 | 1 | -17/+14 |
| | |||||
* | Merge #1562 | bors[bot] | 2019-07-20 | 1 | -0/+8 |
|\ | | | | | | | | | | | | | | | | | 1562: Continue support for .await r=matklad a=unrealhoang - add await expr to ast and HIR Expr - infer type for `.await` Co-authored-by: Unreal Hoang <[email protected]> | ||||
| * | add await expr to ast | Unreal Hoang | 2019-07-20 | 1 | -0/+8 |
| | | |||||
* | | move debug_dump to fmt::Debug | Aleksey Kladov | 2019-07-20 | 1 | -1/+1 |
|/ | |||||
* | minor | Aleksey Kladov | 2019-07-19 | 1 | -5/+1 |
| | |||||
* | migrate ra_hir to the new rowan | Aleksey Kladov | 2019-07-19 | 1 | -22/+24 |
| | |||||
* | Constify KnownName's | Muhammad Mominul Huque | 2019-07-07 | 1 | -2/+2 |
| | |||||
* | Some clippy fixes for 1.36 | Jeremy Kolb | 2019-07-04 | 1 | -4/+4 |
| | |||||
* | allow rustfmt to reorder imports | Aleksey Kladov | 2019-07-04 | 1 | -7/+13 |
| | | | | | | This wasn't a right decision in the first place, the feature flag was broken in the last rustfmt release, and syntax highlighting of imports is more important anyway | ||||
* | remove inherent source impls | Aleksey Kladov | 2019-06-11 | 1 | -0/+1 |
| | |||||
* | use Source for statics and consts | Aleksey Kladov | 2019-06-11 | 1 | -6/+6 |
| | |||||
* | use Source for Function | Aleksey Kladov | 2019-06-11 | 1 | -3/+3 |
| | |||||
* | remove some hacks from nameresolution for macros | Aleksey Kladov | 2019-06-08 | 1 | -13/+13 |
| | |||||
* | [#1083] Try block syntax | Andrey Tkachenko | 2019-06-06 | 1 | -1/+9 |
| | |||||
* | Improve goto definition for MBE | Edwin Cheng | 2019-06-01 | 1 | -1/+1 |
| | |||||
* | allow expanding expressions | Aleksey Kladov | 2019-05-14 | 1 | -7/+4 |
| | |||||
* | store macro kind in HirFileId | Aleksey Kladov | 2019-05-14 | 1 | -4/+7 |
| | |||||
* | simplify | Aleksey Kladov | 2019-05-12 | 1 | -2/+3 |
| | |||||
* | fill struct fields diagnostic | Sergey Parilin | 2019-05-06 | 1 | -6/+10 |
| | |||||
* | make macro expansion into a proper query | Aleksey Kladov | 2019-05-04 | 1 | -14/+3 |
| | |||||
* | introduce macro_arg intermediate query | Aleksey Kladov | 2019-05-04 | 1 | -19/+14 |
| | | | | | | | | | | | | Currently, when expanding macros, we look at the source code directly (we invoke ast_id_to_node query via to_node method). This is less then ideal, because it make us re-expand macros after every source change. This commit establishes a salsa-firewall: a query to get macro call's token tree. Unlike the syntax tree, token tree changes only if we actually modify the macro itself. | ||||
* | Use correct FileId when expanding macros in expressions | Aleksey Kladov | 2019-05-01 | 1 | -15/+38 |
| | |||||
* | Introduced resolve_macro_call on resolver | Lenard Pratt | 2019-04-23 | 1 | -49/+55 |
| | | | | | | changed to manual expansion fix for nested macros | ||||
* | Added macro resolution and expansion | Lenard Pratt | 2019-04-22 | 1 | -88/+113 |
| | |||||
* | Addeded resolver and db | Lenard Pratt | 2019-04-22 | 1 | -60/+79 |
| | |||||
* | move ScopeEntryWithSyntax | Aleksey Kladov | 2019-04-13 | 1 | -2/+2 |
| | |||||
* | make resolver private | Aleksey Kladov | 2019-04-13 | 1 | -2/+6 |
| | |||||
* | fold ScopeWithSyntax into SourceAnalyzer | Aleksey Kladov | 2019-04-13 | 1 | -2/+2 |
| | |||||
* | introduce SourceAnalyzer | Aleksey Kladov | 2019-04-11 | 1 | -10/+6 |
| | |||||
* | fix typo | Aleksey Kladov | 2019-04-11 | 1 | -6/+6 |
| | |||||
* | type-safer source-map for bindings | Aleksey Kladov | 2019-04-10 | 1 | -13/+15 |
| | |||||
* | Added ArrayExprKind, | Lenard Pratt | 2019-04-07 | 1 | -15/+34 |
| | | | | | changed the display for fixed array types, Added Array Enum to ra_hir/expr | ||||
* | Added inference of array length | Lenard Pratt | 2019-04-07 | 1 | -2/+13 |
| | |||||
* | Parse and infer tuple indices | robojumper | 2019-04-06 | 1 | -1/+4 |
| | |||||
* | Merge #1076 | bors[bot] | 2019-04-02 | 1 | -21/+26 |
|\ | | | | | | | | | | | | | | | | | 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]> | ||||
| * | made ExprCollector pub(crate) and moved | Lenard Pratt | 2019-04-02 | 1 | -10/+1 |
| | | | | | | | | collect_fn_body_syntax | ||||
| * | Added const bodies and static body to the ast | Lenard Pratt | 2019-04-02 | 1 | -20/+16 |
| | | | | | | | | | | | | and added inference the inference test reduce code duplication | ||||
| * | Added defWithBody | Lenard Pratt | 2019-03-30 | 1 | -11/+29 |
| | | |||||
* | | rename flavor to kind | Aleksey Kladov | 2019-04-02 | 1 | -9/+9 |
| | | |||||
* | | remove flavor | Aleksey Kladov | 2019-04-02 | 1 | -4/+4 |
| | | |||||
* | | intelligently add parens when inlining local varaibles | gfreezy | 2019-04-01 | 1 | -0/+1 |
| | | |||||
* | | switch to new rowan | Aleksey Kladov | 2019-04-01 | 1 | -10/+2 |
|/ | |||||
* | allow dyn diagnostics | Aleksey Kladov | 2019-03-25 | 1 | -2/+2 |
| | |||||
* | diagnostics | Aleksey Kladov | 2019-03-25 | 1 | -2/+13 |
| | |||||
* | Target only the actual operator. | Marco Groppo | 2019-03-24 | 1 | -2/+2 |
| | | | | | Renamed `BinExpr::op()` and `PrefixExpr::op()` to `op_kind`. Now `op()` returns the `SyntaxNode`. |