aboutsummaryrefslogtreecommitdiff
Commit message (Collapse)AuthorAgeFilesLines
* missing match arms add test cases to demonstrate behavior of tuple with patternJosh Mcguigan2020-04-121-0/+75
|
* missing match arm add test for partially diverging typeJosh Mcguigan2020-04-111-0/+21
|
* missing match arms add tests for match expression divergingJosh Mcguigan2020-04-111-0/+77
|
* fix match arm false positiveJosh Mcguigan2020-04-112-12/+16
|
* Merge #3937bors[bot]2020-04-108-26/+25
|\ | | | | | | | | | | | | | | | | | | | | 3937: Forward compat r=matklad a=matklad bors r+ 🤖 Co-authored-by: Aleksey Kladov <[email protected]>
| * Forward compatAleksey Kladov2020-04-108-26/+25
|/
* Merge #3933bors[bot]2020-04-104-35/+63
|\ | | | | | | | | | | | | | | | | | | 3933: Fix accidently quadratic behavior when processing include! r=matklad a=matklad This fixes the immediate problem behind #3927. It doesn't yet fix the deeper problem with `to_node` being quadratic (hence the test is ignored), but it is a good start anyway. bors r+ Co-authored-by: Aleksey Kladov <[email protected]>
| * Move timeit to stdxAleksey Kladov2020-04-102-16/+15
| |
| * profile queriesAleksey Kladov2020-04-101-0/+5
| |
| * Fix accidently quadratic behavior when processing includesAleksey Kladov2020-04-101-17/+19
| | | | | | | | closes #3927
| * Add failing testAleksey Kladov2020-04-101-2/+29
| |
* | Merge #3931bors[bot]2020-04-101-0/+5
|\ \ | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | 3931: profile queries r=matklad a=matklad bors r+ 🤖 Co-authored-by: Aleksey Kladov <[email protected]>
| * | profile queriesAleksey Kladov2020-04-101-0/+5
|/ /
* | Merge #3930bors[bot]2020-04-101-10/+10
|\ \ | | | | | | | | | | | | | | | | | | | | | 3930: cargo update r=kjeremy a=kjeremy Co-authored-by: kjeremy <[email protected]>
| * | cargo updatekjeremy2020-04-101-10/+10
|/ /
* | Merge #3928bors[bot]2020-04-103-20/+3
|\| | | | | | | | | | | | | | | | | | | | | 3928: Simplify r=matklad a=matklad bors r+ 🤖 Co-authored-by: Aleksey Kladov <[email protected]>
| * SimplifyAleksey Kladov2020-04-103-20/+3
| |
* | Merge #3926bors[bot]2020-04-10221-3863/+1782
|\| | | | | | | | | | | | | | | | | | | | | 3926: Rename some tokens r=matklad a=matklad bors r+ 🤖 Co-authored-by: Aleksey Kladov <[email protected]>
| * Rename some tokensAleksey Kladov2020-04-10209-1393/+1107
| |
| * Better readabilityAleksey Kladov2020-04-103-2/+145
| |
| * Remove dead codeAleksey Kladov2020-04-105-206/+191
| |
| * Generate only minimal set of ineresting tokensAleksey Kladov2020-04-108-1306/+61
| |
| * Scale token generation backAleksey Kladov2020-04-109-547/+136
| |
| * Convert more tokensAleksey Kladov2020-04-105-268/+34
| |
| * Other delimitersAleksey Kladov2020-04-103-50/+54
| |
| * Curley tokensAleksey Kladov2020-04-106-133/+49
| |
| * Start replacing tokensAleksey Kladov2020-04-103-35/+17
| |
| * Semicolon tokenAleksey Kladov2020-04-107-29/+57
| |
| * More readable ast_src for keywordsAleksey Kladov2020-04-103-173/+210
| |
| * SimplifyAleksey Kladov2020-04-101-4/+4
|/
* Merge #3905bors[bot]2020-04-107-57/+159
|\ | | | | | | | | | | | | | | | | | | | | | | 3905: add ellipsis field to hir pat record r=matklad a=JoshMcguigan This PR corrects a `fixme`, adding an `ellipsis` field to the hir `Pat::Record` type. It will also be unlock some useful follow on work for #3894. Additionally it adds a diagnostic for missing fields in record patterns. ~~Marking as a draft because I don't have any tests, and a small amount of manual testing on my branch from #3894 suggests it might *not* be working. Any thoughts on how I can best test this, or else pointers on where I might be going wrong?~~ Co-authored-by: Josh Mcguigan <[email protected]>
| * add record pat missing field diagnosticJosh Mcguigan2020-04-107-57/+159
| |
* | Merge #3748bors[bot]2020-04-106-56/+304
|\ \ | |/ |/| | | | | | | | | | | | | | | 3748: Implement Chalk's debug methods using TLS r=matklad a=flodiebold Chalk now panics if we don't implement these methods and run with CHALK_DEBUG, so I thought I'd try to implement them 'properly'. Sadly, it seems impossible to do without transmuting lifetimes somewhere. The problem is that we need a `&dyn HirDatabase` to get names etc., which we can't just put into TLS. I thought I could just use `scoped-tls`, but that doesn't support references to unsized types. So I put the `&dyn` into another struct and put the reference to *that* into the TLS, but I have to transmute the lifetime to 'static for that to work. I think this is sound, but I still don't really want to do it this way... Having names in the Chalk debug output is very nice, but maybe IDs will have to suffice :disappointed: Co-authored-by: Florian Diebold <[email protected]>
| * Implement Chalk's debug methods using TLSFlorian Diebold2020-04-106-56/+304
|/ | | | | | | | | | Chalk now panics if we don't implement these methods and run with CHALK_DEBUG, so I thought I'd try to implement them 'properly'. Sadly, it seems impossible to do without transmuting lifetimes somewhere. The problem is that we need a `&dyn HirDatabase` to get names etc., which we can't just put into TLS. I thought I could just use `scoped-tls`, but that doesn't support references to unsized types. So I put the `&dyn` into another struct and put the reference to *that* into the TLS, but I have to transmute the lifetime to 'static for that to work.
* Merge #3923bors[bot]2020-04-0916-1060/+151
|\ | | | | | | | | | | | | | | | | 3923: Cleanup keyword accessors r=matklad a=matklad bors r+ 🤖 Co-authored-by: Aleksey Kladov <[email protected]>
| * Simpler acessors for keywordsAleksey Kladov2020-04-0914-1025/+128
| |
| * use uniform accessorAleksey Kladov2020-04-092-5/+1
| |
| * use stdxAleksey Kladov2020-04-091-3/+3
| |
| * Drop needless traitAleksey Kladov2020-04-094-28/+20
| |
* | Merge #3922bors[bot]2020-04-095-60/+49
|\| | | | | | | | | | | | | | | | | | | | | 3922: Remove code duplication r=matklad a=matklad bors r+ 🤖 Co-authored-by: Aleksey Kladov <[email protected]>
| * Remove code duplicationAleksey Kladov2020-04-095-60/+49
|/
* Merge #3918bors[bot]2020-04-095-45/+142
|\ | | | | | | | | | | | | | | | | 3918: Add support for feature attributes in struct literal r=matklad a=bnjjj As promised here is the next PR to solve 2 different scenarios with feature flag on struct literal. close #3870 Co-authored-by: Benjamin Coenen <[email protected]>
| * feat: add support for feature attributes in struct literalBenjamin Coenen2020-04-0928-8158/+7651
| |\ | | | | | | | | | Signed-off-by: Benjamin Coenen <[email protected]>
| * | feat: add support for feature attributes in struct literalBenjamin Coenen2020-04-096-45/+143
| | | | | | | | | | | | Signed-off-by: Benjamin Coenen <[email protected]>
* | | Merge #3901bors[bot]2020-04-091-6/+46
|\ \ \ | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | 3901: Add more heuristics for hiding obvious param hints r=matklad a=IceSentry This will now hide `value`, `pat`, `rhs` and `other`. These words were selected from the std because they are used in commonly used functions with only a single param and are obvious by their use. It will also hide the hint if the passed param **starts** or end with the param_name. Maybe we could also split on '_' and check if one of the string is the param_name. I think it would be good to also hide `bytes` if the type is `[u8; n]` but I'm not sure how to get the param type signature. Closes #3900 Co-authored-by: IceSentry <[email protected]>
| * | | use .expr() to remove refIceSentry2020-04-091-5/+10
| | | |
| * | | clean up param hint checkingIceSentry2020-04-091-18/+18
| | | |
| * | | better `&mut ` and `&` matchingIceSentry2020-04-091-6/+6
| | | |
| * | | ignore `&mut ` and `&` when checking paramsIceSentry2020-04-091-3/+13
| | | |
| * | | remove TODOIceSentry2020-04-081-1/+0
| | | |