| Commit message (Collapse) | Author | Age | Files | Lines | |
|---|---|---|---|---|---|
| * | Increace tracing-tree version from 0.1.3 to 0.1.4 | Bram van den Heuvel | 2020-07-24 | 1 | -1/+1 |
| | | |||||
| * | Remove insta dep | Laurențiu Nicola | 2020-07-21 | 1 | -1/+0 |
| | | |||||
| * | Bump chalk | kjeremy | 2020-07-20 | 1 | -3/+3 |
| | | |||||
| * | Add a license field to all the crates | Yuki Okushi | 2020-07-14 | 1 | -0/+1 |
| | | |||||
| * | Upgrade Chalk | Florian Diebold | 2020-07-12 | 1 | -2/+3 |
| | | |||||
| * | Enable Chalk tracing in hir_ty tests | Florian Diebold | 2020-07-12 | 1 | -0/+4 |
| | | |||||
| * | Address review comments | Jonas Schievink | 2020-07-09 | 1 | -0/+1 |
| | | |||||
| * | Update Chalk to released version | Florian Diebold | 2020-06-28 | 1 | -2/+2 |
| | | |||||
| * | Bump chalk | Laurențiu Nicola | 2020-06-26 | 1 | -2/+2 |
| | | |||||
| * | Upgrade Chalk to published version | Florian Diebold | 2020-06-05 | 1 | -2/+2 |
| | | |||||
| * | Upgrade Chalk | Florian Diebold | 2020-05-29 | 1 | -2/+2 |
| | | | | | Fixes #4072. | ||||
| * | Upgrade Chalk | Florian Diebold | 2020-05-27 | 1 | -3/+2 |
| | | | | | | Chalk newly added TypeName::Never and Array; I implemented the conversion for Never, but not Array since that expects a const argument. | ||||
| * | Update Chalk | Florian Diebold | 2020-05-22 | 1 | -3/+3 |
| | | | | | | As always, this just makes compilation work, we don't use the newly available functionality yet. | ||||
| * | Chalk upgrade | Florian Diebold | 2020-05-16 | 1 | -3/+3 |
| | | |||||
| * | Bump deps | Laurențiu Nicola | 2020-05-01 | 1 | -1/+1 |
| | | |||||
| * | Update Chalk, and cache Chalk env elaboration through a query | Florian Diebold | 2020-04-20 | 1 | -3/+3 |
| | | | | | This should fix some of the worst performance problems. | ||||
| * | Update Chalk | Florian Diebold | 2020-04-16 | 1 | -3/+3 |
| | | |||||
| *-. | Merge #3964 #3965 #3967 | bors[bot] | 2020-04-15 | 1 | -0/+1 |
| |\ \ | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | 3964: Nicer Chalk debug logs r=matklad a=flodiebold I'm looking at a lot of Chalk debug logs at the moment, so here's a few changes to make them slightly nicer... 3965: Implement inline associated type bounds r=matklad a=flodiebold Like `Iterator<Item: SomeTrait>`. This is an unstable feature, but it's used in the standard library e.g. in the definition of Flatten, so we can't get away with not implementing it :) (This is cherry-picked from my recursive solver branch, where it works better, but I did manage to write a test that works with the current Chalk solver as well...) 3967: Handle `Self::Type` in trait definitions when referring to own associated type r=matklad a=flodiebold It was implemented for other generic parameters for the trait, but not for `Self`. (Last one off my recursive solver branch :smile: ) Co-authored-by: Florian Diebold <[email protected]> | ||||
| | * | | Nicer display of projections in Chalk logs | Florian Diebold | 2020-04-13 | 1 | -0/+1 |
| | |/ | |||||
| * | | Merge #3963 | bors[bot] | 2020-04-15 | 1 | -3/+3 |
| |\ \ | | | | | | | | | | | | | | | | | | | | | | 3963: Upgrade Chalk r=matklad a=flodiebold Co-authored-by: Florian Diebold <[email protected]> | ||||
| | * | | Upgrade Chalk | Florian Diebold | 2020-04-13 | 1 | -3/+3 |
| | |/ | |||||
| * / | insta 0.16 | kjeremy | 2020-04-14 | 1 | -1/+1 |
| |/ | |||||
| * | Implement Chalk's debug methods using TLS | Florian Diebold | 2020-04-10 | 1 | -0/+2 |
| | | | | | | | | | | | 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. | ||||
| * | missing match arms diagnostic | Josh Mcguigan | 2020-04-07 | 1 | -0/+1 |
| | | |||||
| * | Upgrade Chalk again | Florian Diebold | 2020-04-05 | 1 | -3/+3 |
| | | | | | | | | The big change here is counting binders, not variables (https://github.com/rust-lang/chalk/pull/360). We have to adapt to the same scheme for our `Ty::Bound`. It's mostly fine though, even makes some things more clear. | ||||
| * | Upgrade Chalk | Florian Diebold | 2020-04-05 | 1 | -3/+3 |
| | | |||||
| * | Nice string formatting | Aleksey Kladov | 2020-03-28 | 1 | -0/+2 |
| | | |||||
| * | Updates insta to 0.15.0 and bumps console to 0.10.0 | kjeremy | 2020-03-09 | 1 | -1/+1 |
| | | |||||
| * | Drop larlpop-intern dep | Laurențiu Nicola | 2020-03-03 | 1 | -2/+0 |
| | | |||||
| * | Update chalk for Ty interners | Laurențiu Nicola | 2020-03-02 | 1 | -3/+3 |
| | | |||||
| * | Update chalk for RawId removal | Laurențiu Nicola | 2020-03-02 | 1 | -3/+3 |
| | | |||||
| * | Bump chalk and replace TypeFamily with Interner | Laurențiu Nicola | 2020-02-24 | 1 | -3/+3 |
| | | |||||
| * | Update versions | Kirill Bulatov | 2020-02-18 | 1 | -4/+4 |
| | | |||||
| * | Upgrade Chalk | Florian Diebold | 2020-01-27 | 1 | -3/+3 |
| | | |||||
| * | Update crates | Jeremy Kolb | 2020-01-26 | 1 | -1/+1 |
| | | |||||
| * | Update Chalk, clean up Chalk integration a bit | Florian Diebold | 2019-12-22 | 1 | -4/+3 |
| | | |||||
| * | chore: bump deps and use mainline chalk | Laurențiu Nicola | 2019-12-09 | 1 | -3/+3 |
| | | |||||
| * | prune deps | Aleksey Kladov | 2019-11-27 | 1 | -6/+5 |
| | | |||||
| * | Move Ty | Aleksey Kladov | 2019-11-27 | 1 | -0/+1 |
| | | |||||
| * | Fix stale crates that snuck in | Jeremy Kolb | 2019-11-26 | 1 | -1/+1 |
| | | |||||
| * | Introduce hir_ty | Aleksey Kladov | 2019-11-26 | 1 | -0/+32 |
 |
index : rust-analyzer | |
| [FORK] modified to work on wasm targets |
| aboutsummaryrefslogtreecommitdiff |