aboutsummaryrefslogtreecommitdiff
path: root/crates/ra_hir/src
Commit message (Collapse)AuthorAgeFilesLines
* 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
|
* migrate to salsas interningAleksey Kladov2019-04-095-86/+106
|
* Avoid two-phase borrow conflictLaurențiu Nicola2019-04-081-2/+2
|
* updated snapshotsLenard Pratt2019-04-072-69/+41
|
* Added ArrayExprKind,Lenard Pratt2019-04-073-29/+52
| | | | | changed the display for fixed array types, Added Array Enum to ra_hir/expr
* Added inference of array lengthLenard Pratt2019-04-074-4/+56
|
* Parse and infer tuple indicesrobojumper2019-04-063-1/+72
|
* Merge #1068bors[bot]2019-04-031-2/+2
|\ | | | | | | | | | | | | | | | | | | | | | | | | 1068: profiling crate first draft r=matklad a=pasa I've made this first draft for #961 Could you look at it? Is this something what you are looking for? It has lack of tests. I can't figure out how to test stderr output in rust right now. Do you have some clues? Additionally I'm thinking about to implement procedural macros to annotate methods with this profiler. Will it be helpful? Co-authored-by: Sergey Parilin <[email protected]>
| * Merge remote-tracking branch 'upstream/master' into issue961_profilingSergey Parilin2019-04-0221-502/+931
| |\
| * | PR issuse resolvedSergey Parilin2019-04-021-2/+2
| | |
* | | Merge #1076bors[bot]2019-04-028-47/+219
|\ \ \ | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | 1076: Const body inference r=flodiebold a=Lapz This is the second part of #887. I've added type inference on const bodies and introduced the DefWithBody containing Function, Const and Static. I want to add tests but im unsure on how I would go about testing that completions work. Co-authored-by: Lenard Pratt <[email protected]>
generated by cgit v1.2.3 (git 2.25.1) at 2024-12-14 19:34:21 +0000