| Commit message (Collapse) | Author | Age | Files | Lines | ||
|---|---|---|---|---|---|---|
| ... | ||||||
| * | | | 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 | 6 | -44/+85 | |
| | |/ |/| | ||||||
| * | | replace usages of `algo::generate` with `iter::successors` from std | Robin Freyler | 2019-04-13 | 6 | -24/+17 | |
| | | | ||||||
| * | | 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 | 4 | -9/+17 | |
| | | | ||||||
| * | | fold ScopeWithSyntax into SourceAnalyzer | Aleksey Kladov | 2019-04-13 | 7 | -193/+159 | |
| | | | ||||||
| * | | make stuff private | Aleksey Kladov | 2019-04-13 | 1 | -3/+3 | |
| | | | ||||||
| * | | obsolete fixm | Aleksey Kladov | 2019-04-13 | 1 | -1/+0 | |
| | | | ||||||
| * | | 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 | 4 | -23/+28 | |
| | | | ||||||
| * | | 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 | 9 | -13/+27 | |
| | | | ||||||
| * | | fix typo | Aleksey Kladov | 2019-04-11 | 3 | -6/+6 | |
| | | | ||||||
| * | | 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 | 5 | -31/+9 | |
| | | | ||||||
| * | | simplify | Aleksey Kladov | 2019-04-11 | 1 | -5/+3 | |
| | | | ||||||
| * | | generalize SourceAnalyzer to handle all defs with bodies | Aleksey Kladov | 2019-04-11 | 3 | -11/+51 | |
| | | | ||||||
| * | | minimize the API | Aleksey Kladov | 2019-04-11 | 2 | -23/+11 | |
| | | | ||||||
| * | | rename | Aleksey Kladov | 2019-04-11 | 10 | -18/+18 | |
| | | | ||||||
| * | | reduce visibility | Aleksey Kladov | 2019-04-11 | 1 | -3/+3 | |
| | | | ||||||
| * | | Make call info to use real name resolution | Aleksey Kladov | 2019-04-11 | 4 | -26/+33 | |
| | | | ||||||
| * | | introduce SourceAnalyzer | Aleksey Kladov | 2019-04-11 | 15 | -187/+206 | |
| | | | ||||||
| * | | fix typo | Aleksey Kladov | 2019-04-11 | 1 | -6/+6 | |
| | | | ||||||
| * | | Merge #1131 | bors[bot] | 2019-04-10 | 10 | -180/+136 | |
| |\ \ | | | | | | | | | | | | | | | | | | | | | | 1131: Use inline snapshots in complete_dot r=matklad a=vipentti Relates to #1127 Co-authored-by: Ville Penttinen <[email protected]> | |||||
| | * | | Use inline snapshots in complete_dot | Ville Penttinen | 2019-04-10 | 10 | -180/+136 | |
| | | | | ||||||
| * | | | Use inline snapshots in complete_fn_param | Ville Penttinen | 2019-04-10 | 4 | -72/+58 | |
| |/ / | ||||||
| * | | type-safer source-map for bindings | Aleksey Kladov | 2019-04-10 | 7 | -30/+45 | |
| | | | ||||||
| * | | use either for uses | Aleksey Kladov | 2019-04-10 | 6 | -44/+40 | |
| | | | ||||||
| * | | Merge #1126 | bors[bot] | 2019-04-09 | 10 | -219/+110 | |
| |\ \ | | | | | | | | | | | | | | | | | | | | | | 1126: Swithc to native salsa interning r=matklad a=matklad Co-authored-by: Aleksey Kladov <[email protected]> | |||||
| | * | | drop old interning infra | Aleksey Kladov | 2019-04-09 | 2 | -108/+1 | |
| | | | | ||||||
| | * | | migrate to salsas interning | Aleksey Kladov | 2019-04-09 | 8 | -111/+109 | |
| | | | | ||||||
| * | | | Merge #1122 | bors[bot] | 2019-04-09 | 2 | -0/+95 | |
| |\ \ \ | |/ / |/| | | | | | | | | | | | | | | | | | | | | | | | | | | 1122: Add explicit type assist. r=matklad a=marcogroppo This assist can be used to specify the explicit type in let statements. For example `let num = 1;` becomes `let num: i32 = 1;`. The assist is applicable only if the inferred type is fully known. Co-authored-by: Marco Groppo <[email protected]> | |||||
| | * | | Stylistic changes. Updated features.md with the new assists. | Marco Groppo | 2019-04-09 | 1 | -8/+6 | |
| | | | | ||||||
| | * | | Add explicit type assist. | Marco Groppo | 2019-04-08 | 2 | -0/+97 | |
| | |/ | ||||||
| * | | Fix doc comment | Ville Penttinen | 2019-04-09 | 1 | -1/+1 | |
| | | | ||||||
| * | | Move display related things from hover to display | Ville Penttinen | 2019-04-09 | 3 | -109/+110 | |
| | | | ||||||
 |
index : rust-analyzer | |
| [FORK] modified to work on wasm targets |
| aboutsummaryrefslogtreecommitdiff |