| Commit message (Collapse) | Author | Age | Files | Lines | |
|---|---|---|---|---|---|
| * | Implement autoderef using the Deref trait | Florian Diebold | 2019-06-15 | 1 | -2/+2 |
| | | | | | - add support for other lang item targets, since we need the Deref lang item | ||||
| * | Add basic infrastructure for assoc type projection | Florian Diebold | 2019-06-15 | 1 | -1/+32 |
| | | |||||
| * | check for cancellation when executing queries | Aleksey Kladov | 2019-06-12 | 1 | -1/+0 |
| | | | | | | | | Note that we can't just remove CheckCanceled trait altogether: sometimes it's useful to check for cancellation while the query is running! We do this, for example, in the name resolution fixed-point loop. | ||||
| * | don't poison mutex around chalk | Aleksey Kladov | 2019-06-01 | 1 | -2/+3 |
| | | | | | | | | | | We use panics for cancellation, so we could trigger panic while holding the solver. std::sync::Mutex will be poisoned as a result, which and all further attempts to use solver (from other threads) will panic as well. This commit switches to parking_lot::Mutex which just unlocks on panic. | ||||
| * | add cacellation checks to expensive queries | Aleksey Kladov | 2019-05-29 | 1 | -0/+1 |
| | | |||||
| * | Use fuel branch for Chalk | Florian Diebold | 2019-05-21 | 1 | -1/+1 |
| | | | | | This makes sure we don't take too long in trait solving. | ||||
| * | re-enable chalk | Aleksey Kladov | 2019-05-21 | 1 | -17/+16 |
| | | |||||
| * | publish gen_lsp_server 0.2 | Aleksey Kladov | 2019-05-21 | 1 | -16/+17 |
| | | |||||
| * | profile implements query | Aleksey Kladov | 2019-05-21 | 1 | -0/+2 |
| | | |||||
| * | add _query to query functions | Aleksey Kladov | 2019-05-21 | 1 | -3/+3 |
| | | |||||
| * | Increase Chalk solver max_size back to 4 | Florian Diebold | 2019-05-13 | 1 | -1/+1 |
| | | | | | | | Reducing it to 2 was just a failed attempt to see whether that would help fix some slow cases; in fact, it can create new slow cases by replacing concrete types by variables. | ||||
| * | Reduce Chalk max_size parameter, add test for slow case | Florian Diebold | 2019-05-11 | 1 | -1/+8 |
| | | |||||
| * | Deduplicate impls in impls_for_trait | Florian Diebold | 2019-05-07 | 1 | -2/+3 |
| | | | | | This was duplicating impls in dependencies a lot... | ||||
| * | Turn `implements` into a query again | Florian Diebold | 2019-05-07 | 1 | -3/+3 |
| | | |||||
| * | Turn eprintln!s into debug!s | Florian Diebold | 2019-05-04 | 1 | -2/+3 |
| | | |||||
| * | Canonicalize before doing method resolution | Florian Diebold | 2019-05-04 | 1 | -5/+2 |
| | | |||||
| * | Document the peculiarity of the solver query a bit | Florian Diebold | 2019-05-04 | 1 | -2/+4 |
| | | | | | | Also remove the only remaining mention of chalk outside of the ty::traits module. | ||||
| * | Move Chalk conversion code to its own module | Florian Diebold | 2019-05-04 | 1 | -275/+8 |
| | | |||||
| * | Simplify solution_from_chalk | Florian Diebold | 2019-05-04 | 1 | -12/+11 |
| | | |||||
| * | Chalk integration | Florian Diebold | 2019-05-04 | 1 | -90/+403 |
| | | | | | | - add proper canonicalization logic - add conversions from/to Chalk IR | ||||
| * | Add HIR for where clauses & ignore impls with where clauses in trait resolution | Florian Diebold | 2019-04-21 | 1 | -3/+6 |
| | | | | | | This prevents any `impl<T> Trait for T where ...` from being treated as a blanket impl while we don't handle where clauses yet. | ||||
| * | More trait infrastructure | Florian Diebold | 2019-04-14 | 1 | -0/+112 |
| - make it possible to get parent trait from method - add 'obligation' machinery for checking that a type implements a trait (and inferring facts about type variables from that) - handle type parameters of traits (to a certain degree) - improve the hacky implements check to cover enough cases to exercise the handling of traits with type parameters - basic canonicalization (will probably also be done by Chalk) | |||||
 |
index : rust-analyzer | |
| [FORK] modified to work on wasm targets |
| aboutsummaryrefslogtreecommitdiff |