aboutsummaryrefslogtreecommitdiff
path: root/crates/ra_hir_ty/Cargo.toml
Commit message (Collapse)AuthorAgeFilesLines
* Remove insta depLaurențiu Nicola2020-07-211-1/+0
|
* Bump chalkkjeremy2020-07-201-3/+3
|
* Add a license field to all the cratesYuki Okushi2020-07-141-0/+1
|
* Upgrade ChalkFlorian Diebold2020-07-121-2/+3
|
* Enable Chalk tracing in hir_ty testsFlorian Diebold2020-07-121-0/+4
|
* Address review commentsJonas Schievink2020-07-091-0/+1
|
* Update Chalk to released versionFlorian Diebold2020-06-281-2/+2
|
* Bump chalkLaurențiu Nicola2020-06-261-2/+2
|
* Upgrade Chalk to published versionFlorian Diebold2020-06-051-2/+2
|
* Upgrade ChalkFlorian Diebold2020-05-291-2/+2
| | | | Fixes #4072.
* Upgrade ChalkFlorian Diebold2020-05-271-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 ChalkFlorian Diebold2020-05-221-3/+3
| | | | | As always, this just makes compilation work, we don't use the newly available functionality yet.
* Chalk upgradeFlorian Diebold2020-05-161-3/+3
|
* Bump depsLaurențiu Nicola2020-05-011-1/+1
|
* Update Chalk, and cache Chalk env elaboration through a queryFlorian Diebold2020-04-201-3/+3
| | | | This should fix some of the worst performance problems.
* Update ChalkFlorian Diebold2020-04-161-3/+3
|
*-. Merge #3964 #3965 #3967bors[bot]2020-04-151-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 logsFlorian Diebold2020-04-131-0/+1
| |/
* | Merge #3963bors[bot]2020-04-151-3/+3
|\ \ | | | | | | | | | | | | | | | | | | | | | 3963: Upgrade Chalk r=matklad a=flodiebold Co-authored-by: Florian Diebold <[email protected]>
| * | Upgrade ChalkFlorian Diebold2020-04-131-3/+3
| |/
* / insta 0.16kjeremy2020-04-141-1/+1
|/
* Implement Chalk's debug methods using TLSFlorian Diebold2020-04-101-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 diagnosticJosh Mcguigan2020-04-071-0/+1
|
* Upgrade Chalk againFlorian Diebold2020-04-051-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 ChalkFlorian Diebold2020-04-051-3/+3
|
* Nice string formattingAleksey Kladov2020-03-281-0/+2
|
* Updates insta to 0.15.0 and bumps console to 0.10.0kjeremy2020-03-091-1/+1
|
* Drop larlpop-intern depLaurențiu Nicola2020-03-031-2/+0
|
* Update chalk for Ty internersLaurențiu Nicola2020-03-021-3/+3
|
* Update chalk for RawId removalLaurențiu Nicola2020-03-021-3/+3
|
* Bump chalk and replace TypeFamily with InternerLaurențiu Nicola2020-02-241-3/+3
|
* Update versionsKirill Bulatov2020-02-181-4/+4
|
* Upgrade ChalkFlorian Diebold2020-01-271-3/+3
|
* Update cratesJeremy Kolb2020-01-261-1/+1
|
* Update Chalk, clean up Chalk integration a bitFlorian Diebold2019-12-221-4/+3
|
* chore: bump deps and use mainline chalkLaurențiu Nicola2019-12-091-3/+3
|
* prune depsAleksey Kladov2019-11-271-6/+5
|
* Move TyAleksey Kladov2019-11-271-0/+1
|
* Fix stale crates that snuck inJeremy Kolb2019-11-261-1/+1
|
* Introduce hir_tyAleksey Kladov2019-11-261-0/+32