]>
git.lizzy.rs Git - rust.git/log
Jonathan Behrens [Sun, 1 Dec 2019 02:20:54 +0000 (21:20 -0500)]
Clarify installation instructions
In particular it is necessary to clone the repository before running the other commands. I also removed the `cargo install` side note because it didn't actually work (running the command just produces an error that --package isn't a recognized flag) and added a tldr code block with the list of commands to run.
bors[bot] [Sat, 30 Nov 2019 19:19:28 +0000 (19:19 +0000)]
Merge #2451
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 <alexander@ekdahl.io>
bors[bot] [Sat, 30 Nov 2019 14:23:18 +0000 (14:23 +0000)]
Merge #2453
2453: Handle various cycles r=matklad a=flodiebold
- handle `impl Trait<Self> for SomeType`, which is allowed. This necessitated splitting the `impl_ty` query, but I think the result actually makes a lot of code nicer. This should fix #2446.
- add recovery for `impl Trait for SomeType<Self>`
- add recovery for `type Type = Foo<Type>`
- add recovery for cycles in generic param env
Co-authored-by: Florian Diebold <flodiebold@gmail.com>
Florian Diebold [Sat, 30 Nov 2019 11:48:51 +0000 (12:48 +0100)]
Add cycle recovery for type aliases
Florian Diebold [Sat, 30 Nov 2019 11:39:21 +0000 (12:39 +0100)]
Add cycle recovery for generic predicates
Florian Diebold [Sat, 30 Nov 2019 11:35:37 +0000 (12:35 +0100)]
Handle cycles in impl types better
- 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
bors[bot] [Sat, 30 Nov 2019 10:43:35 +0000 (10:43 +0000)]
Merge #2449
2449: Only allow renames to valid identifiers r=matklad a=detrumi
Implements #2121
Co-authored-by: Wilco Kusee <wilcokusee@gmail.com>
Alexander Ekdahl [Sat, 30 Nov 2019 00:40:59 +0000 (19:40 -0500)]
Remove log dependency from ra_cli
Alexander Ekdahl [Sat, 30 Nov 2019 00:36:48 +0000 (19:36 -0500)]
Update README
Alexander Ekdahl [Sat, 30 Nov 2019 00:35:03 +0000 (19:35 -0500)]
Remove flexi_logger from ra_lsp_server
Alexander Ekdahl [Sat, 30 Nov 2019 00:20:48 +0000 (19:20 -0500)]
Use env_logger in ra_cli
bors[bot] [Fri, 29 Nov 2019 19:34:02 +0000 (19:34 +0000)]
Merge #2445
2445: Infer range types r=flodiebold a=oxalica
Co-authored-by: oxalica <oxalicc@pm.me>
Wilco Kusee [Fri, 29 Nov 2019 15:06:20 +0000 (16:06 +0100)]
Push identifier check to rename function
Wilco Kusee [Fri, 29 Nov 2019 15:03:39 +0000 (16:03 +0100)]
Test rename for various identifiers
Wilco Kusee [Fri, 29 Nov 2019 14:52:12 +0000 (15:52 +0100)]
Move identifier check to analysis
Wilco Kusee [Fri, 29 Nov 2019 14:27:22 +0000 (15:27 +0100)]
Also allow renaming to underscore
Wilco Kusee [Fri, 29 Nov 2019 14:14:42 +0000 (15:14 +0100)]
Only allow renames to valid identifiers
oxalica [Fri, 29 Nov 2019 06:49:12 +0000 (14:49 +0800)]
Reduce variants of Expr
oxalica [Thu, 28 Nov 2019 19:10:16 +0000 (03:10 +0800)]
Infer range types
bors[bot] [Thu, 28 Nov 2019 16:05:46 +0000 (16:05 +0000)]
Merge #2442
2442: Move source-related traits to a separate module r=matklad a=matklad
Co-authored-by: Aleksey Kladov <aleksey.kladov@gmail.com>
Aleksey Kladov [Thu, 28 Nov 2019 15:05:28 +0000 (18:05 +0300)]
Move source-related traits to a separate module
bors[bot] [Thu, 28 Nov 2019 13:04:52 +0000 (13:04 +0000)]
Merge #2441
2441: Use InFile for AstId r=matklad a=matklad
Co-authored-by: Aleksey Kladov <aleksey.kladov@gmail.com>
Aleksey Kladov [Thu, 28 Nov 2019 13:00:03 +0000 (16:00 +0300)]
Use InFile for AstId
bors[bot] [Thu, 28 Nov 2019 10:02:46 +0000 (10:02 +0000)]
Merge #2440
2440: Rename Source -> InFile r=matklad a=matklad
Co-authored-by: Aleksey Kladov <aleksey.kladov@gmail.com>
Aleksey Kladov [Thu, 28 Nov 2019 09:50:26 +0000 (12:50 +0300)]
Rename Source -> InFile
bors[bot] [Thu, 28 Nov 2019 08:46:36 +0000 (08:46 +0000)]
Merge #2438
2438: Derive Hash for tt::TokenTree r=matklad a=edwin0cheng
Preparation for intern `TokenTree` to salsa database
Co-authored-by: Edwin Cheng <edwin0cheng@gmail.com>
Edwin Cheng [Thu, 28 Nov 2019 05:41:58 +0000 (13:41 +0800)]
Derive Hash for TokenTrees
bors[bot] [Wed, 27 Nov 2019 23:06:40 +0000 (23:06 +0000)]
Merge #2437
2437: Update mio and anyhow r=kjeremy a=kjeremy
Co-authored-by: kjeremy <kjeremy@gmail.com>
kjeremy [Wed, 27 Nov 2019 23:05:49 +0000 (18:05 -0500)]
Update mio and anyhow
bors[bot] [Wed, 27 Nov 2019 20:27:01 +0000 (20:27 +0000)]
Merge #2433
2433: Use Name::missing consistently r=matklad a=matklad
Co-authored-by: Aleksey Kladov <aleksey.kladov@gmail.com>
Aleksey Kladov [Wed, 27 Nov 2019 20:22:20 +0000 (23:22 +0300)]
Use Name::missing consistently
bors[bot] [Wed, 27 Nov 2019 19:30:38 +0000 (19:30 +0000)]
Merge #2432
2432: Minimize API r=matklad a=matklad
Co-authored-by: Aleksey Kladov <aleksey.kladov@gmail.com>
Aleksey Kladov [Wed, 27 Nov 2019 19:21:01 +0000 (22:21 +0300)]
Minimize API
bors[bot] [Wed, 27 Nov 2019 19:13:34 +0000 (19:13 +0000)]
Merge #2431
2431: Memoize impl resolutions r=matklad a=matklad
Co-authored-by: Aleksey Kladov <aleksey.kladov@gmail.com>
Aleksey Kladov [Wed, 27 Nov 2019 19:12:09 +0000 (22:12 +0300)]
Memoize impl resolutions
bors[bot] [Wed, 27 Nov 2019 18:45:05 +0000 (18:45 +0000)]
Merge #2430
2430: rename ra_ide_api -> ra_ide r=matklad a=matklad
Co-authored-by: Aleksey Kladov <aleksey.kladov@gmail.com>
Aleksey Kladov [Wed, 27 Nov 2019 18:44:38 +0000 (21:44 +0300)]
Reformat
Aleksey Kladov [Wed, 27 Nov 2019 18:32:33 +0000 (21:32 +0300)]
rename ra_ide_api -> ra_ide
Aleksey Kladov [Wed, 27 Nov 2019 18:31:51 +0000 (21:31 +0300)]
Rename module_id -> local_id
bors[bot] [Wed, 27 Nov 2019 18:27:45 +0000 (18:27 +0000)]
Merge #2429
2429: Move type inference to a separate crate r=matklad a=matklad
Co-authored-by: Aleksey Kladov <aleksey.kladov@gmail.com>
Aleksey Kladov [Wed, 27 Nov 2019 18:23:31 +0000 (21:23 +0300)]
prune deps
Aleksey Kladov [Wed, 27 Nov 2019 14:46:02 +0000 (17:46 +0300)]
Move Ty
Aleksey Kladov [Wed, 27 Nov 2019 13:48:48 +0000 (16:48 +0300)]
Decouple
bors[bot] [Wed, 27 Nov 2019 13:41:55 +0000 (13:41 +0000)]
Merge #2428
2428: Remove TypableDef r=matklad a=matklad
Co-authored-by: Aleksey Kladov <aleksey.kladov@gmail.com>
Aleksey Kladov [Wed, 27 Nov 2019 13:39:58 +0000 (16:39 +0300)]
Remove TypableDef
Aleksey Kladov [Wed, 27 Nov 2019 13:29:11 +0000 (16:29 +0300)]
Cleanup imports
Aleksey Kladov [Wed, 27 Nov 2019 13:25:01 +0000 (16:25 +0300)]
Use Id for variats
Aleksey Kladov [Wed, 27 Nov 2019 13:02:33 +0000 (16:02 +0300)]
More decoupling
Aleksey Kladov [Wed, 27 Nov 2019 12:56:20 +0000 (15:56 +0300)]
Decouple more
bors[bot] [Wed, 27 Nov 2019 09:51:02 +0000 (09:51 +0000)]
Merge #2427
2427: Decouple r=matklad a=matklad
Co-authored-by: Aleksey Kladov <aleksey.kladov@gmail.com>
Aleksey Kladov [Wed, 27 Nov 2019 09:47:18 +0000 (12:47 +0300)]
Decouple
bors[bot] [Wed, 27 Nov 2019 09:34:54 +0000 (09:34 +0000)]
Merge #2426
2426: Decouple r=matklad a=matklad
Co-authored-by: Aleksey Kladov <aleksey.kladov@gmail.com>
Aleksey Kladov [Wed, 27 Nov 2019 09:31:40 +0000 (12:31 +0300)]
Decouple
Aleksey Kladov [Wed, 27 Nov 2019 09:13:07 +0000 (12:13 +0300)]
Cleanup imports
bors[bot] [Wed, 27 Nov 2019 09:05:39 +0000 (09:05 +0000)]
Merge #2425
2425: Decouple r=matklad a=matklad
Co-authored-by: Aleksey Kladov <aleksey.kladov@gmail.com>
Aleksey Kladov [Wed, 27 Nov 2019 09:02:54 +0000 (12:02 +0300)]
Decouple
Aleksey Kladov [Wed, 27 Nov 2019 08:40:10 +0000 (11:40 +0300)]
Decouple
bors[bot] [Wed, 27 Nov 2019 06:51:37 +0000 (06:51 +0000)]
Merge #2424
2424: Crate -> CrateId r=matklad a=matklad
Co-authored-by: Aleksey Kladov <aleksey.kladov@gmail.com>
Aleksey Kladov [Wed, 27 Nov 2019 06:42:55 +0000 (09:42 +0300)]
Crate -> CrateId
bors[bot] [Tue, 26 Nov 2019 21:02:32 +0000 (21:02 +0000)]
Merge #2422
2422: Use a simple progress bar instead of indicatif r=maklad a=edwin0cheng
![pb](https://user-images.githubusercontent.com/
11014119 /
69669230 -
6a3d5a80 -10cc-11ea-8ad7-
4dccb10349c9 .gif)
Co-authored-by: Edwin Cheng <edwin0cheng@gmail.com>
Edwin Cheng [Tue, 26 Nov 2019 21:01:13 +0000 (05:01 +0800)]
Fill all last text to space and return the cursor
Edwin Cheng [Tue, 26 Nov 2019 20:33:40 +0000 (04:33 +0800)]
Remove progress bar and add a true counter
Edwin Cheng [Tue, 26 Nov 2019 20:16:03 +0000 (04:16 +0800)]
Remove commented code
Edwin Cheng [Tue, 26 Nov 2019 20:09:30 +0000 (04:09 +0800)]
Use a simple progress bar instead of indicatif
bors[bot] [Tue, 26 Nov 2019 19:56:35 +0000 (19:56 +0000)]
Merge #2421
2421: Cleanup r=matklad a=matklad
Co-authored-by: Aleksey Kladov <aleksey.kladov@gmail.com>
Aleksey Kladov [Tue, 26 Nov 2019 19:56:07 +0000 (22:56 +0300)]
Cleanup
Aleksey Kladov [Tue, 26 Nov 2019 19:26:47 +0000 (22:26 +0300)]
Decouple
bors[bot] [Tue, 26 Nov 2019 18:42:52 +0000 (18:42 +0000)]
Merge #2420
2420: Remove last traces of adt from Ty r=matklad a=matklad
Co-authored-by: Aleksey Kladov <aleksey.kladov@gmail.com>
bors[bot] [Tue, 26 Nov 2019 18:34:15 +0000 (18:34 +0000)]
Merge #2418
2418: Hide MacroCallLoc outside hir_expand r=matklad a=edwin0cheng
This PR refactor `MacroCallLoc` such that it be hided to become implementation details of hir_expand.
Co-authored-by: Edwin Cheng <edwin0cheng@gmail.com>
Aleksey Kladov [Tue, 26 Nov 2019 18:25:17 +0000 (21:25 +0300)]
Remove last traces of adt from Ty
Aleksey Kladov [Tue, 26 Nov 2019 18:18:26 +0000 (21:18 +0300)]
More precise NameKind::Self
bors[bot] [Tue, 26 Nov 2019 18:07:21 +0000 (18:07 +0000)]
Merge #2419
2419: Remove ns-polymorphic type_for_def r=matklad a=matklad
Co-authored-by: Aleksey Kladov <aleksey.kladov@gmail.com>
Aleksey Kladov [Tue, 26 Nov 2019 18:04:24 +0000 (21:04 +0300)]
Remove ns-polymorphic type_for_def
Edwin Cheng [Tue, 26 Nov 2019 17:33:08 +0000 (01:33 +0800)]
Hide MacroCallLoc
bors[bot] [Tue, 26 Nov 2019 16:31:20 +0000 (16:31 +0000)]
Merge #2415
2415: Add note r=matklad a=matklad
Co-authored-by: Aleksey Kladov <aleksey.kladov@gmail.com>
Aleksey Kladov [Tue, 26 Nov 2019 16:30:57 +0000 (19:30 +0300)]
Add note
Aleksey Kladov [Tue, 26 Nov 2019 15:06:12 +0000 (18:06 +0300)]
Cleanup imports
Aleksey Kladov [Tue, 26 Nov 2019 15:02:50 +0000 (18:02 +0300)]
Reduce visibility
Aleksey Kladov [Tue, 26 Nov 2019 15:00:36 +0000 (18:00 +0300)]
Use TraitId in TraitRef
bors[bot] [Tue, 26 Nov 2019 14:45:31 +0000 (14:45 +0000)]
Merge #2413
2413: Remove another helper r=matklad a=matklad
Co-authored-by: Aleksey Kladov <aleksey.kladov@gmail.com>
Aleksey Kladov [Tue, 26 Nov 2019 14:42:21 +0000 (17:42 +0300)]
Remove another helper
Aleksey Kladov [Tue, 26 Nov 2019 14:26:08 +0000 (17:26 +0300)]
Doc
Aleksey Kladov [Tue, 26 Nov 2019 14:21:29 +0000 (17:21 +0300)]
Remove assoc_type_by_name helper
Aleksey Kladov [Tue, 26 Nov 2019 14:12:16 +0000 (17:12 +0300)]
Store names in TraitData
Aleksey Kladov [Tue, 26 Nov 2019 13:59:24 +0000 (16:59 +0300)]
Detangle ty from traits a bit
bors[bot] [Tue, 26 Nov 2019 13:26:23 +0000 (13:26 +0000)]
Merge #2412
2412: Fix stale crates that snuck in r=kjeremy a=kjeremy
Co-authored-by: Jeremy Kolb <kjeremy@gmail.com>
Jeremy Kolb [Tue, 26 Nov 2019 13:20:40 +0000 (08:20 -0500)]
Fix stale crates that snuck in
bors[bot] [Tue, 26 Nov 2019 13:18:03 +0000 (13:18 +0000)]
Merge #2406
2406: Add hygiene information to SourceAnalyzer r=matklad a=edwin0cheng
This should fix https://github.com/rust-analyzer/rust-analyzer/pull/2392#issuecomment-
557964686
Co-authored-by: Edwin Cheng <edwin0cheng@gmail.com>
Edwin Cheng [Tue, 26 Nov 2019 13:13:36 +0000 (21:13 +0800)]
Remove dbg!
bors[bot] [Tue, 26 Nov 2019 12:42:15 +0000 (12:42 +0000)]
Merge #2410
2410: Introduce hir_ty r=matklad a=matklad
Co-authored-by: Aleksey Kladov <aleksey.kladov@gmail.com>
Aleksey Kladov [Tue, 26 Nov 2019 12:40:55 +0000 (15:40 +0300)]
Doc primitives
Aleksey Kladov [Tue, 26 Nov 2019 12:27:33 +0000 (15:27 +0300)]
id-ify impls_in_crate_query
bors[bot] [Tue, 26 Nov 2019 12:31:24 +0000 (12:31 +0000)]
Merge #2411
2411: Update parking_lot and smallvec to drop some dependencies r=matklad a=kjeremy
Co-authored-by: Jeremy Kolb <kjeremy@gmail.com>
Jeremy Kolb [Tue, 26 Nov 2019 12:29:28 +0000 (07:29 -0500)]
Update parking_lot and smallvec to drop some dependencies
Aleksey Kladov [Tue, 26 Nov 2019 11:35:23 +0000 (14:35 +0300)]
Introduce hir_ty
bors[bot] [Tue, 26 Nov 2019 11:32:09 +0000 (11:32 +0000)]
Merge #2409
2409: Id-ify Ty::Adt r=matklad a=matklad
Co-authored-by: Aleksey Kladov <aleksey.kladov@gmail.com>
Aleksey Kladov [Tue, 26 Nov 2019 11:29:12 +0000 (14:29 +0300)]
Id-ify Ty::Adt
bors[bot] [Tue, 26 Nov 2019 11:05:05 +0000 (11:05 +0000)]
Merge #2398
2398: WIP: introduce hir::Type r=matklad a=matklad
This introduces `hir::Type` wrapper over `hir::Ty`, with two purposes:
* bind `Ty` and it's corresponding environment
* Am I correct that `Ty` without an env doesn't make much sense, because the meaning of type parameters is unclear
* Am I correct that we can safely re-use the same environment for all types derived from the given type?
* hide representation defails of `Ty`. Specifically, I want to change `Ty::Adt` to use `hir_def::AdtId` instead of `hir::Adt`, but IDE doesn't know about underlying IDs. More generally, I feel like IDE shouldn't know that `Ty` is enum.
@flodiebold what do you think about this?
Co-authored-by: Aleksey Kladov <aleksey.kladov@gmail.com>
Aleksey Kladov [Tue, 26 Nov 2019 11:02:57 +0000 (14:02 +0300)]
Introduce hir::Type
It should provide a convenient API over more low-level Ty
bors[bot] [Tue, 26 Nov 2019 08:46:48 +0000 (08:46 +0000)]
Merge #2408
2408: Use chalk fork to paper over #2052 r=matklad a=matklad
Co-authored-by: Aleksey Kladov <aleksey.kladov@gmail.com>