Commit message (Collapse) | Author | Age | Files | Lines | ||
---|---|---|---|---|---|---|
... | ||||||
* | Refactor method candidate generation a bit | Florian Diebold | 2019-04-14 | 3 | -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 trait | Florian Diebold | 2019-04-14 | 7 | -37/+33 | |
| | ||||||
* | Add Container enum to handle both kinds of container (impl/trait) | Florian Diebold | 2019-04-14 | 4 | -17/+58 | |
| | ||||||
* | Make callable signature handling a bit nicer | Florian Diebold | 2019-04-14 | 2 | -47/+36 | |
| | ||||||
* | Some cleanup | Florian Diebold | 2019-04-14 | 3 | -98/+111 | |
| | ||||||
* | More trait infrastructure | Florian Diebold | 2019-04-14 | 11 | -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 blocks | Florian Diebold | 2019-04-14 | 5 | -43/+84 | |
| | ||||||
* | replace usages of `algo::generate` with `iter::successors` from std | Robin Freyler | 2019-04-13 | 1 | -2/+2 | |
| | ||||||
* | cleanups | Aleksey Kladov | 2019-04-13 | 2 | -13/+12 | |
| | ||||||
* | slight encapsulation | Aleksey Kladov | 2019-04-13 | 2 | -9/+13 | |
| | ||||||
* | move ScopeEntryWithSyntax | Aleksey Kladov | 2019-04-13 | 4 | -37/+34 | |
| | ||||||
* | drop obsolete fixme | Aleksey Kladov | 2019-04-13 | 2 | -5/+4 | |
| | ||||||
* | make expr scope stuff private | Aleksey Kladov | 2019-04-13 | 1 | -11/+9 | |
| | ||||||
* | make resolver private | Aleksey Kladov | 2019-04-13 | 6 | -26/+23 | |
| | ||||||
* | hide resolver | Aleksey Kladov | 2019-04-13 | 1 | -6/+14 | |
| | ||||||
* | fold ScopeWithSyntax into SourceAnalyzer | Aleksey Kladov | 2019-04-13 | 5 | -191/+157 | |
| | ||||||
* | make stuff private | Aleksey Kladov | 2019-04-13 | 1 | -3/+3 | |
| | ||||||
* | make private | Aleksey Kladov | 2019-04-13 | 1 | -1/+1 | |
| | ||||||
* | only def-with-body remains | Aleksey Kladov | 2019-04-13 | 1 | -13/+3 | |
| | ||||||
* | generalize | Aleksey Kladov | 2019-04-13 | 1 | -15/+7 | |
| | ||||||
* | simplify | Aleksey Kladov | 2019-04-13 | 1 | -10/+5 | |
| | ||||||
* | simplify | Aleksey Kladov | 2019-04-13 | 1 | -7/+1 | |
| | ||||||
* | make private | Aleksey Kladov | 2019-04-13 | 1 | -1/+1 | |
| | ||||||
* | hide some scopes | Aleksey Kladov | 2019-04-13 | 2 | -2/+16 | |
| | ||||||
* | simplify | Aleksey Kladov | 2019-04-12 | 2 | -17/+12 | |
| | ||||||
* | make stuff private | Aleksey Kladov | 2019-04-12 | 1 | -6/+2 | |
| | ||||||
* | simplify | Aleksey Kladov | 2019-04-12 | 1 | -54/+22 | |
| | ||||||
* | simplify tests | Aleksey Kladov | 2019-04-12 | 3 | -36/+23 | |
| | ||||||
* | use really correct resolver for expressions | Aleksey Kladov | 2019-04-12 | 1 | -6/+18 | |
| | ||||||
* | add todo | Aleksey Kladov | 2019-04-11 | 1 | -0/+1 | |
| | ||||||
* | use correct resolver for expressions | Aleksey Kladov | 2019-04-11 | 1 | -3/+1 | |
| | ||||||
* | remove resolver from CompletonContext | Aleksey Kladov | 2019-04-11 | 1 | -24/+5 | |
| | ||||||
* | simplify | Aleksey Kladov | 2019-04-11 | 1 | -5/+3 | |
| | ||||||
* | generalize SourceAnalyzer to handle all defs with bodies | Aleksey Kladov | 2019-04-11 | 2 | -11/+27 | |
| | ||||||
* | minimize the API | Aleksey Kladov | 2019-04-11 | 1 | -19/+9 | |
| | ||||||
* | rename | Aleksey Kladov | 2019-04-11 | 2 | -7/+7 | |
| | ||||||
* | Make call info to use real name resolution | Aleksey Kladov | 2019-04-11 | 2 | -3/+13 | |
| | ||||||
* | introduce SourceAnalyzer | Aleksey Kladov | 2019-04-11 | 5 | -20/+109 | |
| | ||||||
* | fix typo | Aleksey Kladov | 2019-04-11 | 1 | -6/+6 | |
| | ||||||
* | type-safer source-map for bindings | Aleksey Kladov | 2019-04-10 | 4 | -21/+34 | |
| | ||||||
* | use either for uses | Aleksey Kladov | 2019-04-10 | 6 | -44/+40 | |
| | ||||||
* | migrate to salsas interning | Aleksey Kladov | 2019-04-09 | 5 | -86/+106 | |
| | ||||||
* | Avoid two-phase borrow conflict | Laurențiu Nicola | 2019-04-08 | 1 | -2/+2 | |
| | ||||||
* | updated snapshots | Lenard Pratt | 2019-04-07 | 2 | -69/+41 | |
| | ||||||
* | Added ArrayExprKind, | Lenard Pratt | 2019-04-07 | 3 | -29/+52 | |
| | | | | | changed the display for fixed array types, Added Array Enum to ra_hir/expr | |||||
* | Added inference of array length | Lenard Pratt | 2019-04-07 | 4 | -4/+56 | |
| | ||||||
* | Parse and infer tuple indices | robojumper | 2019-04-06 | 3 | -1/+72 | |
| | ||||||
* | Merge #1068 | bors[bot] | 2019-04-03 | 1 | -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_profiling | Sergey Parilin | 2019-04-02 | 21 | -502/+931 | |
| |\ | ||||||
| * | | PR issuse resolved | Sergey Parilin | 2019-04-02 | 1 | -2/+2 | |
| | | |