Commit message (Collapse) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | add AstDatabase | Aleksey Kladov | 2019-06-02 | 15 | -95/+177 |
| | |||||
* | collect impl source maps | Aleksey Kladov | 2019-06-01 | 2 | -11/+1 |
| | |||||
* | don't cache ast_id_to_node | Aleksey Kladov | 2019-06-01 | 1 | -0/+1 |
| | |||||
* | Merge #1360 | bors[bot] | 2019-06-01 | 4 | -8/+31 |
|\ | | | | | | | | | | | | | | | | | | | 1360: Improve goto definition for MBE r=matklad a=edwin0cheng This PR improve the macro resolution for goto definition and expression macro invocation by using proper path resolution for external macros. Co-authored-by: Edwin Cheng <[email protected]> | ||||
| * | Improve goto definition for MBE | Edwin Cheng | 2019-06-01 | 4 | -8/+31 |
| | | |||||
* | | don't poison mutex around chalk | Aleksey Kladov | 2019-06-01 | 2 | -3/+5 |
|/ | | | | | | | | | 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 tests for primitive types | Aleksey Kladov | 2019-05-30 | 5 | -30/+44 |
| | |||||
* | add built-in types to scopes | Aleksey Kladov | 2019-05-30 | 5 | -24/+47 |
| | |||||
* | add list of builtin types | Aleksey Kladov | 2019-05-30 | 2 | -3/+29 |
| | |||||
* | add ModuleDef::BuiltInType | Aleksey Kladov | 2019-05-30 | 5 | -10/+61 |
| | |||||
* | add cacellation checks to expensive queries | Aleksey Kladov | 2019-05-29 | 3 | -0/+3 |
| | |||||
* | fix syntax errors in tests | Aleksey Kladov | 2019-05-28 | 6 | -118/+134 |
| | |||||
* | check cancellation when expanding macros | Aleksey Kladov | 2019-05-27 | 1 | -0/+1 |
| | |||||
* | Formatting | Edwin Cheng | 2019-05-27 | 1 | -1/+0 |
| | |||||
* | Add Test for new item resolution | Edwin Cheng | 2019-05-26 | 2 | -2/+55 |
| | |||||
* | Use ItemOrMacro in item resolution | Edwin Cheng | 2019-05-26 | 4 | -94/+214 |
| | |||||
* | Put back unexpaned_macros after resolve | Edwin Cheng | 2019-05-26 | 1 | -0/+3 |
| | |||||
* | rename code_model_api -> code_model | Aleksey Kladov | 2019-05-23 | 4 | -4/+4 |
| | |||||
* | kill code_model_impl | Aleksey Kladov | 2019-05-23 | 5 | -89/+64 |
| | |||||
* | remove more references | Aleksey Kladov | 2019-05-23 | 1 | -56/+56 |
| | |||||
* | remove references | Aleksey Kladov | 2019-05-23 | 3 | -157/+105 |
| | |||||
* | kill krate_impl | Aleksey Kladov | 2019-05-23 | 3 | -26/+12 |
| | |||||
* | fix signature | Aleksey Kladov | 2019-05-23 | 1 | -4/+4 |
| | |||||
* | add union to code_model | Aleksey Kladov | 2019-05-23 | 9 | -26/+91 |
| | |||||
* | add profile calls to parsing/expansion routines | Aleksey Kladov | 2019-05-22 | 1 | -0/+2 |
| | |||||
* | Fix crash with int vars in canonicalization | Florian Diebold | 2019-05-21 | 1 | -1/+6 |
| | |||||
* | 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 type inference | Aleksey Kladov | 2019-05-21 | 3 | -3/+5 |
| | |||||
* | profile implements query | Aleksey Kladov | 2019-05-21 | 1 | -0/+2 |
| | |||||
* | fix odrer-of-iteration bug in tests | Aleksey Kladov | 2019-05-21 | 2 | -7/+15 |
| | |||||
* | sort hash maps for tests | Aleksey Kladov | 2019-05-21 | 4 | -211/+195 |
| | |||||
* | add _query to query functions | Aleksey Kladov | 2019-05-21 | 2 | -6/+6 |
| | |||||
* | remove minor code duplication | Aleksey Kladov | 2019-05-20 | 2 | -20/+16 |
| | |||||
* | simplify | Aleksey Kladov | 2019-05-20 | 1 | -38/+39 |
| | |||||
* | Use normal iteration instead of walk_mut | Edwin Cheng | 2019-05-20 | 1 | -8/+5 |
| | |||||
* | Add infer for generic default type | Edwin Cheng | 2019-05-19 | 4 | -15/+80 |
| | |||||
* | Add default type to GenericParam | Edwin Cheng | 2019-05-19 | 1 | -3/+10 |
| | |||||
* | allow expanding expressions | Aleksey Kladov | 2019-05-14 | 2 | -7/+8 |
| | |||||
* | expand to syntax node | Aleksey Kladov | 2019-05-14 | 5 | -25/+32 |
| | |||||
* | store macro kind in HirFileId | Aleksey Kladov | 2019-05-14 | 4 | -21/+38 |
| | |||||
* | Merge #1271 | bors[bot] | 2019-05-13 | 6 | -11/+15 |
|\ | | | | | | | | | | | | | | | 1271: make AstId untyped r=matklad a=matklad Co-authored-by: Aleksey Kladov <[email protected]> | ||||
| * | make AstId untyped | Aleksey Kladov | 2019-05-13 | 6 | -11/+15 |
| | | |||||
* | | 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. | ||||
* | simplify | Aleksey Kladov | 2019-05-12 | 4 | -33/+11 |
| | |||||
* | simplify | Aleksey Kladov | 2019-05-12 | 2 | -8/+7 |
| | |||||
* | Use traits from prelude for method resolution | Florian Diebold | 2019-05-12 | 3 | -14/+42 |
| | |||||
* | Blacklist some traits from being considered in where clauses | Florian Diebold | 2019-05-12 | 2 | -7/+34 |
| | | | | | | | For Send/Sync/Sized, we don't handle auto traits correctly yet and because they have a lot of impls, they can easily lead to slowdowns. In the case of Fn/FnMut/FnOnce, we don't parse the special Fn notation correctly yet and don't handle closures yet, so we are very unlikely to find an impl. | ||||
* | Fix impl blocks with unresolved target trait being treated as inherent impls | Florian Diebold | 2019-05-12 | 1 | -5/+7 |
| |