aboutsummaryrefslogtreecommitdiff
path: root/crates/ra_hir
Commit message (Collapse)AuthorAgeFilesLines
* Merge #1194bors[bot]2019-04-222-1/+14
|\ | | | | | | | | | | | | | | | | 1194: Pr 1190 r=matklad a=matklad Co-authored-by: Andrea Pretto <[email protected]> Co-authored-by: Aleksey Kladov <[email protected]>
| * unused importAleksey Kladov2019-04-221-2/+0
| |
| * move auto-imoprter into IDEAleksey Kladov2019-04-224-76/+13
| | | | | | | | | | auto-import is purely an IDE concern, so it should be done outside of HIR
| * complete_import: prevent panic when the anchor is the completion source rangeAndrea Pretto2019-04-212-9/+1
| | | | | | | | | | | | (fix rebase mess) Please enter the commit message for your changes. Lines starting
| * complete_import: add new import resolver infrastructure with some hardcoded ↵Andrea Pretto2019-04-213-2/+84
| | | | | | | | | | | | importable name. Changes complete_scope to support that.
| * auto_import: make auto import working with target as a list of SmolStr ↵Andrea Pretto2019-04-211-0/+4
| | | | | | | | instead of ast::Path
* | Change macro stack monitor test to func ptr basedEdwin Cheng2019-04-221-40/+25
| |
* | Add mbe expand limit and poision macro setEdwin Cheng2019-04-223-15/+194
|/
* Add more information on parse_macro failEdwin Cheng2019-04-211-10/+27
|
* 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
|