Commit message (Collapse) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | Various review fixes | Florian Diebold | 2019-11-01 | 2 | -17/+12 |
| | |||||
* | Add some doc comments | Florian Diebold | 2019-11-01 | 1 | -0/+6 |
| | |||||
* | Complete trait assoc items | Florian Diebold | 2019-11-01 | 1 | -1/+1 |
| | |||||
* | Refactor a bit | Florian Diebold | 2019-11-01 | 1 | -36/+25 |
| | |||||
* | Don't do autoderef for path resolution | Florian Diebold | 2019-11-01 | 1 | -18/+39 |
| | |||||
* | Refactor to unify with method resolution | Florian Diebold | 2019-11-01 | 3 | -133/+96 |
| | |||||
* | Record assoc item resolution | Florian Diebold | 2019-11-01 | 1 | -1/+3 |
| | |||||
* | Insert type vars before doing assoc item resolution | Florian Diebold | 2019-11-01 | 2 | -12/+15 |
| | |||||
* | Add another unrelated, currently not working test | Florian Diebold | 2019-11-01 | 1 | -0/+16 |
| | |||||
* | Get trait assoc item resolution mostly working | Florian Diebold | 2019-11-01 | 2 | -11/+248 |
| | |||||
* | move struct & enum data to hir_def | Aleksey Kladov | 2019-10-31 | 1 | -4/+4 |
| | |||||
* | move builtin types to hir_def | Aleksey Kladov | 2019-10-31 | 2 | -26/+12 |
| | |||||
* | push name down to hir_expand | Aleksey Kladov | 2019-10-30 | 4 | -7/+6 |
| | |||||
* | remove forward pointer for type_ref | Aleksey Kladov | 2019-10-30 | 4 | -8/+11 |
| | |||||
* | remove forward pointer to Path | Aleksey Kladov | 2019-10-30 | 4 | -7/+11 |
| | |||||
* | remove forward pointer for name | Aleksey Kladov | 2019-10-30 | 4 | -4/+7 |
| | |||||
* | Move ids to hir_def crate | Aleksey Kladov | 2019-10-30 | 1 | -29/+5 |
| | |||||
* | introduce ra_hir_def | Aleksey Kladov | 2019-10-30 | 2 | -8/+8 |
| | |||||
* | Upgrade Chalk, make use of TypeName::Error variant | Florian Diebold | 2019-10-29 | 1 | -8/+7 |
| | |||||
* | Upgrade Chalk (without using its dyn/impl Trait support) | Florian Diebold | 2019-10-26 | 2 | -43/+73 |
| | |||||
* | Bump deps | Laurențiu Nicola | 2019-10-17 | 2 | -4/+10 |
| | |||||
* | make_mut_slice | Shotaro Yamada | 2019-10-14 | 2 | -15/+9 |
| | |||||
* | import make_mut_arc_slice | Shotaro Yamada | 2019-10-14 | 1 | -1/+2 |
| | |||||
* | `.collect()` directly into `Arc<[T]>` | Shotaro Yamada | 2019-10-14 | 3 | -21/+16 |
| | |||||
* | Avoid cloning `Arc<[T]>` into a vec if possible | Shotaro Yamada | 2019-10-14 | 2 | -12/+18 |
| | |||||
* | Split up infer.rs further | Florian Diebold | 2019-10-12 | 4 | -1135/+1192 |
| | | | | | | - coercion logic goes to `coerce.rs` - expression inference goes to `expr.rs` - pattern inference goes to `pat.rs` | ||||
* | Chalk update to simplified IR | kjeremy | 2019-10-10 | 1 | -24/+34 |
| | |||||
* | Merge #1969 | bors[bot] | 2019-10-08 | 1 | -2/+1 |
|\ | | | | | | | | | | | | | | | 1969: restore coloring of attributes r=matklad a=matklad Co-authored-by: Aleksey Kladov <[email protected]> | ||||
| * | macro DSL for cfg in tests | Aleksey Kladov | 2019-10-08 | 1 | -6/+1 |
| | | |||||
| * | use slightly more idiomatic api for cfg | Aleksey Kladov | 2019-10-08 | 1 | -1/+5 |
| | | |||||
* | | Address comments: fix docs, add completion test for `Self`. | ice1000 | 2019-10-08 | 1 | -3/+1 |
| | | |||||
* | | Support inferring `Self` type in enum definitions | ice1000 | 2019-10-08 | 3 | -0/+23 |
|/ | | | | Signed-off-by: ice1000 <[email protected]> | ||||
* | Merge #1928 | bors[bot] | 2019-10-05 | 1 | -0/+45 |
|\ | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | 1928: Support `#[cfg(..)]` r=matklad a=oxalica This PR implement `#[cfg(..)]` conditional compilation. It read default cfg options from `rustc --print cfg` with also hard-coded `test` and `debug_assertion` enabled. Front-end settings are **not** included in this PR. There is also a known issue that inner control attributes are totally ignored. I think it is **not** a part of `cfg` and create a separated issue for it. #1949 Fixes #1920 Related: #1073 Co-authored-by: uHOOCCOOHu <[email protected]> Co-authored-by: oxalica <[email protected]> | ||||
| * | Support cfg attribute on impl blocks | uHOOCCOOHu | 2019-10-02 | 1 | -0/+45 |
| | | |||||
* | | Handle divergence in type inference for blocks | Laurențiu Nicola | 2019-10-02 | 2 | -3/+72 |
|/ | |||||
* | Merge branch 'master' into feature/issue/1856 | Alexander Andreev | 2019-09-30 | 1 | -3/+9 |
|\ | | | | | | | | | # Conflicts: # crates/ra_assists/src/ast_editor.rs | ||||
| * | correctly reset chalk state after a panic | Aleksey Kladov | 2019-09-28 | 1 | -6/+9 |
| | | |||||
| * | replace horrible hack with a slightly less horrible one | Aleksey Kladov | 2019-09-27 | 1 | -0/+3 |
| | | |||||
* | | Added test for check doc strings in crates. | Alexander Andreev | 2019-09-30 | 3 | -0/+6 |
|/ | | | | #1856 | ||||
* | Merge #1815 | bors[bot] | 2019-09-27 | 2 | -5/+37 |
|\ | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | 1815: Support correct `$crate` expansion in macros r=uHOOCCOOHu a=uHOOCCOOHu This PR makes normal use cases of `$crate` from macros work as expected. It makes more macros from `std` work. Type inference works well with `panic`, `unimplemented`, `format`, and maybe more. Sadly that `vec![1, 2, 3]` still not works, but it is not longer an issue about macro. Screenshot: ![Screenshot_20190927_022136](https://user-images.githubusercontent.com/14816024/65714465-b4568f80-e0cd-11e9-8043-dd44c2ae8040.png) Co-authored-by: uHOOCCOOHu <[email protected]> | ||||
| * | Support `$crate` in item and expr place. | uHOOCCOOHu | 2019-09-26 | 1 | -0/+33 |
| | | |||||
| * | Refactor `Name` ready for hygienic macro | uHOOCCOOHu | 2019-09-26 | 1 | -5/+4 |
| | | |||||
* | | Add SubstsBuilder | Florian Diebold | 2019-09-26 | 8 | -116/+66 |
|/ | | | | + further refactoring. | ||||
* | Support all coercion places | uHOOCCOOHu | 2019-09-25 | 3 | -96/+216 |
| | |||||
* | Support custom `CoerceUnsized` | uHOOCCOOHu | 2019-09-25 | 4 | -247/+476 |
| | | | | Split out tests about coercion | ||||
* | Better handle never type and branch merging | uHOOCCOOHu | 2019-09-25 | 4 | -181/+391 |
| | | | | Split out tests for never type to another file | ||||
* | Support basic implicit type coerce | uHOOCCOOHu | 2019-09-25 | 2 | -142/+383 |
| | |||||
* | Support auto-deref in argument position | uHOOCCOOHu | 2019-09-25 | 2 | -1/+161 |
| | |||||
* | Resolve trait associated items | Florian Diebold | 2019-09-25 | 3 | -13/+59 |
| | | | | E.g. `Default::default` or `<Foo as Default>::default`. | ||||
* | Fix retrieval of the Fn traits | Florian Diebold | 2019-09-25 | 1 | -3/+2 |
| | | | | | I used the wrong query, so it only used the lang items from the respective crate... |