aboutsummaryrefslogtreecommitdiff
path: root/crates/ra_hir
Commit message (Collapse)AuthorAgeFilesLines
* Add HIR for where clauses & ignore impls with where clauses in trait resolutionFlorian Diebold2019-04-213-5/+63
| | | | | This prevents any `impl<T> Trait for T where ...` from being treated as a blanket impl while we don't handle where clauses yet.
* Merge #1175bors[bot]2019-04-212-6/+39
|\ | | | | | | | | | | | | | | | | | | | | | | | | | | 1175: Fix bugs and add error log about macro expansion r=matklad a=edwin0cheng This PR fixed / add following things: * Add a fused count which stop recursion of macro expansion in name resolution. * Add some logs when macro expansion fails * Add `$crate` meta variable support in mbe, which create a `$crate` ident token in token tree. * Fixed matching a `$REPEAT` pattern inside a subtree, e.g. `(fn $name:ident {$($i:ident)*} ) => {...}` * Remove composite-able punct token in syntax node to token conversion. Co-authored-by: Edwin Cheng <[email protected]>
| * Fix bugsEdwin Cheng2019-04-202-6/+39
| |
* | Add a simple test for str method completionFlorian Diebold2019-04-201-0/+22
| |
* | lang_item_lookup is now a salsa query.Marco Groppo2019-04-193-32/+34
| |
* | New krate() method in Resolver.Marco Groppo2019-04-194-54/+44
| | | | | | | | Renamed Impl to ImplBlock.
* | Initial support for lang items.Marco Groppo2019-04-197-30/+175
|/
* RefactoringEdwin Cheng2019-04-171-51/+46
|
* Simpliy codeEdwin Cheng2019-04-171-60/+32
|
* Bug fix and add more commentsEdwin Cheng2019-04-171-22/+60
|
* Fix 1099Edwin Cheng2019-04-172-5/+109
|
* Refactor method candidate generation a bitFlorian Diebold2019-04-143-54/+149
| | | | | | This fixes the order in which candidates are chosen a bit (not completely though, as the ignored test demonstrates), and makes autoderef work with trait methods. As a side effect, this also makes completion of trait methods work :)
* Extract generic_params method to a HasGenericParams traitFlorian Diebold2019-04-147-37/+33
|
* Add Container enum to handle both kinds of container (impl/trait)Florian Diebold2019-04-144-17/+58
|
* Make callable signature handling a bit nicerFlorian Diebold2019-04-142-47/+36
|
* Some cleanupFlorian Diebold2019-04-143-98/+111
|
* More trait infrastructureFlorian Diebold2019-04-1411-51/+333
| | | | | | | | | | - 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)
* Get substs for trait refs in impl blocksFlorian Diebold2019-04-145-43/+84
|
* replace usages of `algo::generate` with `iter::successors` from stdRobin Freyler2019-04-131-2/+2
|
* cleanupsAleksey Kladov2019-04-132-13/+12
|
* slight encapsulationAleksey Kladov2019-04-132-9/+13
|
* move ScopeEntryWithSyntaxAleksey Kladov2019-04-134-37/+34
|
* drop obsolete fixmeAleksey Kladov2019-04-132-5/+4
|
* make expr scope stuff privateAleksey Kladov2019-04-131-11/+9
|
* make resolver privateAleksey Kladov2019-04-136-26/+23
|
* hide resolverAleksey Kladov2019-04-131-6/+14
|
* fold ScopeWithSyntax into SourceAnalyzerAleksey Kladov2019-04-135-191/+157
|
* make stuff privateAleksey Kladov2019-04-131-3/+3
|
* make privateAleksey Kladov2019-04-131-1/+1
|
* only def-with-body remainsAleksey Kladov2019-04-131-13/+3
|
* generalizeAleksey Kladov2019-04-131-15/+7
|
* simplifyAleksey Kladov2019-04-131-10/+5
|
* simplifyAleksey Kladov2019-04-131-7/+1
|
* make privateAleksey Kladov2019-04-131-1/+1
|
* hide some scopesAleksey Kladov2019-04-132-2/+16
|
* simplifyAleksey Kladov2019-04-122-17/+12
|
* make stuff privateAleksey Kladov2019-04-121-6/+2
|
* simplifyAleksey Kladov2019-04-121-54/+22
|
* simplify testsAleksey Kladov2019-04-123-36/+23
|
* use really correct resolver for expressionsAleksey Kladov2019-04-121-6/+18
|
* add todoAleksey Kladov2019-04-111-0/+1
|
* use correct resolver for expressionsAleksey Kladov2019-04-111-3/+1
|
* remove resolver from CompletonContextAleksey Kladov2019-04-111-24/+5
|
* simplifyAleksey Kladov2019-04-111-5/+3
|
* generalize SourceAnalyzer to handle all defs with bodiesAleksey Kladov2019-04-112-11/+27
|
* minimize the APIAleksey Kladov2019-04-111-19/+9
|
* renameAleksey Kladov2019-04-112-7/+7
|
* Make call info to use real name resolutionAleksey Kladov2019-04-112-3/+13
|
* introduce SourceAnalyzerAleksey Kladov2019-04-115-20/+109
|
* fix typoAleksey Kladov2019-04-111-6/+6
|
generated by cgit v1.2.3 (git 2.25.1) at 2024-11-06 23:29:54 +0000