Commit message (Collapse) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | Use placeholder instead of `Option` | ice1000 | 2019-12-05 | 2 | -14/+10 |
| | |||||
* | One pub function less is good! | ice1000 | 2019-12-05 | 3 | -12/+7 |
| | |||||
* | Reduce visibility, use struct instead of tuples | ice1000 | 2019-12-05 | 1 | -20/+23 |
| | |||||
* | No block at the moment | ice1000 | 2019-12-04 | 5 | -14/+3 |
| | |||||
* | Remove almost unused `ModuleSource::new` | ice1000 | 2019-12-04 | 2 | -20/+2 |
| | |||||
* | Confluent `ModuleSource` usage | ice1000 | 2019-12-04 | 2 | -18/+6 |
| | |||||
* | Add `ModuleSource::Block` | ice1000 | 2019-12-04 | 9 | -100/+102 |
| | |||||
* | Fix test compilation | ice1000 | 2019-12-04 | 2 | -2/+2 |
| | |||||
* | Three-state enum for module origin | ice1000 | 2019-12-04 | 2 | -20/+78 |
| | |||||
* | Run rustfmt with respect to Cargo.toml edition | Vincent Rouillé | 2019-12-04 | 4 | -0/+78 |
| | |||||
* | :arrow_up: rowan | Aleksey Kladov | 2019-12-04 | 3 | -8/+8 |
| | |||||
* | Merge #2471 | bors[bot] | 2019-12-03 | 2 | -2/+4 |
|\ | | | | | | | | | | | | | | | 2471: Add `ModuleItemsOwner` to `Block` r=matklad a=ice1000 As title Co-authored-by: ice1000 <[email protected]> | ||||
| * | Add `ModuleItemsOwner` to `Block` | ice1000 | 2019-12-03 | 2 | -2/+4 |
| | | |||||
* | | Split up ty tests a bit | Florian Diebold | 2019-12-03 | 7 | -4902/+4882 |
|/ | |||||
* | Replace `ra_hir_expand::either` with crate | ice1000 | 2019-12-03 | 22 | -112/+65 |
| | |||||
* | Fix #2467 | Florian Diebold | 2019-12-03 | 4 | -7/+65 |
| | | | | | The stand-alone `unify` requires that the type doesn't contain any type variables. So we can't share the code here for now (without more refactoring)... | ||||
* | Merge #2465 | bors[bot] | 2019-12-03 | 3 | -127/+219 |
|\ | | | | | | | | | | | | | | | 2465: Extract built-in trait implementations to separate module r=matklad a=flodiebold This untangles the builtin logic from the Chalk translation. Co-authored-by: Florian Diebold <[email protected]> | ||||
| * | Extract built-in trait implementations to separate module | Florian Diebold | 2019-12-03 | 3 | -127/+219 |
| | | | | | | | | This untangles the builtin logic from the Chalk translation. | ||||
* | | Make unify pub(crate) | Florian Diebold | 2019-12-03 | 1 | -1/+1 |
| | | |||||
* | | Add tests for checking the impl self type | Florian Diebold | 2019-12-02 | 2 | -0/+47 |
| | | |||||
* | | Refactor a bit | Florian Diebold | 2019-12-02 | 3 | -77/+74 |
| | | |||||
* | | Check receiver type properly | Florian Diebold | 2019-12-02 | 4 | -19/+80 |
| | | |||||
* | | Extract unification code to unify module | Florian Diebold | 2019-12-02 | 6 | -263/+312 |
| | | |||||
* | | Change order of calls to get method candidate order correct | Florian Diebold | 2019-12-02 | 2 | -39/+115 |
|/ | |||||
* | Merge #2018 | bors[bot] | 2019-12-02 | 3 | -0/+227 |
|\ | | | | | | | | | | | | | | | | | | | 2018: assists: add assist for custom implementation for derived trait r=matklad a=paulolieuthier Please, tell me if something could be more idiomatic or efficient. Fixes #1256. Co-authored-by: Paulo Lieuthier <[email protected]> | ||||
| * | docs: describe new feature 'add custom impl for derived trait' | Paulo Lieuthier | 2019-11-28 | 2 | -0/+36 |
| | | |||||
| * | assists: add assist for custom implementation for derived trait | Paulo Lieuthier | 2019-11-28 | 2 | -0/+191 |
| | | |||||
* | | Merge #2455 | bors[bot] | 2019-12-01 | 7 | -32/+139 |
|\ \ | | | | | | | | | | | | | | | | | | | | | | | | | | | | 2455: Add BuiltinShadowMode r=flodiebold a=edwin0cheng This PR try to fix #1905 by introduce an `BuiltinShadowMode` in name resolving functions. cc @flodiebold Co-authored-by: Edwin Cheng <[email protected]> | ||||
| * | | Remove some empty lines | Edwin Cheng | 2019-12-01 | 1 | -2/+0 |
| | | | |||||
| * | | Use index instead of peekable | Edwin Cheng | 2019-12-01 | 1 | -35/+19 |
| | | | |||||
| * | | Fix comment | Edwin Cheng | 2019-12-01 | 1 | -2/+1 |
| | | | |||||
| * | | Add BuiltinShadowMode | Edwin Cheng | 2019-11-30 | 7 | -31/+157 |
| | | | |||||
* | | | Merge #2451 | bors[bot] | 2019-11-30 | 6 | -13/+5 |
|\ \ \ | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | 2451: Use env_logger instead of flexi_logger r=matklad a=AlexanderEkdahl This fixes https://github.com/rust-analyzer/rust-analyzer/issues/2335 - By default only `error` will be printed. From what I can tell this matches the current behaviour. Configured through `RUST_LOG`. - I looked through the optional dependencies for `env_logger`and I have only enabled `human_time`. Without this feature no timestamp will be shown for log messages. - `RA_LOG_DIR` feature is removed This PR adds 2 new dependencies(`env_logger` and `human_time`) and removes 6 dependencies. Co-authored-by: Alexander Ekdahl <[email protected]> | ||||
| * | | | Remove log dependency from ra_cli | Alexander Ekdahl | 2019-11-30 | 1 | -1/+0 |
| | | | | |||||
| * | | | Remove flexi_logger from ra_lsp_server | Alexander Ekdahl | 2019-11-30 | 5 | -15/+4 |
| | | | | |||||
| * | | | Use env_logger in ra_cli | Alexander Ekdahl | 2019-11-30 | 2 | -3/+7 |
| | |/ | |/| | |||||
* | | | Add cycle recovery for type aliases | Florian Diebold | 2019-11-30 | 3 | -2/+10 |
| | | | |||||
* | | | Add cycle recovery for generic predicates | Florian Diebold | 2019-11-30 | 3 | -8/+10 |
| | | | |||||
* | | | Handle cycles in impl types better | Florian Diebold | 2019-11-30 | 8 | -53/+82 |
| | | | | | | | | | | | | | | | | | | - impl Trait<Self> for S is allowed - impl Trait for S<Self> is an invalid cycle, but we can add cycle recovery for it in Salsa now | ||||
* | | | Merge #2449 | bors[bot] | 2019-11-30 | 2 | -3/+51 |
|\ \ \ | | | | | | | | | | | | | | | | | | | | | | | | | | | | | 2449: Only allow renames to valid identifiers r=matklad a=detrumi Implements #2121 Co-authored-by: Wilco Kusee <[email protected]> | ||||
| * | | | Push identifier check to rename function | Wilco Kusee | 2019-11-29 | 2 | -9/+9 |
| | | | | |||||
| * | | | Test rename for various identifiers | Wilco Kusee | 2019-11-29 | 1 | -0/+43 |
| | | | | |||||
| * | | | Move identifier check to analysis | Wilco Kusee | 2019-11-29 | 2 | -12/+9 |
| | | | | |||||
| * | | | Also allow renaming to underscore | Wilco Kusee | 2019-11-29 | 1 | -1/+3 |
| | | | | |||||
| * | | | Only allow renames to valid identifiers | Wilco Kusee | 2019-11-29 | 1 | -1/+7 |
| | |/ | |/| | |||||
* | | | Reduce variants of Expr | oxalica | 2019-11-29 | 3 | -77/+56 |
| | | | |||||
* | | | Infer range types | oxalica | 2019-11-28 | 7 | -4/+209 |
|/ / | |||||
* | | Move source-related traits to a separate module | Aleksey Kladov | 2019-11-28 | 10 | -60/+77 |
| | | |||||
* | | Use InFile for AstId | Aleksey Kladov | 2019-11-28 | 6 | -47/+16 |
| | | |||||
* | | Rename Source -> InFile | Aleksey Kladov | 2019-11-28 | 36 | -189/+189 |
| | |