Commit message (Collapse) | Author | Age | Files | Lines | ||
---|---|---|---|---|---|---|
... | ||||||
* | | Merge #633 | bors[bot] | 2019-01-24 | 2 | -0/+504 | |
|\ \ | | | | | | | | | | | | | | | | | | | | | | 633: use ToOwned trait instead of inherent method r=matklad a=matklad Co-authored-by: Aleksey Kladov <[email protected]> | |||||
| * | | use ToOwned trait instead of inherent method | Aleksey Kladov | 2019-01-24 | 2 | -0/+504 | |
| |/ | ||||||
* / | Migrate trait & type to new ids | Aleksey Kladov | 2019-01-24 | 1 | -0/+1 | |
|/ | ||||||
* | Make EnumVariant a DocCommentsOwner | Jeremy A. Kolb | 2019-01-23 | 1 | -0/+1 | |
| | ||||||
* | Add AST/HIR for type args in path segments | Florian Diebold | 2019-01-19 | 1 | -0/+128 | |
| | ||||||
* | Change parsing of struct field patterns | Marcus Klaas de Vries | 2019-01-19 | 1 | -1/+5 | |
| | ||||||
* | Move parsing of field pattern lists to the parser (where it belongs) | Marcus Klaas de Vries | 2019-01-19 | 1 | -1/+34 | |
| | ||||||
* | Add initial (flawed) implementation of binding annotations | Marcus Klaas de Vries | 2019-01-19 | 1 | -1/+5 | |
| | ||||||
* | Create struct patterns up to the hir level | Marcus Klaas de Vries | 2019-01-19 | 1 | -4/+9 | |
| | ||||||
* | Add additional pattern variants | Marcus Klaas de Vries | 2019-01-19 | 1 | -2/+10 | |
| | ||||||
* | Update ARRAY_EXPR grammar | Hirokazu Hata | 2019-01-16 | 1 | -1/+5 | |
| | ||||||
* | Fix type inference for raw (byte) strings | Marcus Klaas de Vries | 2019-01-14 | 1 | -0/+56 | |
| | ||||||
* | Fixup tests | Marcus Klaas de Vries | 2019-01-14 | 1 | -38/+94 | |
| | ||||||
* | Start moving literal interpretation to the AST (WIP) | Marcus Klaas de Vries | 2019-01-14 | 1 | -4/+110 | |
| | ||||||
* | Update TUPLE_EXPR grammar | Hirokazu Hata | 2019-01-13 | 1 | -1/+5 | |
| | ||||||
* | support ref-patterns | Aleksey Kladov | 2019-01-13 | 1 | -1/+5 | |
| | ||||||
* | rename TreePtr -> TreeArc | Aleksey Kladov | 2019-01-11 | 2 | -116/+116 | |
| | | | | This is much clearer about the semantics | |||||
* | itroduce trait for ast tokens | Aleksey Kladov | 2019-01-08 | 1 | -0/+7 | |
| | ||||||
* | regenerate | Aleksey Kladov | 2019-01-08 | 1 | -3052/+1791 | |
| | ||||||
* | switch ra_syntax to new rowan API | Aleksey Kladov | 2019-01-08 | 1 | -45/+48 | |
| | ||||||
* | Make FnScopes use hir::Expr | Florian Diebold | 2019-01-05 | 1 | -16/+9 | |
| | | | | | | 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 | 1 | -1/+9 | |
| | ||||||
* | Type the self parameter | Florian Diebold | 2019-01-04 | 1 | -1/+46 | |
| | ||||||
* | Add HIR for impl blocks | Florian Diebold | 2019-01-04 | 1 | -2/+38 | |
| | | | | | | | | | 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 | 1 | -18/+18 | |
| | | | | | rustc uses the name ImplItem for items in impls, not the impl {} block itself, which could lead to confusion. | |||||
* | visibility owner | Aleksey Kladov | 2019-01-03 | 1 | -0/+47 | |
| | ||||||
* | super simplistic macro expansion | Aleksey Kladov | 2018-12-28 | 1 | -0/+4 | |
| | ||||||
* | add macro-call node | Aleksey Kladov | 2018-12-28 | 1 | -0/+41 | |
| | ||||||
* | Add a hir::TypeRef as an intermediate between ast::TypeRef and ty::Ty | Florian Diebold | 2018-12-25 | 1 | -5/+33 | |
| | ||||||
* | Implement reference / pointer types | Florian Diebold | 2018-12-25 | 1 | -3/+15 | |
| | | | | | - parse them - infer types of & and * expressions | |||||
* | Implement basic completion for fields | Florian Diebold | 2018-12-25 | 1 | -0/+4 | |
| | ||||||
* | Type field accesses | Florian Diebold | 2018-12-25 | 1 | -1/+9 | |
| | ||||||
* | Add AST definitions for struct/variant fields etc. | Florian Diebold | 2018-12-25 | 1 | -7/+218 | |
| | | | | Fixes #117 | |||||
* | Infer result of struct literals, and recurse into their child expressions | Florian Diebold | 2018-12-25 | 1 | -3/+23 | |
| | ||||||
* | Resolve paths to defs (functions currently) during type inference | Florian Diebold | 2018-12-23 | 1 | -1/+5 | |
| | ||||||
* | Make let statements kind of work | Florian Diebold | 2018-12-23 | 1 | -0/+4 | |
| | ||||||
* | Parse integer / float types | Florian Diebold | 2018-12-23 | 1 | -1/+5 | |
| | ||||||
* | Add beginnings of type infrastructure | Florian Diebold | 2018-12-23 | 1 | -6/+38 | |
| | ||||||
* | grand module rename | Aleksey Kladov | 2018-12-08 | 1 | -365/+0 | |
| | ||||||
* | Some import resolution boilerplate | Aleksey Kladov | 2018-11-20 | 1 | -0/+6 | |
| | ||||||
* | Validate byte string literals | Adolfo Ochagavía | 2018-11-11 | 2 | -0/+43 | |
| | ||||||
* | Add validator for byte | Adolfo Ochagavía | 2018-11-11 | 2 | -0/+43 | |
| | ||||||
* | Validate string literals | Adolfo Ochagavía | 2018-11-09 | 2 | -1/+45 | |
| | ||||||
* | Complete paths in use trees | Aleksey Kladov | 2018-11-07 | 1 | -0/+9 | |
| | ||||||
* | rename ROOT -> SOURCE_FILE | Aleksey Kladov | 2018-11-07 | 1 | -43/+43 | |
| | ||||||
* | Add some more DocCommentsOwner | Jeremy A. Kolb | 2018-11-07 | 1 | -0/+7 | |
| | ||||||
* | ra_syntax::File is just RootNode | Aleksey Kladov | 2018-11-06 | 2 | -197/+961 | |
| | ||||||
* | Add a pinch of comments | Aleksey Kladov | 2018-11-06 | 3 | -0/+16 | |
| | ||||||
* | Generalize Owned nodes | Aleksey Kladov | 2018-11-06 | 2 | -1806/+1237 | |
| | ||||||
* | Add character literal parsing and validation | Adolfo Ochagavía | 2018-11-04 | 2 | -0/+40 | |
| |