aboutsummaryrefslogtreecommitdiff
path: root/crates/ra_hir
Commit message (Collapse)AuthorAgeFilesLines
...
| * 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
|
* type-safer source-map for bindingsAleksey Kladov2019-04-104-21/+34
|
* use either for usesAleksey Kladov2019-04-106-44/+40
|