Commit message (Collapse) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | simplify | Aleksey Kladov | 2019-09-24 | 1 | -4/+1 |
| | |||||
* | Support path starting with a type | uHOOCCOOHu | 2019-09-15 | 1 | -1/+1 |
| | |||||
* | Add `DotDotPat` to AST | Dylan MacKenzie | 2019-09-15 | 1 | -0/+3 |
| | | | | This is modeled on `PlaceholderPat`. | ||||
* | Infer box expression | uHOOCCOOHu | 2019-09-11 | 1 | -0/+2 |
| | |||||
* | Lower `Fn(X, Y) -> Z` paths | Florian Diebold | 2019-09-07 | 1 | -1/+1 |
| | |||||
* | Merge #1743 | bors[bot] | 2019-09-05 | 1 | -0/+1 |
|\ | | | | | | | | | | | | | | | 1743: Support `#[macro_use]` on `extern crate` r=matklad a=uHOOCCOOHu Unfortunately, #1688 is still an issue. My guess is wrong :( Co-authored-by: uHOOCCOOHu <[email protected]> | ||||
| * | Support resolution of `#[macro_use] extern crate` | uHOOCCOOHu | 2019-08-31 | 1 | -0/+1 |
| | | |||||
* | | fix hir for new block syntax | Aleksey Kladov | 2019-09-02 | 1 | -1/+1 |
| | | |||||
* | | fix generated AST | Aleksey Kladov | 2019-09-02 | 1 | -1/+1 |
| | | |||||
* | | remove useless trait | Aleksey Kladov | 2019-09-02 | 1 | -1/+1 |
|/ | |||||
* | Add `BoxPat` variant | Dylan MacKenzie | 2019-08-23 | 1 | -0/+3 |
| | |||||
* | rename struct -> record, pos -> tuple | Aleksey Kladov | 2019-08-23 | 1 | -24/+24 |
| | |||||
* | use quote! macro to generate grammar | Aleksey Kladov | 2019-08-18 | 1 | -27/+27 |
| | | | | | We already use syn"e elsewhere (transitively), so it make sense to cut down on the number of technologies and get rid of tera | ||||
* | deserialize grammar | Aleksey Kladov | 2019-08-18 | 1 | -53/+53 |
| | |||||
* | Add function parameters attributes | Evgenii P | 2019-08-07 | 1 | -0/+2 |
| | |||||
* | add await expr to ast | Unreal Hoang | 2019-07-20 | 1 | -0/+2 |
| | |||||
* | add await to syntax, parser for await_expr | Unreal Hoang | 2019-07-20 | 1 | -0/+2 |
| | |||||
* | fix: box_pattern | csmoe | 2019-06-19 | 1 | -0/+2 |
| | | | | Change-Id: I45a856d74fb616d3bce33050f9e69d327186bd59 | ||||
* | fix: support existential type | csmoe | 2019-06-12 | 1 | -0/+1 |
| | |||||
* | [#1083] Try block syntax | Andrey Tkachenko | 2019-06-06 | 1 | -0/+6 |
| | |||||
* | fill struct fields diagnostic | Sergey Parilin | 2019-05-06 | 1 | -2/+5 |
| | |||||
* | Merge #1208 | bors[bot] | 2019-05-04 | 1 | -1/+1 |
|\ | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | 1208: [WIP] Goto for Macro's r=matklad a=Lapz Adds goto definition for macros. Currently only works for macros in the current crate ~~otherwise it panics~~. Proper macro resolution needs to be added for it to resolve macros in other crates. Todo - [X] Allow goto from macro calls - [X] Fix panics - [x] Add tests ![Screen Recording 2019-04-25 at 18 00 24](https://user-images.githubusercontent.com/19998186/56754499-1dd01c00-6785-11e9-9e9a-1e36de70cfa3.gif) Co-authored-by: Lenard Pratt <[email protected]> | ||||
| * | Added local macro goto | Lenard Pratt | 2019-05-04 | 1 | -1/+1 |
| | | |||||
* | | Revert "eagarly clean astd maps" | Aleksey Kladov | 2019-05-04 | 1 | -1/+1 |
| | | | | | | | | | | | | This reverts commit 6c63a59425e256ce46d058807b64149297231982. This causes massive slowdowns: looks like we accidentally have some source-depndent | ||||
* | | eagarly clean astd maps | Aleksey Kladov | 2019-05-04 | 1 | -1/+1 |
| | | |||||
* | | Add default type param in TypeParam Node | Edwin Cheng | 2019-05-03 | 1 | -1/+1 |
|/ | |||||
* | Merge #1154 | bors[bot] | 2019-04-20 | 1 | -1/+1 |
|\ | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | 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 | 1 | -1/+1 |
| | | |||||
* | | Add MacroItems and MacroStmts in grammer.ron | Edwin Cheng | 2019-04-18 | 1 | -0/+15 |
|/ | |||||
* | Add L_DOLLAR and R_DOLLAR | Edwin Cheng | 2019-04-11 | 1 | -0/+2 |
| | |||||
* | Merge #1076 | bors[bot] | 2019-04-02 | 1 | -0/+2 |
|\ | | | | | | | | | | | | | | | | | 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 | 1 | -2/+2 |
| | | | | | | | | | | | | and added inference the inference test reduce code duplication | ||||
| * | Added defWithBody | Lenard Pratt | 2019-03-30 | 1 | -0/+2 |
| | | |||||
* | | Merge #1084 | bors[bot] | 2019-04-01 | 1 | -1/+0 |
|\ \ | | | | | | | | | | | | | | | | | | | | | | 1084: remove dead code r=matklad a=matklad Co-authored-by: Aleksey Kladov <[email protected]> | ||||
| * | | remove dead code | Aleksey Kladov | 2019-04-01 | 1 | -1/+0 |
| | | | |||||
* | | | intelligently add parens when inlining local varaibles | gfreezy | 2019-04-01 | 1 | -0/+1 |
|/ / | |||||
* | | switch to new rowan | Aleksey Kladov | 2019-04-01 | 1 | -33/+2 |
| | | |||||
* | | Add WherePred to allow predicate access in WhereClause | Ville Penttinen | 2019-03-31 | 1 | -1/+14 |
| | | | | | | | | | | This also unifies parsing of WHERE_PRED bounds, now Lifetime bounds will also be parsed using TYPE_BOUND_LIST | ||||
* | | Add trait ast::TypeBoundsOwner | Ville Penttinen | 2019-03-31 | 1 | -5/+10 |
| | | |||||
* | | Add new TYPE_BOUND_LIST and TYPE_BOUND syntax kinds | Ville Penttinen | 2019-03-30 | 1 | -0/+13 |
|/ | | | | | | 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 +. | ||||
* | Basics for trait method resolution | Florian Diebold | 2019-03-25 | 1 | -1/+4 |
| | |||||
* | add name resolution from the old impl | Aleksey Kladov | 2019-03-17 | 1 | -1/+1 |
| | | | | unlike the old impl, this also handles macro imports across crates | ||||
* | Add async keyword | Caio | 2019-03-09 | 1 | -0/+1 |
| | |||||
* | Remove `TypeRef` from item opts which implement TypeAscriptionOwner | Ville Penttinen | 2019-02-27 | 1 | -6/+11 |
| | |||||
* | Add new trait TypeAscriptionOwner | Ville Penttinen | 2019-02-26 | 1 | -9/+24 |
| | | | | | This trait should be implemented for nodes which have an ascribed type, e.g. thing : Type. Such as let, const, static, param, named struct fields. | ||||
* | rename type to type_alias in the AST as well | Aleksey Kladov | 2019-02-25 | 1 | -4/+4 |
| | |||||
* | Enable parsing attributes for generic lifetimes and type parameters | Ville Penttinen | 2019-02-17 | 1 | -2/+5 |
| | |||||
* | Enable parsing of attributes inside a match block | Ville Penttinen | 2019-02-17 | 1 | -1/+3 |
| | | | | | | | We allow invalid inner attributes to be parsed, e.g. inner attributes that are not directly after the opening brace of the match block. Instead we run validation on `MatchArmList` to allow better reporting of errors. | ||||
* | Handle generic args for method calls | Florian Diebold | 2019-02-16 | 1 | -1/+1 |
| | |||||
* | Add generic params to impl blocks | Florian Diebold | 2019-02-16 | 1 | -1/+1 |
| |