Commit message (Collapse) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | Fix type inference for raw (byte) strings | Marcus Klaas de Vries | 2019-01-14 | 3 | -14/+61 |
| | |||||
* | Fixup tests | Marcus Klaas de Vries | 2019-01-14 | 5 | -45/+148 |
| | |||||
* | Start moving literal interpretation to the AST (WIP) | Marcus Klaas de Vries | 2019-01-14 | 3 | -6/+128 |
| | |||||
* | Try implementing integer type inference (WIP) | Marcus Klaas de Vries | 2019-01-14 | 1 | -1/+1 |
| | |||||
* | Implement type inference for literals (WIP) | Marcus Klaas de Vries | 2019-01-14 | 3 | -1/+27 |
| | |||||
* | Update TUPLE_EXPR grammar | Hirokazu Hata | 2019-01-13 | 2 | -2/+8 |
| | |||||
* | support ref-patterns | Aleksey Kladov | 2019-01-13 | 3 | -2/+12 |
| | |||||
* | Fix handling of attributes in positional field lists | DJMcNab | 2019-01-12 | 3 | -0/+53 |
| | |||||
* | rename TreePtr -> TreeArc | Aleksey Kladov | 2019-01-11 | 10 | -151/+151 |
| | | | | This is much clearer about the semantics | ||||
* | force serde in ra_syntax | Aleksey Kladov | 2019-01-11 | 2 | -4/+22 |
| | |||||
* | Fix handling of where clauses in tuple structs | DJMcNab | 2019-01-10 | 3 | -0/+68 |
| | |||||
* | fuzz-lockfile | Aleksey Kladov | 2019-01-08 | 1 | -32/+9 |
| | |||||
* | kill text utils | Aleksey Kladov | 2019-01-08 | 3 | -19/+6 |
| | |||||
* | upstream text-utils to text_unit | Aleksey Kladov | 2019-01-08 | 3 | -20/+6 |
| | |||||
* | add comment | Aleksey Kladov | 2019-01-08 | 1 | -0/+9 |
| | |||||
* | move node at offset to aglo already | Aleksey Kladov | 2019-01-08 | 1 | -1/+5 |
| | |||||
* | assist to convert if-let to match | Aleksey Kladov | 2019-01-08 | 1 | -1/+1 |
| | |||||
* | itroduce trait for ast tokens | Aleksey Kladov | 2019-01-08 | 7 | -53/+28 |
| | |||||
* | migrate ra_hir to rowan 2.0 | Aleksey Kladov | 2019-01-08 | 2 | -0/+38 |
| | |||||
* | migrate ra_db to new rowan | Aleksey Kladov | 2019-01-08 | 1 | -1/+10 |
| | |||||
* | wrap TreePtr | Aleksey Kladov | 2019-01-08 | 1 | -7/+45 |
| | |||||
* | regenerate | Aleksey Kladov | 2019-01-08 | 1 | -3052/+1791 |
| | |||||
* | switch ra_syntax to new rowan API | Aleksey Kladov | 2019-01-08 | 15 | -327/+266 |
| | |||||
* | update rowan | Aleksey Kladov | 2019-01-08 | 1 | -1/+1 |
| | |||||
* | Implement type inference for more binary operators | Marcus Klaas de Vries | 2019-01-07 | 1 | -2/+2 |
| | | | | | Mostly just for primitive numeric types such as u32 and f64. Not yet a general solution using trait resolution. | ||||
* | Add remaining binary operations to AST | Marcus Klaas de Vries | 2019-01-07 | 3 | -1/+72 |
| | |||||
* | Merge #440 | bors[bot] | 2019-01-06 | 1 | -0/+52 |
|\ | | | | | | | | | | | | | | | | | | | 440: Implement type inference for boolean operators r=flodiebold a=marcusklaas Tried implementing the easiest part of https://github.com/rust-analyzer/rust-analyzer/issues/390. Hope this is somewhat close to what the intent of the issue was. Found it surprisingly easy to find my way around the repository - it's well organized! Very grateful for any pointers. Co-authored-by: Marcus Klaas de Vries <[email protected]> | ||||
| * | Touch up type inference for boolean operators | Marcus Klaas de Vries | 2019-01-06 | 3 | -26/+26 |
| | | | | | | | | | | Also try to infer its subexpressions and set type expectations whenever possible. | ||||
| * | 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 | 6 | -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 | 21 | -47/+46 |
| | | | | | 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 |
| | |||||
* | add mod doc comment test | csmoe | 2019-01-04 | 2 | -0/+22 |
| | |||||
* | 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 |
| | | |||||
* | | bump deps | Aleksey Kladov | 2019-01-01 | 1 | -3/+3 |
| | |