Commit message (Collapse) | Author | Age | Files | Lines | ||
---|---|---|---|---|---|---|
... | ||||||
| * | Implement type inference for boolean operators | Marcus Klaas de Vries | 2019-01-05 | 3 | -2/+54 | |
| | | ||||||
* | | Make FnScopes use hir::Expr | Florian Diebold | 2019-01-05 | 2 | -22/+13 | |
| | | | | | | | | | | | | This was a bit complicated. I've added a wrapper type for now that does the LocalSyntaxPtr <-> ExprId translation; we might want to get rid of that or give it a nicer interface. | |||||
* | | Add HIR Expr machinery | Florian Diebold | 2019-01-05 | 2 | -3/+11 | |
|/ | ||||||
* | change visibility can change pub to pub(crate) | Aleksey Kladov | 2019-01-05 | 1 | -0/+18 | |
| | ||||||
* | split import assist | Aleksey Kladov | 2019-01-05 | 1 | -0/+6 | |
| | ||||||
* | Rename traits::impl_item -> impl_block as well, as well as the tests | Florian Diebold | 2019-01-04 | 2 | -4/+4 | |
| | ||||||
* | Type the self parameter | Florian Diebold | 2019-01-04 | 3 | -2/+79 | |
| | ||||||
* | Add HIR for impl blocks | Florian Diebold | 2019-01-04 | 2 | -3/+43 | |
| | | | | | | | | | Since we need to be able to go from def to containing impl block, as well as the other direction, and to find all impls for a certain type, a design similar to the one for modules, where we collect all impls for the whole crate and keep them in an arena, seemed fitting. The ImplBlock type, which provides the public interface, then consists only of an Arc to the arena containing all impls, and the index into it. | |||||
* | Rename ImplItem to ImplBlock | Florian Diebold | 2019-01-04 | 6 | -26/+26 | |
| | | | | | rustc uses the name ImplItem for items in impls, not the impl {} block itself, which could lead to confusion. | |||||
* | add mod doc comments test in ast | csmoe | 2019-01-04 | 1 | -0/+13 | |
| | ||||||
* | parse doc comment for items | csmoe | 2019-01-04 | 1 | -0/+12 | |
| | ||||||
* | Merge #391 | bors[bot] | 2019-01-04 | 5 | -59/+117 | |
|\ | | | | | | | | | | | | | | | 391: docing parser methods r=csmoe a=csmoe Co-authored-by: csmoe <[email protected]> | |||||
| * | consume trivias for type/const def | csmoe | 2019-01-04 | 1 | -2/+1 | |
| | | ||||||
| * | doc parsing events | csmoe | 2019-01-04 | 4 | -43/+71 | |
| | | ||||||
| * | doc parser input | csmoe | 2019-01-01 | 2 | -10/+30 | |
| | | ||||||
| * | docing parser methods | csmoe | 2018-12-31 | 4 | -12/+23 | |
| | | ||||||
* | | more enterprisey assists API | Aleksey Kladov | 2019-01-03 | 1 | -0/+6 | |
| | | ||||||
* | | visibility owner | Aleksey Kladov | 2019-01-03 | 3 | -4/+64 | |
| | | ||||||
* | | add items from macros to modules | Aleksey Kladov | 2019-01-01 | 1 | -0/+30 | |
| | | ||||||
* | | save top-level macros in module items | Aleksey Kladov | 2019-01-01 | 1 | -1/+1 | |
| | | ||||||
* | | Fix the same bug as #396 but for bytes too | DJMcNab | 2019-01-01 | 1 | -1/+3 | |
| | | ||||||
* | | Use an else if | DJMcNab | 2019-01-01 | 1 | -3/+2 | |
| | | ||||||
* | | Fix the `panic` found whilst fuzzing | DJMcNab | 2018-12-31 | 1 | -3/+9 | |
|/ | ||||||
* | Merge #366 | bors[bot] | 2018-12-30 | 1 | -0/+5 | |
|\ | | | | | | | | | | | | | | | | | | | | | 366: parse minus before number literal pattern r=matklad a=csmoe r?@matklad ![unknown](https://user-images.githubusercontent.com/35686186/50547871-d5449e00-0c7d-11e9-9ff5-1031e78019de.png) Co-authored-by: csmoe <[email protected]> | |||||
| * | parse minus before number literal | csmoe | 2018-12-30 | 1 | -0/+5 | |
| | | ||||||
* | | Fix a fuzzing bug and add Cargo.lock to the fuzzing directory | DJMcNab | 2018-12-29 | 2 | -2/+2 | |
| | | ||||||
* | | super simplistic macro expansion | Aleksey Kladov | 2018-12-28 | 2 | -1/+5 | |
| | | ||||||
* | | add macro-call node | Aleksey Kladov | 2018-12-28 | 2 | -0/+42 | |
|/ | ||||||
* | fix suffix ranges | Aleksey Kladov | 2018-12-27 | 4 | -4/+16 | |
| | ||||||
* | dump validation errors | Aleksey Kladov | 2018-12-27 | 1 | -2/+5 | |
| | ||||||
* | support literal suffixes | Aleksey Kladov | 2018-12-27 | 7 | -2/+40 | |
| | ||||||
* | dedupe literal parsers | Aleksey Kladov | 2018-12-27 | 10 | -374/+220 | |
| | ||||||
* | Add a hir::TypeRef as an intermediate between ast::TypeRef and ty::Ty | Florian Diebold | 2018-12-25 | 2 | -10/+38 | |
| | ||||||
* | Implement reference / pointer types | Florian Diebold | 2018-12-25 | 3 | -6/+57 | |
| | | | | | - parse them - infer types of & and * expressions | |||||
* | Implement basic completion for fields | Florian Diebold | 2018-12-25 | 2 | -1/+5 | |
| | ||||||
* | Improve parsing of incomplete field accesses in preparation for field completion | Florian Diebold | 2018-12-25 | 1 | -9/+7 | |
| | | | | | We need to be able to get the receiver even if there is no field name yet, and currently "a." wouldn't get parsed as a field name at all. This seems to help. | |||||
* | Type field accesses | Florian Diebold | 2018-12-25 | 2 | -2/+10 | |
| | ||||||
* | Add AST definitions for struct/variant fields etc. | Florian Diebold | 2018-12-25 | 3 | -12/+256 | |
| | | | | Fixes #117 | |||||
* | Infer result of struct literals, and recurse into their child expressions | Florian Diebold | 2018-12-25 | 2 | -6/+26 | |
| | ||||||
* | Resolve paths to defs (functions currently) during type inference | Florian Diebold | 2018-12-23 | 2 | -2/+6 | |
| | ||||||
* | Make let statements kind of work | Florian Diebold | 2018-12-23 | 2 | -0/+5 | |
| | ||||||
* | Parse integer / float types | Florian Diebold | 2018-12-23 | 2 | -2/+6 | |
| | ||||||
* | Add beginnings of type infrastructure | Florian Diebold | 2018-12-23 | 2 | -13/+45 | |
| | ||||||
* | Merge #316 | bors[bot] | 2018-12-21 | 1 | -1/+1 | |
|\ | | | | | | | | | | | | | | | 316: Fix handling of nested self in paths r=matklad a=DJMcNab See https://github.com/rust-analyzer/rust-analyzer/issues/231#issuecomment-442449505. Co-authored-by: DJMcNab <[email protected]> | |||||
| * | Fix handling of nested self in paths | DJMcNab | 2018-12-21 | 1 | -1/+1 | |
| | | ||||||
* | | Remove uneeded todo in lexer | DJMcNab | 2018-12-21 | 1 | -1/+1 | |
|/ | ||||||
* | Fix where clauses using fully qualified path syntax | DJMcNab | 2018-12-21 | 1 | -1/+6 | |
| | ||||||
* | show debug repr of literals | Aleksey Kladov | 2018-12-21 | 4 | -4/+4 | |
| | ||||||
* | Fix parsing of contextual_keyword union | DJMcNab | 2018-12-20 | 1 | -1/+1 | |
| | ||||||
* | Use a better way of skipping SEMIs | DJMcNab | 2018-12-20 | 1 | -6/+6 | |
| |